Indonesia
Kembali ke linimasa

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 dan Herbert Simon

Status
Terverifikasi
Jenis konten
Fakta
Ditinjau terakhir

Sumber dan bukti

  1. The Logic Theory Machine: A Complex Information Processing System

    RAND · Jenis sumber: Arsip lembaga

    Makalah RAND sezaman yang mendokumentasikan Logic Theory Machine.

    Terbit: ·Diakses: