🧠 Limbajele care au construit Inteligența Artificială (1956–1980+)
Înainte de deep learning, AI era în principal simbolică: liste, reguli, inferență logică, pattern matching și sisteme expert.
Mai jos ai lista în carduri, plus completări la final.
#symbolicAI
#logicProgramming
#patternMatching
Primul limbaj dedicat procesării simbolice (list processing). Precursor direct al LISP.
Folosit la RAND Corporation pentru Logic Theorist (1956), adesea considerat primul program AI.
LISP a fost creat special pentru AI. A dominat cercetarea AI în SUA (MIT, Stanford) până în anii ’90.
Cheie: homoiconic (cod = date), garbage collection, recursivitate, manipulare simbolică.
Limbaj specializat în pattern matching și string processing. Folosit în NLP timpuriu și manipulare de text/simboluri.
Limbaj de logic programming cu backtracking și pattern-directed invocation.
Folosit în SHRDLU (Winograd, 1970). Micro-PLANNER era implementat în LISP.
Smalltalk a fost primul limbaj pur object-oriented cu mediu live (live coding, IDE grafic), creat la Xerox PARC.
Folosit în AI pentru simulări și sisteme reflective.
Declarativ, bazat pe logic programming (Horn clauses, resolution).
A dominat AI-ul european și expert systems în anii ’80.
Dialect minimalist de LISP, folosit intens în educație și meta-programming.
Influență mare și prin SICP (1985).
Limbaj AI britanic (Sussex University). Multi-paradigmă (imperativ + logic + funcțional).
Folosit în tool-uri educaționale și research AI în UK.
Extensie ALGOL-like cu facilități AI (block structures, liste). Folosit la Stanford AI Lab pentru proiecte clasice.
Limbaje precum IPL și LISP au făcut naturală reprezentarea cunoștințelor, SNOBOL a dus mai departe procesarea de text,
iar PLANNER și Prolog au pus logica în centrul programării.