« Logic Theorist » : différence entre les versions
Contenu supprimé Contenu ajouté
m →Introduction : titre en italique |
|||
| Ligne 1 : | Ligne 1 : | ||
{{ébauche|informatique théorique}} |
{{ébauche|informatique théorique}} |
||
{{titre en italique} |
|||
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 con |
}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 con |
||
sidéré comme le premier programme d'intelligence artificiel{{efn|Logic theorist est générallement 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]]. |
sidéré comme le premier programme d'intelligence artificiel{{efn|Logic theorist est générallement 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]]. |
||
Version du 27 avril 2019 à 18:33
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.
{{titre en italique} }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 con sidé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.
Notes
- Logic theorist est générallement 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.
References
Daniel Crevier, AI: The Tumultuous Search for Artificial Intelligence, New York, NY, BasicBooks, (ISBN 0-465-02997-3), pp. 44–46.
