🧠 Limbajele care au construit Inteligența Artificială

ISTORIA AI • Limbaje & Paradigme

🧠 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.

#AIclasic
#symbolicAI
#logicProgramming
#patternMatching
Ideea-cheie
AI-ul „vechi” = simboluri + reguli + logică + liste. Limbajele de mai jos au fost uneltele principale.

1956
🧩 IPL (Information Processing Language)
list processing

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.

1958 (impl. 1960)
👑 LISP (LISt Processing) – John McCarthy
AI classic

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ă.

Folosit în
SHRDLU • ELIZA • expert systems • planning • genetic algorithms
Dialecte: MacLisp, Interlisp, ZetaLisp.

1962–1967
🧵 SNOBOL (SNOBOL4 – 1967)
pattern matching

Limbaj specializat în pattern matching și string processing. Folosit în NLP timpuriu și manipulare de text/simboluri.

1969–1971
🧠 PLANNER – Carl Hewitt
backtracking

Limbaj de logic programming cu backtracking și pattern-directed invocation.
Folosit în SHRDLU (Winograd, 1970). Micro-PLANNER era implementat în LISP.

1972–1980
🖥 Smalltalk (Smalltalk-80) – Alan Kay
OO + live

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.

1972 (popular în ’80s)
⚖ Prolog – Colmerauer & Kowalski
logic AI

Declarativ, bazat pe logic programming (Horn clauses, resolution).
A dominat AI-ul european și expert systems în anii ’80.

Implementări: Edinburgh Prolog, Quintus Prolog etc.

1975
🧮 Scheme – Steele & Sussman
functional core

Dialect minimalist de LISP, folosit intens în educație și meta-programming.
Influență mare și prin SICP (1985).

anii ’70–’80
🇬🇧 POP-11 (POPLOG)
multi-paradigmă

Limbaj AI britanic (Sussex University). Multi-paradigmă (imperativ + logic + funcțional).
Folosit în tool-uri educaționale și research AI în UK.

anii ’60–’70 (și ’80s)
🏛 SAIL (Stanford AI Language)
Stanford AI Lab

Extensie ALGOL-like cu facilități AI (block structures, liste). Folosit la Stanford AI Lab pentru proiecte clasice.

completări utile
🧩 Alte inovatii AI
bonus
⚙ OPS5 (1977)
Motor de reguli pentru expert systems (rule-based AI).
🧠 CLIPS (1985)
Sistem expert (NASA) folosit practic pentru aplicații rule-based.
🐢 LOGO (1967)
Mai educațional, dar important pentru ideile despre învățare (Papert).
💬 ELIZA (1966) & 🧱 SHRDLU (1970)
Nu sunt limbaje, ci sisteme AI definitorii (dialog NLP / planificare într-o „lume de blocuri”).
Notă: perioada 1956–1990 este adesea numită epoca AI simbolice.

De retinut!
Între 1956 și anii ’80, AI a fost construit în jurul simbolurilor: liste, reguli, inferență și căutare în spații de posibilități.
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.
Bonus: dacă vezi astăzi termeni ca „rule-based systems”, „knowledge representation” sau „logic inference”, rădăcinile sunt exact aici.