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 et Herbert Simon
Sources et éléments étayés
The Logic Theory Machine: A Complex Information Processing System
RAND · Type de source : Archive institutionnelle
Article contemporain de la RAND qui documente la Logic Theory Machine.
Publié : ·Consulté :