El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matemáticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell​.

Property Value
dbo:abstract
  • El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matemáticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell​. (es)
  • El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matemáticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell​. (es)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 8844261 (xsd:integer)
dbo:wikiPageLength
  • 15760 (xsd:integer)
dbo:wikiPageRevisionID
  • 129991407 (xsd:integer)
prop-es:apellidos
  • Simon (es)
  • Newell (es)
  • Russel (es)
  • Norvig (es)
  • Crevier (es)
  • Mccorduck (es)
  • Simon (es)
  • Newell (es)
  • Russel (es)
  • Norvig (es)
  • Crevier (es)
  • Mccorduck (es)
prop-es:año
  • 2003 (xsd:integer)
prop-es:editorial
  • MA: A. K. peters (es)
  • NY: basic books (es)
  • MA: A. K. peters (es)
  • NY: basic books (es)
prop-es:isbn
  • 0 (xsd:integer)
  • 1 (xsd:integer)
prop-es:nombre
  • Pamela (es)
  • Peter (es)
  • Daniel (es)
  • Allen (es)
  • Stuart J. (es)
  • Herbert A. (es)
  • Pamela (es)
  • Peter (es)
  • Daniel (es)
  • Allen (es)
  • Stuart J. (es)
  • Herbert A. (es)
prop-es:publicación
  • The Rand Corporation (es)
  • The Rand Corporation (es)
prop-es:página
  • 17 (xsd:integer)
  • 44 (xsd:integer)
  • 161170 (xsd:integer)
prop-es:título
  • Artificial Intelligence: A modern approach (es)
  • Machines Who Think (es)
  • The logic theory machine a complex information processing system (es)
  • AI: the tumultuous search for artificial inteligence (es)
  • Artificial Intelligence: A modern approach (es)
  • Machines Who Think (es)
  • The logic theory machine a complex information processing system (es)
  • AI: the tumultuous search for artificial inteligence (es)
prop-es:ubicación
  • NY (es)
  • New Jersey: prentice Hall (es)
  • NY (es)
  • New Jersey: prentice Hall (es)
prop-es:url
  • https://archive.org/details/artificialintell00russ_726|editorial=Upper Saddle River (es)
  • https://archive.org/details/artificialintell00russ_726|editorial=Upper Saddle River (es)
dct:subject
rdfs:comment
  • El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matemáticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell​. (es)
  • El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y en 1955. Este sistema es considerado una de las primeras muestras de un programa exhibiendo comportamientos inteligentes, al imitar el comportamiento del ser humano para solucionar problemas matemáticos. Utilizando esta estrategia, el programa fue capaz de demostrar 38 de los 52 teoremas presentados en Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell​. (es)
rdfs:label
  • Logic Theorist (es)
  • Logic Theorist (es)
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of