Logic Theorist
Apparence
Logic Theorist
Développé par | Allen Newell,Herbert SimonetCliff Shaw |
---|---|
Écrit en | Information Processing Language |
Type | Programme informatique |
LeLogic Theoristest un programme informatique écrit en 1955 et 1956 parAllen Newell,Herbert SimonetCliff 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 desPrincipia MathematicadeWhiteheadetRussell.
Il a été présenté en 1956 lors de laconfé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 queArthur Samuelait écrit un programme de vérification de preuve plus tôt.Christopher Stracheya 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», surLes Échos,(consulté le).
Références
[modifier|modifier le code]Daniel Crevier,AI: The Tumultuous Search for Artificial Intelligence,New York, NY, BasicBooks,(ISBN0-465-02997-3),p.44–46.