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 automatizado y ha sido descrito como "el primer programa de inteligencia artificial ". [1] [un] teórico de la lógica demostró 38 de los primeros 52 teoremas en el capítulo dos de los 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 Teórico de la Lógica, el campo de la inteligencia artificial aún no existía. Incluso el propio término ("inteligencia artificial") no se acuñaría hasta el verano siguiente. [b]
Simon era un politólogo que ya había realizado trabajos clásicos en el estudio de cómo funcionan las burocracias , así como 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, al igual que la inteligencia artificial, una comprensión de la naturaleza de la resolución de problemas y la toma de decisiones humanas . Simon recuerda haber consultado en RAND Corporation a principios de la década de 1950 y haber visto a un impresor tecleando 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 estudia la logística y la teoría de la organización . Para Newell, el momento decisivo fue en 1954, cuando Oliver Selfridge vino a RAND para describir su trabajo sobre combinació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 comportamientos complejos, 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 tal sensación de claridad que este era un nuevo camino, y uno que iba a seguir. No he tenido esa sensación muchas veces. Soy bastante escéptico, por lo que normalmente no me desvío. en un pitido, pero lo hice en ese, completamente absorto en ello, sin existir con los dos o tres niveles de conciencia para que estés trabajando, y consciente de que estás trabajando, y consciente de las consecuencias e implicaciones, lo normal. Modo de pensamiento. No. Completamente absorbido durante diez a doce horas. [8]
Newell y Simon empezaron a hablar sobre la posibilidad de enseñar a las máquinas a pensar. Su primer proyecto fue un programa que podía demostrar teoremas matemáticos como los utilizados en los Principia Mathematica de Bertrand Russell y Alfred North Whitehead . Consiguieron la ayuda del programador informático Cliff Shaw , también de RAND, para desarrollar el programa. (Newell dice que "Cliff era el auténtico 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 mis tres hijos junto 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 de computadora... Aquí estaba la naturaleza imitando al arte imitando a la naturaleza. [10]
Lograron demostrar que el programa podía demostrar teoremas con éxito, tan bien como un matemático talentoso. Finalmente, Shaw pudo ejecutar el programa en la computadora de las instalaciones 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 llamaron "inteligencia artificial" (término acuñado por McCarthy para la ocasión). Newell y Simon presentaron con orgullo al grupo el Teórico de la Lógica. Fue recibido con una tibia recepción. Pamela McCorduck escribe que "la evidencia es que nadie, excepto Newell y Simon, sintieron la importancia a largo plazo de lo que estaban haciendo". [11] Simon confiesa que "probablemente fuimos bastante arrogantes al respecto" [12] y agrega:
Ellos no querían saber de nosotros, y nosotros seguro que tampoco queríamos saber de ellos: ¡teníamos algo que mostrarles ! ... En cierto modo fue 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 pronto demostró 38 de los primeros 52 teoremas del capítulo 2 de los Principia Mathematica . La demostración del teorema 2.85 fue en realidad más elegante que la demostración elaborada laboriosamente a mano por Russell y Whitehead. Simon pudo mostrar la nueva prueba al propio Russell, quien "respondió encantado". [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 influyentes programas e ideas de inteligencia artificial, incluido el General Problem Solver , 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 de la lógica introdujo varios conceptos que serían fundamentales para la investigación de la IA:
Pamela McCorduck escribe que el teórico de la lógica era "una prueba positiva de que una máquina podía realizar tareas hasta ahora consideradas inteligentes, creativas y exclusivamente humanas". [3] Y, como tal, representa un hito en el desarrollo de la inteligencia artificial y en nuestra comprensión de la inteligencia en general.
Simon dijo a una clase de posgrado en enero de 1956: "Durante 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 forma no numérica y así 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 al igual que las personas, sería posteriormente denominada " IA fuerte " por el filósofo John Searle . Sigue siendo un tema serio de debate hasta el día de hoy.
Pamela McCorduck también ve en Logic Theorist 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 "este punto de vista 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 .