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 artificielnote 1. Il a été capable de prouver 38 des 52 théorèmes des Principia Mathematica de Whitehead et Russell.
Français
Logic Theorist
Anglais
Logic Theorist
one of the earliest AI programs, by Newell and Simon, which proved theorems in set theory from Principia Mathematica.
Contributeurs: Imane Meziani, wiki, Sihem Kouache
