Teórico de la lógica

Teórico de la lógica

Información
Desarrollado por Allen Newell , Herbert Simon y Cliff Shaw
Escrito en Lenguaje de procesamiento de información
Tipo Programa informático

The Logic Theorist es un programa de computadora escrito en 1955 y 1956 por Allen Newell , Herbert Simon y Cliff Shaw . Fue diseñado para replicar las habilidades de resolución de problemas de un ser humano y se considera el principal programa de inteligencia artificial. Pudo demostrar 38 de los 52 teoremas de los Principia Mathematica de Whitehead y Russell .

Fue presentado en 1956 en la conferencia de Dartmouth , considerado el certificado de nacimiento de la inteligencia artificial como un campo de investigación autónoma.

Notas

  1. El teórico de la lógica es ampliamente considerado como el primer verdadero programa de inteligencia artificial, aunque Arthur Samuel escribió anteriormente un programa de verificación de pruebas. Christopher Strachey también escribió un programa de verificación de pruebas en 1951.

Citas

  1. Crevier 1993 , p.  44.
  2. Jacques Henno, "  1956: y la inteligencia artificial se convirtió en una ciencia  " , en Les Échos ,21 de agosto de 2017(consultado el 30 de enero de 2019 ) .

Referencias

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

Artículos relacionados