Solucionador universal de problemas

El Solucionador de Problemas Generales ( GPS ) es un programa de computadora creado en 1959 por Herbert Simon , Clifford Shaw ( Ing  . Cliff Show ) y Allen Newell , diseñado para funcionar como una máquina universal para resolver problemas formulados en las cláusulas del lenguaje Horn . Como ejemplos de uso se dieron demostraciones de teoremas de geometría euclidiana y lógica de predicados , y la solución de problemas de ajedrez .  

El programa se basa en el trabajo teórico de Simon y Newell sobre máquinas lógicas. Considerado como el primer programa de computadora en intentar una estrategia de separar el conocimiento del problema (reglas introducidas en el programa) de la estrategia de resolución de problemas (motor de decisión común). El algoritmo de decisión se implementó en el lenguaje de programación de bajo nivel IPL.

Si bien el GPS era capaz de resolver problemas simples como el rompecabezas de las Torres de Hanoi , no podía manejar muchos problemas del mundo real porque la búsqueda de una solución en cadena conducía a una explosión combinatoria en el número de pasos intermedios.

Literatura

• Newell, A.; Shaw, JC; Simon, HA (1959). Informar sobre un programa general de resolución de problemas. Actas de la Conferencia Internacional sobre Procesamiento de la Información. páginas. 256–264.
• Newell, A. (1963). Una guía para el programa general de resolución de problemas GPS-2-2. Corporación RAND, Santa Mónica, California. Informe técnico No. RM-3337-PR.
• Ernst, GW y Newell, A. (1969). GPS: un caso de estudio en generalidad y resolución de problemas. Prensa Académica. (versión revisada de la disertación de Ernst de 1966, Carnegie Institute of Technology).
• Newell, A. y Simon, HA (1972) Resolución de problemas humanos Englewood Cliffs, NJ: Prentice-Hall
• Norvig, Peter. Paradigmas de la programación de inteligencia artificial: estudios de casos en Common  Lisp . - San Francisco , California : Morgan Kaufmann , 1992. - P. 109-149. — ISBN 1-55860-191-0 .
• Noyes, James L. Inteligencia artificial con Common Lisp  (indefinido) . - Lexington : DC Heath, 1992. - S. 343-371. — ISBN 0-669-19473-5 .

diccionarios y enciclopedias	Britannica (en línea)