Aujourd’hui, Logic Theorist est un sujet qui capte l’attention de millions de personnes à travers le monde. Que ce soit en raison de sa pertinence historique, de son impact sur la société actuelle ou de son importance dans la vie quotidienne, Logic Theorist a réussi à occuper une place de choix dans différents domaines de la vie. Depuis son apparition, Logic Theorist a suscité l'intérêt des chercheurs, des experts et des curieux, qui ont consacré du temps et des efforts à comprendre et analyser ses implications. Dans cet article, nous explorerons en profondeur Logic Theorist et sa signification dans le monde d'aujourd'hui, offrant une vision globale et détaillée de ce sujet qui a réussi à transcender les frontières et les cultures.
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. 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.
Daniel Crevier, AI: The Tumultuous Search for Artificial Intelligence, New York, NY, BasicBooks, (ISBN 0-465-02997-3), p. 44–46.