逻辑理论家（）是由艾伦·纽厄尔、司马贺和于1955年和1956年间编写的计算机程序，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
历史.1955年，当纽厄尔和西蒙开始研发逻辑理论家时，人工智能领域尚未存在，就连术语“人工智能”也在第二年的夏天才开始使用。西蒙本身是一位政治科学家，当时他已经在研究官僚如何运作以及持续拓展他的有限理性理论（为此他后来得到诺贝尔