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 e Herbert Simon
Fontes e evidências
The Logic Theory Machine: A Complex Information Processing System
RAND · Tipo de fonte: Arquivo institucional
Artigo coevo da RAND que documenta a Logic Theory Machine.
Publicado: ·Consultado: