邏輯理論家
時代：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.
發布日期： ·存取日期：