maquina de teoria logica

LA MAQUINA DE LA TEORIA LOGICA
Los informáticos Allen Newell y Herbert Simon presentaron en 1956, cuando se celebró en el Instituto de Tecnología de Massachussets, la “Máquina de la Teoría Lógica”, que era un avance de lo que pronto se configuraría como inteligencia artificial.
El primer programa de computador para la interferencia lógica fue el primer teórico lógico de NELL,SHAW Y SIMÓN(1957)este programa tenía la intención de modelar los procesos del pensamiento humano.
ORÍGENES
La inteligencia artificial, disciplina de las ciencias de la computación, nace en los años 50 con los trabajos sobre probadores de teoremas de, entre otros, H. Simon y A. Newell. Sin embargo, es concebida un decenio antes, durante los años 40. A. Turing escribe en esa época un artículo, recogido en lacolección Computers and Thought de Feigenbaum et alia, en que entre otras cosas propone una prueba para decidir sobre la inteligencia de las máquinas. La prueba consiste en adaptar un juego de salón a la interacción hombre/máquina; si la persona cree tener como interlocutora a otra persona, es indicio de que la máquina actúa de manera inteligente. El juego consiste en adivinar el sexo del jugadorcontrario, invisible y empeñado en engañar a su adversario. Implica no sólo la capacidad de manejar los estereotipos sexuales, sino también la habilidad de manipular los mecanismos de la simulación y el engaño.
PLANTEAMIENTO BÁSICO
Los mismos A. Newell y H. Simon que crean los programas "serios" para probar teoremas lógicos, son de los primeros en desarrollar programas menos académicos quesimulan al jugador de ajedrez. Unos años después, ellos mismos producen el programa "Solucionador general de problemas" ("General Problem Solver" en inglés, mejor conocido como GPS), en el que tratan de emular los métodos más generales de la inteligencia humana, lo que comúnmente identificamos como sentido común. El GPS tiene tres objetivos: el primero es construir un modelo de la inteligencia humana;es un interés científico, de comprensión del fenómeno; el segundo es crear herramientas inteligentes, la aplicación es lo importante, el provecho que se pueda obtener; el tercero, el de mayor fuste académico, es descubrir en qué consiste la inteligencia en general, independientemente de su incorporación en un ser humano o en cualquier otro organismo o mecanismo. Refiriéndonos a este últimoobjetivo, cabe decir que los investigadores en IA no son los primeros en enfocar el problema de la inteligencia con tal grado de generalidad. Los psicólogos conductistas nos ofrecen un paradigma de interpretación del comportamiento en que no se distingue entre sistemas humanos y sistemas animales. En efecto, el conductismo trata de entender los fenómenos psicológicos humanos partiendo de principios muygenerales obtenidos en el estudio de la conducta de los animales, a partir de los experimentos de Pavlov. Es una aplicación particular de la famosa máxima de Bacon: Busca en los fenómenos más simples las leyes que actúan en los fenómenos más complejos". La misma situación vuelve a ocurrir con los modelos de Newell y Simon, pero en este caso los fenómenos más simples se encuentran en elfuncionamiento de las máquinas, no en el comportamiento de los animales.
Muchos años después de su labor pionera de los años 50, con ocasión de recibir una distinción cobijada por el nombre de Turing (hermosa coincidencia), Newell (científico de la computación) y N Simon (psicólogo y premio Nobel en economía), proponen la teoría de los sistemas físicos de símbolos como explicación última de la inteligencia."Símbolos" es otra forma de llamar a las representaciones; "físicos" subraya su carácter material; "sistema" alude a la inmensa complejidad de los fenómenos involucrados. La teoría de Newell y Simon insiste en que el uso de la computadora nos ha puesto en contexto, por primera vez, con la naturaleza física de los símbolos. Los lenguajes de computación, especialmente los no numéricos (LISP,...