Usuario:Luis Felipe Rivera/Taller

El Logic Theoristes un sistema complejo de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw durante el año de 1995. 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.

Historia

Simon era un científico politico dedicado al estudio de la toma de desiciones en contextos organizacionales, area en la cual desarrollo una teoría que redefinió las premisas o creencias de cada area como la unidad básica de información con la que un sistema humano por ejemplo empresas, universidades y agencias gubernamentales toma desiciones. Este trabajo llegaría a servir como una de las verticales principales sobre las que estaría Construido el LT. Durante la primavera del año 1952 seria invitado por RAND Corporation a actuar como consultor sobre el estudio de sistemas de defensa area y es precisamente en estos laboratorios donde se encontraría con un dispositivo utilizado para simular mapas de aviación y que cambiaria su vision de la computación, es sus propias palabras:

"Tenían este maravilloso dispositivo para simular mapas en viejas máquinas tabuladoras. Aquí estaba usted, usando esto no para imprimir estadísticas, sino para imprimir una imagen, que era el mapa. De repente, fue obvio que usted no tenía que limitarse a calcular los números; podría calcular la posición que deseaba, un lugar para aparecer en un papel. Podrías imprimir imágenes, con cosas que ni siquiera eran una computadora moderna, solo calculadoras de tarjetas antiguas."​

Esta maquina que tenia como objetivo entender las interacciones humano-maquina al modelar un centro de defensa aérea, Newell un científico empleado en RAND Corporation con antecedentes en matemática, dedicado en ese momento al estudio de la logística y teoría organizacional, fue el creador del lenguaje utilizado para este experimento. Para Newell el punto quiebre sucedió durante una conferencia con Oliver Selfridge que en ese momento trabajaba en Lincoln Laboratory, en la cual le fueron presentados los avances que en conjunto con G. P. Dinneen se habían realizado en Reconocimiento de patrones. Esto le permitió a Newell entender que procesos altamente complejos podían ser simulados a través del uso de multiples subprocesos sencillos que eran activados de manera condicional y se comunicaban entre ellos de manera interactiva.

A partir del verano de 1955 Newell y Simon comenzaron a discutir la posibilidad de construir una maquina que pudiera pensar, con labores bien definidas Simon dedicaba su tiempo a pensar en areas o problemáticas en las que pudieran aplicar estas estrategias de manera existosa en campos como lógica, geometría o ajedrez mientras que Newell con la ayuda de Shaw el único ingeniero de sistemas del grupo que trabajaba en RAND Corporation se dedicaban a parte computacional. Para el 15 de diciembre del mismo año Simon fue capaz de simular a mano la primera prueba lógica utilizando una version bastante similar al programa que pasaría a llamarse el Logic Theorist.

Lo que desencadenaría en la primera simulación real del programa en enero de 1956 :

En enero de 1956, reunimos a mi esposa y tres hijos junto con algunos estudiantes graduados. A cada miembro del grupo, le entregamos una de las tarjetas, de modo que cada uno se convirtió, en efecto, en un componente del programa de computadora ... Aquí estaba la naturaleza imitando el arte imitando a la naturaleza.​

en cuanto a los problemas computacionales la ausencia de un Lenguaje de programación de alto nivel, que permitiera especificar los conceptos complejos alrededor del Logic Theorist, llevo a la creación de una serie de lenguajes de procesamiento de información conocidos como IPL-I e IPL-II de acuerdo con Shaw:

"Como programadores, teníamos una tarea creativa cada vez Tratando de inventar una representación en la máquina correspondiente a Lo que estábamos comunicando bastante libremente en inglés. La dirección Natural entonces era sugerir lenguajes interpretativos, de nivel superior, tratando de acercarse a algo donde Al y Herb podrían Especifica más completamente los conceptos complejos del ajedrez. Pero queríamos hacerlo en la máquina. Así que eso involucró a Al más directamente en la programación en ese punto, y creamos los idiomas de procesamiento de información, IPL-I y IPL-II. IPL-En realidad era una etiqueta que pusimos retroactivamente a un lenguaje que Al y Herb usaban para diseñar las especificaciónes de la máquina de la teoría lógica."​

ademas de la creación de estos lenguajes, era necesario encontrar una manera de manejar las grandes cantidades de memoria que necesitaba el programa, para esto se creo el Procesamiento por listas una solución innovadora para el manejo de la memoria que utilizaba etiquetas para mantener un record de los espacios de memoria que contenían información que ya no era util y por ende podían ser reutilizados.

El programa estaría terminado para el verano de 1956, misma fecha en la que seria presentado a la conferencia creada alrededor de la Inteligencia artificial y organizada por John McCarthy, Marvin Minsky,Claude Shannon y Nathan Rochester, en esta conferencia fueron presentadas multiples ideas y en pocos casos programas con aplicaciones específicos ​, el LT ya era un programa con la capacidad de razonar emulando el comportamiento humano. Aun así el programa creado por Newell, Simon y Shaw recibió muy poca atención sobre esto Pamela McCorduck menciona "la evidencia es que nadie salvo los mismos Newell y Simon percibieron el significado a largo plazo de lo que estaban haciendo.​

Poco tiempo después el programa seria capaz d 38 de los 52 teoremas presentados en el segundo capitulo de Principia Mathematica escrito por Alfred North Whitehead y Bertrand Russell, vale la pena resaltar que el teorema 2.85 fue resuelto de una manera elegante por el programa que por el Mismísimo Russell​. Lo que llevaría a los autores a presentar un nuevo articulo al The Journal of Symbolic Logic pero la prueba fue rechazada alegando que no presentaba un descubrimiento significativo para el area de las Matemáticas. Aun así la alianza entre los autores se mantendría y resultaría en la creación de tecnologías como General Problem Solver y Soar, la  unified theory of cognition y en la creación de uno de los primeros laboratorios de inteligencia artificial bajo el nombre de Carnegie Tech.