Português
← Voltar à linha do tempo

Logic Theorist

Era: Nascimento da IA · anos 1950–anos 1970

Allen Newell e Herbert Simon desenvolveram o «Logic Theorist», um dos primeiros programas práticos de IA. Este programa podia provar teoremas do Principia Mathematica e é frequentemente citado entre os primeiros programas de IA. Newell e Simon receberam o Prêmio Turing em 1975.

Allen Newell & Herbert Simon

Estado
Verificado
Tipo de conteúdo
fact
Última verificação

Fontes e evidências

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

    RAND · Tipo de fonte: institutional-archive

    Contemporary RAND paper documenting the Logic Theory Machine.

    Publicado: ·Acessado: