Solucionador de problemas general

General Problem Solver ( GPS ) es un programa informático creado en 1957 por Herbert A. Simon , JC Shaw y Allen Newell ( RAND Corporation ) concebido para funcionar como una máquina universal de resolución de problemas . A diferencia del anterior proyecto Logic Theorist , el GPS funciona con análisis de medios y fines . ^{[ 1 ]}

Cualquier problema que pueda expresarse como un conjunto de fórmulas bien formadas (FBF) o cláusulas de Horn , y que constituya un grafo dirigido con una o más fuentes (es decir, hipótesis ) y sumideros (es decir, conclusiones deseadas), puede resolverse, en principio, mediante GPS. Las demostraciones en los espacios de problemas de lógica de predicados y geometría euclidiana son ejemplos clave del dominio de aplicabilidad de GPS. Se basó en el trabajo teórico de Simon y Newell sobre máquinas lógicas . GPS fue el primer programa informático que separó su conocimiento de los problemas (reglas representadas como datos de entrada) de su estrategia para resolverlos (un motor de resolución genérico ). GPS se implementó en el lenguaje de programación de tercer orden, IPL . ^{[ 2 ]}

Si bien el GPS resolvió problemas sencillos como el de las Torres de Hanoi , que podían formalizarse adecuadamente, no pudo resolver ningún problema del mundo real, ya que la búsqueda se perdía fácilmente en la explosión combinatoria . Dicho de otro modo, el número de "recorridos" a través del grafo inferencial se volvía computacionalmente insostenible. (En la práctica, incluso una búsqueda directa en el espacio de estados, como la de las Torres de Hanoi, puede volverse computacionalmente inviable, aunque se pueden lograr podas juiciosas del espacio de estados mediante técnicas elementales de IA como A* e IDA* ).

El usuario definió los objetos y las operaciones que se podían realizar sobre ellos, y el sistema GPS generó heurísticas mediante un análisis de medios y fines para resolver problemas. Se centró en las operaciones disponibles, determinando qué entradas eran aceptables y qué salidas se generaban. Posteriormente, creó subobjetivos para acercarse progresivamente al objetivo final.

El paradigma GPS evolucionó finalmente hasta convertirse en la arquitectura Soar para la inteligencia artificial .

• Teórico de la lógica
• Historia de la inteligencia artificial

• Newell, A.; Shaw, JC; Simon, HA (1959). Informe sobre un programa general de resolución de problemas. Actas de la Conferencia Internacional sobre Procesamiento de la Información. págs.  256–264.
• Newell, A. (1963). Guía del programa general de resolución de problemas GPS-2-2 . RAND Corporation , Santa Mónica, California. Informe técnico n.º RM-3337-PR.
• Ernst, GW y Newell, A. (1969). GPS: un estudio de caso sobre generalidad y resolución de problemas. Academic Press. (Versión revisada de la tesis doctoral de Ernst de 1966, Instituto Tecnológico Carnegie ).
• Newell, A., y Simon, HA (1972) Resolución de problemas humanos Englewood Cliffs, NJ: Prentice-Hall
• Noyes, James L. (1992). Inteligencia artificial con Common Lisp . Lexington : DC Heath. pp. 343–371 . ISBN  978-0-669-19473-9.