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

Sources

Source : Wikipedia

Source : UTexas Artificial Intelligence Vocabulary

Contributeurs: Imane Meziani, wiki, Sihem Kouache