ACHIEVEMENTS.AI

Allen Newell

American cognitive scientist who co-created the General Problem Solver and Logic Theorist, foundational programs in symbolic AI.

Wikidata

Milestones

SOAR Cognitive Architecture: Doctoral Dissertations by John E. Laird and Paul S. Rosenbloom, Supervised by Allen Newell

Herbert A. Simon predicts machines will be capable of any work a human can do, within twenty years

General Problem Solver introduced by Newell, Shaw and Simon

The Logic Theorist: first automatic theorem-proving program, developed by Newell, Shaw, and Simon