Italiano
Torna alla cronologia

Logic Theorist

Era: Nascita dell’IA · anni 1950–anni 1970

Allen Newell e Herbert Simon svilupparono il «Logic Theorist», uno dei primi programmi pratici di IA. Questo programma poteva dimostrare teoremi dai Principia Mathematica ed è spesso citato tra i primi programmi di intelligenza artificiale. Newell e Simon ricevettero il premio Turing nel 1975.

Allen Newell e Herbert Simon

Stato
Verificato
Tipo di contenuto
Fatto
Ultima verifica

Fonti e riscontri

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

    RAND · Tipo di fonte: Archivio istituzionale

    Articolo coevo della RAND che documenta la Logic Theory Machine.

    Pubblicato: ·Consultato: