General Problema Solver ( GPS ) es un programa de ordenador creado en 1959 por Herbert A. Simon , JC Shaw , y Allen Newell ( RAND ) destinado a trabajo como un problema universal solucionador máquina. A diferencia del proyecto anterior de Logic Theorist , el GPS trabaja con análisis de medios-fines . [1]
Descripción general
Cualquier problema que pueda expresarse como un conjunto de fórmulas bien formadas (WFF) o cláusulas de Horn , y que constituya un gráfico dirigido con una o más fuentes (es decir, axiomas) y sumideros (es decir, conclusiones deseadas), puede ser resuelto, en principio, por GPS. Las pruebas en la lógica de predicados y los espacios de problemas de geometría euclidiana son ejemplos principales del dominio de la aplicabilidad del 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 ). El GPS se implementó en el lenguaje de programación de tercer orden, IPL . [2]
Si bien el GPS resolvió problemas simples como las Torres de Hanoi que podrían formalizarse lo suficiente, no pudo resolver ningún problema del mundo real porque la búsqueda se perdió fácilmente en la explosión combinatoria . Dicho de otra manera, el número de "paseos" a través del dígrafo inferencial se volvió computacionalmente insostenible. (En la práctica, incluso una búsqueda sencilla del 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 tan elementales como A * e IDA * ).
El usuario objetos y las operaciones que se podrían hacer en los objetos definidos, y el GPS genera heurística de análisis medios-fines con el fin de resolver los problemas. Se centró en las operaciones disponibles, buscando qué insumos eran aceptables y qué productos se generaban. Luego creó subobjetivos para acercarse cada vez más al objetivo.
El paradigma GPS eventualmente evolucionó hacia la arquitectura Soar para inteligencia artificial .
Ver también
Referencias
- ^ Nils J. Nilsson (30 de octubre de 2009). La búsqueda de la inteligencia artificial . Prensa de la Universidad de Cambridge. págs. 121–. ISBN 978-1-139-64282-8.
- ^ Norvig, Peter (1992). Paradigmas de programación de inteligencia artificial: estudios de caso en Common Lisp . San Francisco , California : Morgan Kaufmann. págs. 109-149. ISBN 978-1-55860-191-8.
- 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 Información. págs. 256–264.
- Newell, A. (1963). Una guía para el programa general de resolución de problemas GPS-2-2 . RAND Corporation , 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, Nueva Jersey: Prentice-Hall
- Noyes, James L. (1992). Inteligencia artificial con Common Lisp . Lexington : DC Heath. págs. 343–371. ISBN 978-0-669-19473-9.