Logic Theorist es un programa informático escrito en 1956 por Allen Newell , Herbert A. Simon y Cliff Shaw . [1] Fue el primer programa diseñado deliberadamente para realizar razonamiento automático , y ha sido descrito como "el primer programa de inteligencia artificial ". [1] [a] Logic Theorist demostró 38 de los primeros 52 teoremas en el capítulo dos de Principia Mathematica de Whitehead y Bertrand Russell , y encontró pruebas nuevas y más breves para algunos de ellos. [3]
En 1955, cuando Newell y Simon comenzaron a trabajar en el Logic Theorist, el campo de la inteligencia artificial aún no existía. Incluso el término en sí ("inteligencia artificial") no se acuñaría hasta el verano siguiente. [b]
Simon era un politólogo que ya había producido trabajos clásicos en el estudio de cómo funcionan las burocracias , así como en el desarrollo de su teoría de la racionalidad limitada (por la que más tarde ganaría un Premio Nobel). El estudio de las organizaciones empresariales requiere, como la inteligencia artificial, una comprensión de la naturaleza de la resolución de problemas y la toma de decisiones humanas . Simon recuerda haber trabajado como consultor en RAND Corporation a principios de los años 50 y haber visto una impresora escribiendo un mapa, utilizando letras comunes y signos de puntuación como símbolos. Se dio cuenta de que una máquina que pudiera manipular símbolos también podría simular la toma de decisiones y posiblemente incluso el proceso del pensamiento humano. [5] [6]
El programa que imprimió el mapa había sido escrito por Newell, un científico de RAND que estudiaba logística y teoría de la organización . Para Newell, el momento decisivo fue en 1954, cuando Oliver Selfridge acudió a RAND para describir su trabajo sobre la comparación de patrones . Al ver la presentación, Newell comprendió de repente cómo la interacción de unidades simples y programables podía lograr un comportamiento complejo, incluido el comportamiento inteligente de los seres humanos. "Todo sucedió en una tarde", diría más tarde. [2] [7] Fue un raro momento de epifanía científica.
"Tenía una sensación de claridad tal que me daba cuenta de que se trataba de un nuevo camino y que iba a seguirlo. No he tenido esa sensación muchas veces. Soy bastante escéptico y, por lo tanto, normalmente no me pongo a tocar el claxon, pero en ese caso sí lo hice. Estaba completamente absorto en él, sin existir con los dos o tres niveles de conciencia, de modo que estás trabajando y siendo consciente de que estás trabajando y consciente de las consecuencias e implicaciones, el modo normal de pensamiento. No. Estaba completamente absorto durante diez o doce horas". [8]
Newell y Simon comenzaron a hablar sobre la posibilidad de enseñar a las máquinas a pensar. Su primer proyecto fue un programa que pudiera demostrar teoremas matemáticos como los utilizados en Principia Mathematica de Bertrand Russell y Alfred North Whitehead . Para desarrollar el programa contaron con la ayuda del programador informático Cliff Shaw , también de RAND (Newell afirma que "Cliff era el verdadero científico informático de los tres"). [9 ]
La primera versión fue simulada a mano: escribieron el programa en tarjetas de 3x5 y, como recordó Simon:
En enero de 1956, reunimos a mi esposa y a mis tres hijos con algunos estudiantes de posgrado. A cada miembro del grupo le dimos una de las tarjetas, de modo que cada una se convirtió, en efecto, en un componente del programa informático... Aquí la naturaleza imitaba al arte imitando a la naturaleza. [10]
Consiguieron demostrar que el programa podía demostrar teoremas con tanta eficacia como un matemático talentoso. Finalmente, Shaw pudo ejecutar el programa en la computadora de la sede de RAND en Santa Mónica.
En el verano de 1956, John McCarthy , Marvin Minsky , Claude Shannon y Nathan Rochester organizaron una conferencia sobre el tema de lo que ellos llamaban "inteligencia artificial" (un término acuñado por McCarthy para la ocasión). Newell y Simon presentaron con orgullo al grupo el Logic Theorist. El resultado fue una recepción tibia. Pamela McCorduck escribe: "La evidencia es que nadie, excepto Newell y Simon, percibió la importancia a largo plazo de lo que estaban haciendo". [11] Simon confiesa que "probablemente fuimos bastante arrogantes al respecto" [12] y agrega:
No querían saber de nosotros, y nosotros desde luego no queríamos saber de ellos: ¡teníamos algo que mostrarles !... En cierto modo era irónico porque ya habíamos hecho el primer ejemplo de lo que buscaban; y segundo, no le prestaron mucha atención. [13]
El teórico de la lógica demostró rápidamente 38 de los primeros 52 teoremas del capítulo 2 de los Principia Mathematica . La prueba del teorema 2.85 era en realidad más elegante que la prueba producida laboriosamente a mano por Russell y Whitehead. Simon pudo mostrarle la nueva prueba al propio Russell, quien "respondió con deleite". [3] Intentaron publicar la nueva prueba en The Journal of Symbolic Logic , pero fue rechazada con el argumento de que una nueva prueba de un teorema matemático elemental no era notable, aparentemente pasando por alto el hecho de que uno de los autores era un programa de computadora. [14] [3]
Newell y Simon formaron una asociación duradera, fundaron uno de los primeros laboratorios de IA en el Instituto Carnegie de Tecnología y desarrollaron una serie de programas e ideas influyentes de inteligencia artificial, incluido el Solucionador de Problemas Generales , Soar y su teoría unificada de la cognición .
Esta es una breve presentación, basada en. [15]
El teórico lógico es un programa que realiza procesos lógicos sobre expresiones lógicas .
Por ejemplo, la expresión lógica se representa como un árbol con un elemento raíz que representa . Entre los atributos del elemento raíz se encuentran punteros a los dos elementos que representan las subexpresiones y .
Hay cuatro tipos de procesos, desde el nivel más bajo hasta el más alto.
El teórico lógico introdujo varios conceptos que serían centrales para la investigación en IA:
Pamela McCorduck escribe que el teórico de la lógica fue "una prueba fehaciente de que una máquina podía realizar tareas que hasta entonces se consideraban inteligentes, creativas y exclusivamente humanas". [3] Y, como tal, representa un hito en el desarrollo de la inteligencia artificial y nuestra comprensión de la inteligencia en general.
En enero de 1956, Simon le dijo a una clase de posgrado: "Durante la Navidad, Al Newell y yo inventamos una máquina pensante", [19] [20] y escribiría:
[Nosotros] inventamos un programa de computadora capaz de pensar de manera no numérica, y con ello resolvimos el venerable problema mente-cuerpo , explicando cómo un sistema compuesto de materia puede tener las propiedades de la mente. [21]
Esta afirmación de que las máquinas pueden tener mentes como las personas, que más tarde el filósofo John Searle denominaría « IA fuerte » , sigue siendo un tema de debate serio hasta el día de hoy.
Pamela McCorduck también ve en el teórico de la lógica el debut de una nueva teoría de la mente, el modelo de procesamiento de la información (a veces llamado computacionalismo o cognitivismo ). Ella escribe que "esta visión llegaría a ser central para su trabajo posterior, y en su opinión, tan central para comprender la mente en el siglo XX como lo había sido el principio de selección natural de Darwin para comprender la biología en el siglo XIX ". [22] Newell y Simon formalizarían más tarde esta propuesta como la hipótesis de los sistemas de símbolos físicos .
