› Symbolic AI · 8 of 14
Allen Newell
1927–1992 · American
Co-created early programs that treated intelligence as symbol manipulation.
- Ideas
- Logic Theorist, General Problem Solver
- Affiliations
- Carnegie Mellon University, RAND Corporation
- Contribution
- With Herbert Simon, built Logic Theorist and the General Problem Solver — early programs that searched for proofs and plans.
- Treated intelligence as the manipulation of symbols according to rules.
- Helped establish Carnegie Mellon as a center for AI and cognitive science.
- Key observations
- If you can write the rules of a puzzle, a machine can search the space of moves.
- Human problem-solving often looks like heuristics — shortcuts that usually work — not endless brute force.
- Psychology and computer science can share one model of mind-as-process.
- Conclusions
- Search + representation is still a core AI pattern (pathfinding, planning, theorem proving).
- "Thinking as symbol crunching" is one powerful lens — not the only one.
- Early AI proved machines could do intellectual labor once thought uniquely human.
Same notes in the short book →
This page is the link. Send it as it is.