General Problem Solver

General Problem Solver (GPS, буквально Загальний розв'язувач задач) — комп'ютерна програма, створена в 1957 році Герберт Саймоном (Herbert Simon), Дж. Шоу (J.C. Shaw), і Алленом Ньюелом (Allen Newell), призначена для роботи як універсальна машина для розв'язування задач. За допомогою GPS можна розв'язати, в принципі, будь-яку символічно формалізовану задачу. Наприклад: доведення теорем, геометричні задачі й гра в шахи. Вона була заснована на теоретичній роботі Саймона і Ньюелла з логічних машин. GPS була першою комп'ютерною програмою, яка розділила свої знання про задачі (правила, які подавались на вхід програми) від своєї стратегії розв'язування задач (загальний розв'язувальний пошуковий рушій). Це було реалізовано в низькорівневій мові програмування IPL.

Див. також

• Розв'язувач (інформатика)

Посилання

• High Level Logic (HLL) Open Source Project: General Problem Solver [Архівовано 8 липня 2011 у Wayback Machine.]

Джерела

• Newell, A.; Shaw, J.C.; Simon, H.A. (1959). Report on a general problem-solving program. Proceedings of the International Conference on Information Processing. pp. 256–264.
• Newell, A. (1963). A guide to the general problem-solver program GPS-2-2. RAND Corporation, Santa Monica, California. Technical Report No. RM-3337-PR.
• Ernst, G.W. and Newell, A. (1969). GPS: a case study in generality and problem solving. Academic Press. (revised version of Ernst's 1966 dissertation, Carnegie Institute of Technology.)
• Newell, A., and Simon, H. A. (1972) Human problem solving Englewood Cliffs, NJ: Prentice-Hall
• Norvig, Peter (1992). Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp. San Francisco, California: Morgan Kaufmann. с. 109—149. ISBN 1-55860-191-0.
• Noyes, James L. (1992). Artificial Intelligence with Common Lisp. Lexington: D. C. Heath. с. 343—371. ISBN 0-669-19473-5.