226330 materialEducativo

Logic Theorist

tipo de documento Article de Wikipedia DbpediaThing

J’aime 0
Visites 8
Commentaires 0
Enregistrer dans
Actions
- Envoyer lien

À propos de cette ressource...

DbpediaThing

Artículo WikipediaFuente Dbpedia

Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called "the first artificial intelligence program." It would eventually prove 38 of the first 52 theorems in Whitehead and Russell's Principia Mathematica, and find new and more elegant proofs for some.

Wikipedia Inglés http://en.wikipedia.org/wiki/Logic_Theorist

Wikipedia Español http://es.wikipedia.org/wiki/Logic_Theorist

Enlaces externos relacionado http://shelf1.library.cmu.edu/IMLS/MindModels/humanandmachine.html http://shelf1.library.cmu.edu/IMLS/MindModels/logictheorymachine.pdf https://commons.wikimedia.org/wiki/File:Newell_Simon_The_Logic_Theory_Machine_Jul56.pdf