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
fact
Ultima verifica

Fonti e riscontri

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

    RAND · Tipo di fonte: institutional-archive

    Contemporary RAND paper documenting the Logic Theory Machine.

    Pubblicato: ·Consultato: