El General Problem Solver ( GPS ) es un programa informático creado en 1957 por Herbert A. Simon , JC Shaw y Allen Newell ( RAND Corporation ) con la intención de funcionar como una máquina universal de resolución de problemas . A diferencia del antiguo 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 (WFF) 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 ser resuelto, en principio, por GPS. Las pruebas en los espacios de problemas de lógica de predicados y geometría euclidiana son ejemplos principales 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 de cómo resolver problemas (un motor de resolución genérico ). GPS se implementó en el lenguaje de programación de tercer orden, IPL . [2]
Aunque el GPS resolvió problemas simples como las Torres de Hanoi que podían formalizarse lo suficiente, no pudo resolver ningún problema del mundo real porque la búsqueda se perdía fácilmente en la explosión combinatoria . Dicho de otro modo, la cantidad de "recorridos" a través del dígrafo inferencial se volvió computacionalmente insostenible. (En la práctica, incluso una búsqueda sencilla en el espacio de estados como las Torres de Hanoi puede volverse computacionalmente inviable, aunque se pueden lograr podas juiciosas del espacio de estados mediante técnicas de IA elementales como A* e IDA* ).
El usuario definió los objetos y las operaciones que se podían realizar sobre ellos, y GPS generó heurísticas mediante análisis de medios y fines para resolver los problemas. Se centró en las operaciones disponibles, buscando qué entradas eran aceptables y qué salidas se generaban. Luego creó submetas para acercarse cada vez más a la meta.
El paradigma GPS eventualmente evolucionó hacia la arquitectura Soar para inteligencia artificial .