逻辑理论家
时代：AI 诞生 · 1950年代—1970年代
艾伦·纽厄尔和赫伯特·西蒙开发了“逻辑理论家”（Logic Theorist），这是早期实用人工智能程序之一。该程序能够证明《数学原理》中的定理，常被列为早期 AI 程序之一。西蒙和纽厄尔因此获得了1975年图灵奖。
艾伦·纽厄尔与赫伯特·西蒙
来源与支持内容
The Logic Theory Machine: A Complex Information Processing System
RAND · 来源类型：机构档案
同时代的 RAND 论文，记录了逻辑理论机。
发布日期： ·访问日期：