Универсальный решатель задач

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

General Problem Solver (GPS , буквально Общий Решатель задач) — компьютерная программа, созданная в 1959 году Гербертом Саймоном (Herbert Simon), Дж. Шоу (J.C. Shaw), и Алленом Ньюэллом (Allen Newell), предназначена для работы в качестве универсальной машины для решения задач. С помощью GPS можно решить, в принципе, любую символически формализованную задачу. Например: доказательство теорем , геометрические задачи и игра в шахматы . Она была основана на теоретической работе Саймона и Ньюэлла о логических машинах. GPS была первой компьютерной программой, которая разделила свои знания о задачах (правила, которые подавались на вход программы) от своей стратегии решения задач (общий решающий поисковый движок). Это было реализовано на низкоуровневом языке программирования IPL .


См. также[править | править вики-текст]

Ссылки[править | править вики-текст]

Источники[править | править вики-текст]

  • 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 Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp. — San Francisco, California: Morgan Kaufmann, 1992. — P. 109–149. — ISBN 1-55860-191-0
  • Noyes James L. Artificial Intelligence with Common Lisp. — Lexington: D. C. Heath, 1992. — P. 343–371. — ISBN 0-669-19473-5