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


Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Aucun résumé des modifications
Balise : Éditeur de wikicode 2017
Ligne 1 : Ligne 1 :
== Définition ==
== 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 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


== Français ==
== Français ==
Ligne 8 : Ligne 8 :
'''Logic Theorist'''
'''Logic Theorist'''


one of the earliest AI programs, by Newell and Simon, which proved theorems in set theory from Principia Mathematica.
<small>


 
[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]]
[[Catégorie:Scotty]]
[[Catégorie:Scotty2]]
[[Catégorie:Vocabulary]]
[[Catégorie:Intelligence artificielle‏‎]]
[[Catégorie:UTexas]]

Version du 18 mai 2020 à 20:54

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

Français

Logic Theorist

Anglais

Logic Theorist

Source : Wikipedia

Source : UTexas Artificial Intelligence Vocabulary



Contributeurs: Imane Meziani, wiki, Sihem Kouache