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 & Herbert Simon
Quellen und Belege
The Logic Theory Machine: A Complex Information Processing System
RAND · Quellentyp: institutional-archive
Contemporary RAND paper documenting the Logic Theory Machine.
Veröffentlicht: ·Abgerufen: