« Logic Theorist (le théoricien logique ou de la logique) » : différence entre les versions

Dernière version du 28 janvier 2024 à 11:07

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

@@ Ligne 1 : / Ligne 1 : @@
-== en construction ==
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas]]
 == Définition ==
-xxxxxxx
+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 ==
-xxxxxxx
+'''Logic Theorist'''
 == Anglais ==
 '''Logic Theorist'''
-one of the earliest AI programs, by Newell and Simon, which proved theorems in set theory from Principia Mathematica.
+==Sources==
+[https://fr.wikipedia.org/wiki/Logic_Theorist   Source : Wikipedia ]
-<small>
+[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
-[https://www.cs.utexas.edu/users/novak/aivocab.html  Source : UTexas Artificial Intelligence Vocabulary]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
+[[Catégorie:ENGLISH]]