逻辑理论家 编辑
逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和伯特兰·罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
2
相关
艾伦·纽厄尔是计算机科学和认知信息学领域的科学家，曾在兰德公司，卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。他是信息处理语言发明者之一，并写了该语言最早的两个人工智能程序，合作开发了逻辑理论家和一般问题解决器General Problem Solver。1975年他和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。
艾伦·纽厄尔是计算机科学和认知信息学领域的科学家，曾在兰德公司，卡内基梅隆大学的计算机学院、泰珀商学院和心理学系任职和教研。他是信息处理语言发明者之一，并写了该语言最早的两个人工智能程序，合作开发了逻辑理论家和一般问题解决器General Problem Solver。1975年他和赫伯特·西蒙一起因人工智能方面的基础贡献而被授予图灵奖。