Logic Theorist
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.
Développé par | Allen Newell, Herbert Simon et Cliff Shaw |
---|---|
Écrit en | Information Processing Language |
Type | Programme informatique |
modifier - modifier le code - voir Wikidata (aide)
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
- ↑ 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
- ↑ Crevier 1993, p. 44.
- ↑ Jacques Henno, « 1956 : et l’intelligence artificielle devint une science », sur Les Échos, (consulté le ).
Références
Daniel Crevier, AI: The Tumultuous Search for Artificial Intelligence, New York, NY, BasicBooks, (ISBN 0-465-02997-3), p. 44–46.
Articles connexes
v · m | |
---|---|
Concepts |
|
Techniques |
|
Applications | |
Enjeux et philosophie | |
Histoire et événements |
|
Science-fiction | |
Règlementation | |
Organisations | |
Ouvrages |
|
- Portail de l’informatique