Allen Newell a contribué à the Information Processing Language (1956) et à deux des premiers programmes en IA, the Logic Theory Machine (1956) et le General Problem Solver (1957) (avec Herbert Simon).
SOAR est une tentative de réaliser quelques-unes des considérations de Newell qui désirait une théorie unifiée de la connaissance, baptisée, “You can’t play twenty questions with nature and win,” (1973). Il existe d’autres architectures cognitives du même genre, notamment celle du psychologue cognitiviste John R. Anderson, la théorie ACT-R, laquelle est devenue une théorie unifiée populaire, utilisée aujourd’hui avec succès par les scientifiques cognitifs pour modéliser le comportement humain dans un large champ d’activité.
Il remporta le prix Turing de l’ACM avec Herbert Simon en 1975 pour leurs efforts collectifs sur plus de 20 ans, initialement en collaboration avec J. C. Shaw et la compagnie RAND, puis après avec de nombreux collègues et étudiants de l’université Carnegie-Mellon, pour leurs contributions à la base de l’intelligence artificielle, la psychologie de la pensée (cognition), et la manipulation des listes.
