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

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

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

Хотя GPS была способна решить простые, достаточно формализованные задачи, как например Ханойская башня, она не могла решать реальные задачи потому что поиск приводил к комбинаторному взрыву числа промежуточных шагов.


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

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

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