，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
历史.1955年，当纽厄尔和西蒙开始研发逻辑理论家时，人工智能领域尚未存在，就连术语“人工智能”也在第二年的夏天才开始使用。西蒙本身是一位政治科学家，当时他已经在研究官僚如何运作以及持续拓展他的有限理性理论（为此他后来得到诺贝尔奖）。研究商业组织时需要人工智能拥有像人类一样决策和解决问题的洞察力。西蒙记得在2