Logic Theorist
Epoche: Geburt der KI · 1950er–1970er
Allen Newell und Herbert Simon entwickelten den „Logic Theorist“, eines der frühen praxistauglichen KI-Programme. Dieses Programm konnte Theoreme aus den Principia Mathematica beweisen und wird häufig zu den frühen KI-Programmen gezählt. Newell und Simon erhielten 1975 den Turing-Preis.
Allen Newell und Herbert Simon
Quellen und Belege
The Logic Theory Machine: A Complex Information Processing System
RAND · Quellentyp: Institutionelles Archiv
Zeitgenössischer RAND-Bericht, der die Logic Theory Machine dokumentiert.
Veröffentlicht: ·Abgerufen: