« Logic Theorist » : différence entre les versions
Contenu supprimé Contenu ajouté
m v2.04b - Correction syntaxique (Paramètre inconnu) |
m Retrait du lien vers la page « Jacques Henno » supprimée à la suite d'un débat d'admissibilité (Voir) |
||
| (4 versions intermédiaires par 4 utilisateurs non affichées) | |||
| Ligne 4 : | Ligne 4 : | ||
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 artificiel{{efn|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.{{sfn|Crevier|1993|p=44}}}}. Il a été capable de prouver 38 des 52 théorèmes des ''[[Principia Mathematica]]'' de [[Alfred North Whitehead|Whitehead]] et [[Bertrand Russell|Russell]]. |
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 artificiel{{efn|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.{{sfn|Crevier|1993|p=44}}}}. Il a été capable de prouver 38 des 52 théorèmes des ''[[Principia Mathematica]]'' de [[Alfred North Whitehead|Whitehead]] et [[Bertrand Russell|Russell]]. |
||
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<ref>{{Lien web | |
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<ref>{{Lien web |langue=fr |auteur=Jacques Henno |titre=1956 : et l’intelligence artificielle devint une science |url=https://www.lesechos.fr/idees-debats/sciences-prospective/010174900737-1956-et-lintelligence-artificielle-devint-une-science-2108749.php |site=[[Les Échos]] |date=21/08/2017 |consulté le=30 janvier 2019}}.</ref>. |
||
== Notes == |
== Notes == |
||
| Ligne 18 : | Ligne 18 : | ||
* [[General Problem Solver]] |
* [[General Problem Solver]] |
||
{{Palette|Intelligence artificielle}} |
|||
{{Portail|informatique}} |
{{Portail|informatique}} |
||
Dernière version du 17 avril 2024 à 17:59
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 |
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 artificiel[note 1]. Il a été capable de prouver 38 des 52 théorèmes des Principia Mathematica de Whitehead et Russell.
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].
Notes[modifier | modifier le code]
- 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]
Citations[modifier | modifier le code]
- Crevier 1993, p. 44.
- Jacques Henno, « 1956 : et l’intelligence artificielle devint une science », sur Les Échos, (consulté le ).
Références[modifier | modifier le code]
Daniel Crevier, AI: The Tumultuous Search for Artificial Intelligence, New York, NY, BasicBooks, (ISBN 0-465-02997-3), p. 44–46.
