16 jan 1956 ano - Logic Theorist

Descrição:

Allen Newell e Herbert A. Simon desenvolvem o “Logic Theorist”, um programa de computador que prova teoremas matemáticos. Newell e Simon criaram o Logic Theorist como parte do seu projeto RAND Corporation, financiado pela Força Aérea dos EUA. O programa usava uma representação simbólica do conhecimento e uma heurística de busca para encontrar provas para teoremas da lógica proposicional. O programa foi capaz de provar 38 dos 52 teoremas do capítulo 2 do livro Principia Mathematica de Bertrand Russell e Alfred North Whitehead, e até mesmo sugeriu uma prova mais elegante para um dos teoremas. O Logic Theorist é considerado o primeiro programa de inteligência artificial da história.

Adicionado na linha do tempo:

Data: