Logic Theorist es un programa de computadora escrito en 1956 por Allen Newell , Herbert A. Simon y Cliff Shaw . [1] Fue el primer programa diseñado deliberadamente para realizar un razonamiento automatizado y ha sido descrito como "el primer programa de inteligencia artificial ". [1] [a] El teórico lógico demostró 38 de los primeros 52 teoremas en los Principia Mathematica de Whitehead y Russell , y para algunos teoremas incluso encontró pruebas nuevas y más elegantes. [3]
En 1955, cuando Newell y Simon comenzaron a trabajar en la teoría lógica, 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 un trabajo clásico en el estudio de cómo funcionan las burocracias , además de desarrollar 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 humanos y la toma de decisiones . Simon recuerda consultar en RAND Corporationa principios de la década de 1950 y vio una impresora escribiendo un mapa, usando letras ordinarias y puntuación como símbolos. Se dio cuenta de que una máquina que pudiera manipular símbolos 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 teoría de logística y organización . Para Newell, el momento decisivo fue en 1954 cuando Oliver Selfridge acudió a RAND para describir su trabajo sobre coincidencia de patrones . Al ver la presentación, Newell comprendió repentinamente cómo la interacción de unidades programables simples 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 tal sensación de claridad de que este era un nuevo camino, y uno por el 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 pito, pero lo hice en ese. Completamente absorto en él, 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 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 probar teoremas matemáticos como los usados en 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 científico informático genuino de los tres" [9] ).