« 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 : @@
 == 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.
+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 ==
@@ Ligne 8 : / Ligne 8 : @@
 '''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]
+[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
+[[Catégorie:ENGLISH]]
-[[Catégorie:Scotty]]
-[[Catégorie:Vocabulary]]
-[[Catégorie:Intelligence artificielle‏‎]]
-[[Catégorie:UTexas]]