Русская Википедия:Универсальный решатель задач

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Универсальный решатель задач (Шаблон:Lang-en, GPS) — компьютерная программа, созданная в 1959 году Гербертом Саймоном, Шаблон:Нп2 и Алленом Ньюэллом, предназначенная для работы в качестве универсальной машины для решения задач, сформулированных на языке хорновских дизъюнктов. В качестве примеров использования приводились доказательства теорем евклидовой геометрии и логики предикатов, решение шахматных задач.

Программа основана на теоретической работе Саймона и Ньюэлла о логических машинах. Считается первой компьютерной программой, в которой предпринята стратегия разделения знаний о задачах (правила, которые подавались на вход программы) от стратегии решения задач (общий решающий движок). Решающий алгоритм был реализован на низкоуровневом языке программирования Шаблон:Нп3.

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

Литература

Внешние ссылки


Шаблон:Выбор языка