Loading AI tools
Le Logic Theorist est un programme informatique écrit en 1955 et 1956 par Allen Newell, Herbert 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[note 1]. Il a été capable de prouver 38 des 52 théorèmes des Principia Mathematica de Whitehead et Russell.
Cet article est une ébauche concernant l’informatique théorique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Logic Theorist
| Développé par | Allen Newell, Herbert Simon et Cliff Shaw |
|---|---|
| Écrit en | Information Processing Language |
| Type | Programme informatique |
Il a été présenté en 1956 lors de la conférence de Dartmouth, considérée comme l'acte de naissance de l'intelligence artificielle en tant que domaine de recherche autonome[2].
- Logic theorist est généralement considéré comme le premier véritable programme d'intelligence artificielle, bien que Arthur Samuel ait écrit un programme de vérification de preuve plus tôt. Christopher Strachey a aussi écrit un programme de vérification de preuve en 1951.[1]
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
