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