逻辑理论家

1955年12月，赫伯特·西蒙（Herbert Simon）和艾伦·纽厄尔（Allen Newell）开发出“逻辑理论家”，这是世界上第一个人工智能程序，有能力证明罗素和怀特海《数学原理》第二章52个定理中的38个定理。

它采用产生式系统的结构，以逆向搜索为主要工作策略，参照适当的启发法，成为第一个启发式的产生式系统和第一个成功的人工智能系统。它的成功支持了物理符号系统理论，加速了信息加工观点在心理学中的渗透，开辟了人工智能这一新的科学领域，开创了计算机模拟这一认知心理学方法。尽管对计算机模拟在心理学中的意义尚有待讨论，但逻辑理论家的成功，已经被公认为认知心理学兴起的一个标志性事件。