« Logic Theorist (le théoricien logique ou de la logique) » : différence entre les versions
m (Remplacement de texte — « Catégorie:Intelligence Artificielle » par « Catégorie:Intelligence artificielle ») |
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. | |||
== Français == | == Français == | ||
'''Logic Theorist''' | |||
== Anglais == | == Anglais == | ||
| Ligne 21 : | Ligne 14 : | ||
[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:Scotty]] | |||
[[Catégorie:Vocabulary]] | |||
[[Catégorie:Intelligence artificielle]] | |||
[[Catégorie:UTexas]] | |||
Version du 18 mai 2020 à 09:04
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.
Français
Logic Theorist
Anglais
Logic Theorist
one of the earliest AI programs, by Newell and Simon, which proved theorems in set theory from Principia Mathematica.
Contributeurs: Imane Meziani, wiki, Sihem Kouache
