Symbolic AI & logic programs
- Unlocked
- Step-by-step logical reasoning inside narrow, hand-defined domains.
- Limitation
- Brittle outside its coded rules; learned nothing from data.
- Representative systems
- Logic Theorist · General Problem Solver
- Milestone
- The 1956 Dartmouth workshop proposes “artificial intelligence” as a field of study.
Sources: Turing, A. — “Computing Machinery and Intelligence” (overview); Dartmouth workshop (1956) — overview