1957年A.Newell、J.Shaw和H.Simon等人的心理学小组编制出一个称为逻辑理论机LT(The Logic Theory Machine)的数学定理证明程序,当时该程序证明了B.A.W.Russell和A.N.Whitehead的"数学原理"一书第二章中的38个定理(1963年修订的程序在大机器上终于证完了该章中全部52个定理)。后来他们又揭示了人在解题时的思维过程大致可归结为三个阶段:
这种思维活动不仅解数学题时如此,解决其他问题时也大致如此。基于这一思想,他们于1960年又编制了能解十种类型不同课题的通用问题求解程序GPS(General Problem Solving)。另外他们还发明了编程的表处理技术和NSS国际象棋机。和这些工作有联系的Newell关于自适应象棋机的论文和Simon关于问题求解和决策过程中合理选择和环境影响的行为理论的论文,也是当时信息处理研究方面的巨大成就。后来他们的学生还做了许多工作,如人的口语学习和记忆的EPAM模型(1959年)、早期自然语言理解程序SAD-SAM等。此外他们还对启发式求解方法进行了探讨。