Rezolvator universal de probleme

The General Problem Solver ( GPS ) este un program de calculator creat în 1959 de Herbert Simon , Clifford Shaw ( ing  . Cliff Show ) și Allen Newell , conceput să funcționeze ca o mașină universală pentru rezolvarea problemelor formulate în clauzele limbajului Horn . Ca exemple de utilizare, au fost date dovezi ale teoremelor de geometrie euclidiană și logica predicatelor și soluția problemelor de șah .  

Programul se bazează pe lucrările teoretice ale lui Simon și Newell asupra mașinilor logice. Considerat a fi primul program de calculator care încearcă o strategie de separare a cunoștințelor problemei (reguli introduse în program) de strategia de rezolvare a problemelor (motor de decizie comun). Algoritmul de decizie a fost implementat în limbajul de programare de nivel scăzut IPL.

În timp ce GPS-ul era capabil să rezolve probleme simple, cum ar fi puzzle-ul Turnurile din Hanoi , nu a putut rezolva multe probleme din lumea reală, deoarece căutarea unui lanț de soluții a dus la o explozie combinatorie a numărului de pași intermediari.

Literatură

• Newell, A.; Shaw, JC; Simon, H.A. (1959). Raport despre un program general de rezolvare a problemelor. Proceedings of the International Conference on Information Processing. pp. 256–264.
• Newell, A. (1963). Un ghid pentru programul general de rezolvare a problemelor GPS-2-2. RAND Corporation, Santa Monica, California. Raport tehnic nr. RM-3337-PR.
• Ernst, GW şi Newell, A. (1969). GPS: un studiu de caz în general și rezolvarea problemelor. Presa Academică. (versiune revizuită a disertației lui Ernst din 1966, Carnegie Institute of Technology.)
• Newell, A. și Simon, H.A. (1972) Rezolvarea problemelor umane Englewood Cliffs, NJ: Prentice-Hall
• Norvig, Peter. Paradigme de programare cu inteligență artificială: studii de caz în Common  Lisp . - San Francisco , California : Morgan Kaufmann , 1992. - P. 109-149. — ISBN 1-55860-191-0 .
• Noyes, James L. Artificial Intelligence with Common Lisp  (nedefinit) . - Lexington : DC Heath, 1992. - S. 343-371. — ISBN 0-669-19473-5 .

Dicționare și enciclopedii	Britannica (online)