Logic Theorist

Este trabajo llegaría a servir como una de las verticales principales sobre las que estaría Construido el L.T.Podrías imprimir imágenes, con cosas que ni siquiera eran una computadora moderna, solo calculadoras de tarjetas antiguas."[2]​ Esta máquina tenía como objetivo entender las interacciones humano-máquina al modelar un centro de defensa aérea.Allen 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, 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ían realizado en Reconocimiento de patrones.Con labores bien definidas, Simon dedicaba su tiempo a pensar en áreas o problemáticas en las que pudieran aplicar estas estrategias de manera exitosa en campos como la lógica, la geometría o el ajedrez, mientras que Newell con la ayuda de Shaw, el único ingeniero de sistemas del grupo que trabajaba en RAND Corporation, se dedicaban a la 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 versión bastante similar al programa que pasaría a llamarse el Logic Theorist."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 Específicar más completamente los conceptos complejos del ajedrez.El programa estaría terminado para el verano de 1956, misma fecha en la que sería 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últiples ideas y en pocos casos programas con aplicaciones específicos[5]​.Aun así el programa creado por Newell, Simon y Shaw recibió muy poca atención.1) Recibir la expresión que desea ser probada como cierta 2) Utilizar el Método de Sustitución si es exitoso saltar al paso 6b 3) Utilizar el Método de separación si es exitoso saltar al paso 6b 4) Utilizar el Método de encadenamiento si es exitoso saltar al paso 6b 5) Aplicar la regla de problemas subsidiarios si es exitoso saltar al paso 6b 6a) Reportar la expresión como no probada y terminar el programa 6b) Reportar la expresión como comprobada, agregarla a la lista de axiomas y terminar el programa.