Logic Theorist (le théoricien logique ou de la logique)
Définition
Le Logic Theorist est un programme informatique écrit en 1955 et 1956 par Allen Newell, Herbert A. Simon et Cliff Shaw. Il a été conçu pour reproduire les compétences de résolution de problèmes d’un être humain et est considéré comme le premier programme d'intelligence artificiel.
Français
Logic Theorist
Anglais
Logic Theorist
Contributeurs: Imane Meziani, wiki, Sihem Kouache
