Logic Theorist (le théoricien logique ou de la logique)

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

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