« Logic Theorist » : différence entre les versions

Navigation interactive dans l’historique

← Modification précédente Modification suivante →

Contenu supprimé Contenu ajouté

Intégrés

Version du 12 juin 2019 à 17:41

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.

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 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 le 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é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.
↑ Jacques Henno, « 1956 : et l’intelligence artificielle devint une science », sur Les échos, 21 août 2017 (consulté le 30 janvier 2019).

References

Daniel Crevier, AI: The Tumultuous Search for Artificial Intelligence, New York, NY, BasicBooks, 1993 (ISBN 0-465-02997-3), pp. 44–46.

Voir aussi

General Problem Solver

Portail de l’informatique

[2] 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]

[Crevier199344-1] Crevier 1993, p. 44.

[3] Jacques Henno, « 1956 : et l’intelligence artificielle devint une science », sur Les échos, 21 août 2017 (consulté le 30 janvier 2019).

[note 1]

[2]

[1]

@@ Ligne 1 : / Ligne 1 : @@
 {{é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 considé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]].
 Il a été présenté en 1956 lors de le [[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 |languefr= |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 |date=21/08/2017 |site=[[Les échos]] |consulté le=30 janvier 2019}}.</ref>.