邏輯理論家
時代：AI 誕生 · 1950年代—1970年代
艾倫·紐厄爾和赫伯特·西蒙開發了「邏輯理論家」（Logic Theorist），這是早期實用人工智慧程序之一。該程序能夠證明《數學原理》中的定理，常被列為早期 AI 程序之一。西蒙和紐厄爾因此獲得了1975年圖靈獎。
艾倫·紐厄爾與赫伯特·西蒙
來源與支持內容
The Logic Theory Machine: A Complex Information Processing System
RAND · 來源類型：機構檔案
同時代的 RAND 論文，記錄了邏輯理論機。
發布日期： ·存取日期：