Logic Theorist
Ère : Naissance de l’IA · années 1950–années 1970
Allen Newell et Herbert Simon ont développé le « Logic Theorist », l’un des premiers programmes d’IA fonctionnels. Ce programme pouvait prouver des théorèmes des Principia Mathematica et est souvent cité parmi les premiers programmes d’IA. Newell et Simon ont reçu le prix Turing en 1975.
Allen Newell & Herbert Simon
Sources et éléments étayés
The Logic Theory Machine: A Complex Information Processing System
RAND · Type de source : institutional-archive
Contemporary RAND paper documenting the Logic Theory Machine.
Publié : ·Consulté :