b'\n_START_ARTICLE_\nLogic Theorist\n_START_PARAGRAPH_\nEl Logic Theorist es un complejo sistema de manejo de informaci\xc3\xb3n creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955. 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\xc3\xa1ticos. 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\xe2\x80\x8b.\n_START_SECTION_\nHistoria\n_START_PARAGRAPH_\nSimon era un cient\xc3\xadfico pol\xc3\xadtico dedicado al estudio de la toma de decisiones en contextos organizacionales, \xc3\xa1rea en la cual desarroll\xc3\xb3 una teor\xc3\xada que redefini\xc3\xb3 las premisas o creencias de cada \xc3\xa1rea como la unidad b\xc3\xa1sica de informaci\xc3\xb3n, con base en la que un sistema humano - como empresas, universidades y agencias gubernamentales - toma decisiones. Este trabajo llegar\xc3\xada a servir como una de las verticales principales sobre las que estar\xc3\xada Construido el L.T. Durante la primavera de 1952 Simon ser\xc3\xada invitado por RAND Corporation a actuar como consultor sobre el estudio de sistemas de defensa a\xc3\xa9rea y es all\xc3\xad  donde se encontrar\xc3\xada con un dispositivo utilizado para simular mapas de aviaci\xc3\xb3n, hecho que cambiaria su visi\xc3\xb3n de la computaci\xc3\xb3n, en sus propias palabras:\xe2\x80\x8b _NEWLINE_"Ten\xc3\xadan este maravilloso dispositivo para simular mapas en viejas m\xc3\xa1quinas tabuladoras. Aqu\xc3\xad estaba usted, usando esto no para imprimir estad\xc3\xadsticas, sino para imprimir una imagen, que era el mapa. De repente, fue obvio que usted no ten\xc3\xada que limitarse a calcular los n\xc3\xbameros; podr\xc3\xada calcular la posici\xc3\xb3n que deseaba, un lugar para aparecer en un papel. Podr\xc3\xadas imprimir im\xc3\xa1genes, con cosas que ni siquiera eran una computadora moderna, solo calculadoras de tarjetas antiguas."\xe2\x80\x8b_NEWLINE__NEWLINE_Esta m\xc3\xa1quina ten\xc3\xada como objetivo entender las interacciones humano-m\xc3\xa1quina al modelar un centro de defensa a\xc3\xa9rea. Allen Newell, un cient\xc3\xadfico empleado en RAND Corporation con antecedentes en matem\xc3\xa1tica, dedicado en ese momento al estudio de la log\xc3\xadstica y teor\xc3\xada organizacional, fue el creador del lenguaje utilizado para este experimento. Para Newell el punto quiebre sucedi\xc3\xb3 durante una conferencia con Oliver Selfridge, quien en ese momento trabajaba en Lincoln Laboratory, en la cual le fueron presentados los avances que en conjunto con G. P. Dinneen se hab\xc3\xadan realizado en Reconocimiento de patrones. Esto le permiti\xc3\xb3 a Newell entender que procesos altamente complejos pod\xc3\xadan ser simulados a trav\xc3\xa9s del uso de m\xc3\xbaltiples subprocesos sencillos que eran activados de manera condicional y se comunicaban entre ellos de manera interactiva._NEWLINE__NEWLINE_A partir del verano de 1955, Newell y Simon comenzaron a discutir la posibilidad de construir una m\xc3\xa1quina que pudiera pensar. Con labores bien definidas, Simon dedicaba su tiempo a pensar en \xc3\xa1reas o problem\xc3\xa1ticas en las que pudieran aplicar estas estrategias de manera exitosa en campos como la l\xc3\xb3gica, la geometr\xc3\xada o el ajedrez, mientras que Newell con la ayuda de Shaw, el \xc3\xbanico ingeniero de sistemas del grupo que trabajaba en RAND Corporation, se dedicaban a la parte computacional. Para el 15 de diciembre del mismo a\xc3\xb1o, Simon fue capaz de simular a mano la primera prueba l\xc3\xb3gica utilizando una versi\xc3\xb3n bastante similar al programa que pasar\xc3\xada a llamarse el Logic Theorist. _NEWLINE__NEWLINE_El desarrollo anterior desencadenar\xc3\xada en la primera simulaci\xc3\xb3n real del programa en enero de 1956\xc2\xa0:_NEWLINE_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\xc3\xb3, en efecto, en un componente del programa de computadora ... Aqu\xc3\xad estaba la naturaleza imitando el arte imitando a la naturaleza.\xe2\x80\x8b_NEWLINE__NEWLINE_En cuanto a los problemas computacionales, la ausencia de un Lenguaje de programaci\xc3\xb3n de alto nivel, que permitiera especificar los conceptos complejos alrededor del Logic Theorist, llev\xc3\xb3 a la creaci\xc3\xb3n de una serie de lenguajes de procesamiento de informaci\xc3\xb3n conocidos como IPL-I e IPL-II. De acuerdo con Shaw:_NEWLINE_"Como programadores, ten\xc3\xadamos una tarea creativa cada vez tratando de inventar una representaci\xc3\xb3n en la m\xc3\xa1quina correspondiente a lo que est\xc3\xa1bamos comunicando bastante libremente en ingl\xc3\xa9s. La direcci\xc3\xb3n Natural entonces era sugerir lenguajes interpretativos, de nivel superior, tratando de acercarse a algo donde Al y Herb podr\xc3\xadan Espec\xc3\xadficar m\xc3\xa1s completamente los conceptos complejos del ajedrez. Pero quer\xc3\xadamos hacerlo en la m\xc3\xa1quina. As\xc3\xad que eso involucr\xc3\xb3 a Al m\xc3\xa1s directamente en la programaci\xc3\xb3n en ese punto, y creamos los idiomas de procesamiento de informaci\xc3\xb3n, IPL-I y IPL-II. IPL-En realidad era una etiqueta que pusimos retroactivamente a un lenguaje que Al y Herb usaban para dise\xc3\xb1ar las especificaci\xc3\xb3nes de la m\xc3\xa1quina de la teor\xc3\xada l\xc3\xb3gica."\xe2\x80\x8b_NEWLINE__NEWLINE_Adem\xc3\xa1s de la creaci\xc3\xb3n de estos lenguajes, era necesario encontrar una manera de manejar las grandes cantidades de memoria que necesitaba el programa, para esto se cre\xc3\xb3 el Procesamiento por listas  una soluci\xc3\xb3n innovadora para el manejo de la memoria que utilizaba etiquetas para mantener un r\xc3\xa9cord de los espacios de memoria que conten\xc3\xadan informaci\xc3\xb3n que ya no era \xc3\xbatil y por ende pod\xc3\xadan ser reutilizados._NEWLINE__NEWLINE_El programa estar\xc3\xada terminado para el verano de 1956, misma fecha en la que ser\xc3\xada 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 m\xc3\xbaltiples ideas y en pocos casos programas con aplicaciones espec\xc3\xadficos \xe2\x80\x8b. El L.T ya era un programa con la capacidad de razonar emulando el comportamiento humano. Aun as\xc3\xad el programa creado por Newell, Simon y Shaw recibi\xc3\xb3 muy poca atenci\xc3\xb3n. 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."\xe2\x80\x8b_NEWLINE__NEWLINE_Poco tiempo despu\xc3\xa9s el programa ser\xc3\xada capaz de demostrar 38 de los 52 teoremas presentados en el segundo cap\xc3\xadtulo de \xe2\x80\x9cPrincipia Mathematica\xe2\x80\x9d escrito por Alfred North Whitehead y Bertrand Russell. Vale la pena resaltar que el teorema 2.85 fue resuelto de una manera eficiente por el programa que por Russell\xe2\x80\x8b, lo que llevar\xc3\xada a los autores a presentar un nuevo art\xc3\xadculo en The Journal of Symbolic Logic pero la prueba fue rechazada alegando que no presentaba un descubrimiento significativo para el \xc3\xa1rea de las Matem\xc3\xa1ticas. Aun as\xc3\xad la alianza entre los autores se mantendr\xc3\xada y resultar\xc3\xada en la creaci\xc3\xb3n de tecnolog\xc3\xadas como General Problem Solver y Soar, la  unified theory of cognition y en la creaci\xc3\xb3n de uno de los primeros laboratorios de inteligencia artificial bajo el nombre de Carnegie Tech.\n_START_SECTION_\nObjetivo\n_START_PARAGRAPH_\nEl objetivo del Logic Theorist consiste en probar que ciertas expresiones l\xc3\xb3gicas del siguiente estilo -p \xe2\x86\x92 q v -p son ciertas es decir son teoremas. \xe2\x80\x8b_NEWLINE__NEWLINE_De acuerdo con el reporte enviado a Rand en 1956 por los autores:_NEWLINE_"un programa para construir cadenas de teoremas, no al azar sino en respuesta a indicios que hacen que el descubrimiento de una prueba sea probable dentro de un tiempo de c\xc3\xa1lculo razonable."\xe2\x80\x8b'