Logic Theorist (le théoricien logique ou de la logique)
Définition
Le Logic Theorist (le théoricien logique ou de la logique) 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 artificielle.
Français
Logic Theorist
Anglais
Logic Theorist
Contributeurs: Imane Meziani, wiki, Sihem Kouache
