Logic Theorist
Logic Theorist é um programa de computador escrito em 1955 e 1956 por Allen Newell, Herbert Simon e J. C. Shaw. Foi o primeiro programa deliberadamente projetado para imitar as habilidades de resolver problemas de um ser humano e é chamado, por alguns, de "o primeiro programa de inteligência artificial", embora alguns considerem o programa do jogo de damas de Arthur Samuel anterior. Christopher Strachey também escreveu um programa de damas em 1951. Este programa foi concebido para demonstrar teoremas do cálculo proposicional. Ele acabaria por se demonstrar 38 dos primeiros 52 teoremas do "Principia Mathematica" de Russell e de Whitehead, e encontrar provas novas e mais elegantes de alguns.
Q439245
Allen Newell
PER
Q181529
Herbert Simon
PER
Q4391903
J. C. Shaw
PER
Q11660
inteligência artificial
Concept
Q710266
Arthur Samuel
PER
None
Christopher Strachey
UNK
Q200694
cálculo proposicional
Concept
Q163335
Principia Mathematica
ORG
Q33760
Russell
PER
Q183372
Whitehead
PER
Q4391896
Logic Theorist
MISC
+1955^^http://www.w3.org/2001/XMLSchema#decimal
1955
NUMBER
+1956^^http://www.w3.org/2001/XMLSchema#decimal
1956
NUMBER
+1951^^http://www.w3.org/2001/XMLSchema#decimal
1951
NUMBER
+38^^http://www.w3.org/2001/XMLSchema#decimal
38
NUMBER
+52^^http://www.w3.org/2001/XMLSchema#decimal
52
NUMBER
developer
developer
developer
author
author
notable work
notable work