Allen Newell
Baute die ersten Programme, die schlussfolgerten — und verbrachte danach sein Leben mit der These, dass eine Theorie des Denkens lauffähig sein muss.
US-amerikanischer Forscher bei RAND und später an der Carnegie Mellon University, wo er die Informatik-Fakultät mitbegründete. Zusammen mit Herbert Simon und Cliff Shaw schrieb er 1956 den Logic Theorist und danach den General Problem Solver, der die Beschreibung eines Problems von der Strategie zu seiner Lösung trennte — eine Aufteilung, die zum Grundmuster der symbolischen KI wurde.
Newell vertrat die These, dass Kognition als physisches Symbolsystem zu modellieren sei und dass Theorien implementiert werden müssen, um überprüfbar zu sein. Sein letztes Projekt, die kognitive Architektur Soar, war der Versuch einer einheitlichen Theorie des Denkens statt eines weiteren Spezialprogramms. Turing-Preis 1975, geteilt mit Simon.