Logic Theorist
Era: Lahirnya AI · 1950-an–1970-an
Allen Newell dan Herbert Simon mengembangkan “Logic Theorist”, salah satu program AI praktis yang awal. Program ini mampu membuktikan teorema dari Principia Mathematica dan kerap disebut di antara program AI yang paling awal. Newell dan Simon menerima Turing Award pada 1975.
Allen Newell & Herbert Simon
Sumber dan bukti
The Logic Theory Machine: A Complex Information Processing System
RAND · Jenis sumber: institutional-archive
Contemporary RAND paper documenting the Logic Theory Machine.
Terbit: ·Diakses: