Общее решение проблем

General Issue Solver ( GPS ) — компьютерная программа, созданная в 1957 году Гербертом А. Саймоном , Дж. К. Шоу и Алленом Ньюэллом ( RAND Corporation ) и предназначенная для работы в качестве универсальной машины для решения проблем . В отличие от предыдущего проекта Logic Theorist , GPS работает с анализом средств и целей . ^[1]

Обзор [ править ]

Любая проблема, которая может быть выражена в виде набора правильно сформированных формул (WFF) или предложений Хорна и представляет собой ориентированный граф с одним или несколькими источниками (то есть гипотезами ) и стоками (то есть желаемыми выводами), может быть решается, в принципе, с помощью GPS. Доказательства в области логики предикатов и пространств евклидовой геометрии являются яркими примерами области применимости GPS. Он был основан на теоретических работах Саймона и Ньюэлла по логическим машинам. GPS была первой компьютерной программой, которая отделила знания о проблемах (правилах, представленных в виде входных данных) от своей стратегии решения проблем (общий решающий механизм ). GPS был реализован на языке программирования третьего порядка IPL . ^[2]

Хотя GPS решала простые задачи, такие как Ханойские башни , которые можно было достаточно формализовать, она не могла решить никаких реальных проблем, поскольку поиск легко терялся в результате комбинаторного взрыва . Другими словами, количество «проходов» по орграфу вывода стало вычислительно несостоятельным. (На практике даже простой поиск в пространстве состояний, такой как Ханойские башни, может оказаться вычислительно невыполнимым, хотя разумного сокращения пространства состояний можно добиться с помощью таких элементарных методов искусственного интеллекта, как A* и IDA* ).

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

Парадигма GPS в конечном итоге превратилась в архитектуру Soar для искусственного интеллекта .

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

Теоретик логики

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

^ Нильс Дж. Нильссон (30 октября 2009 г.). В поисках искусственного интеллекта . Издательство Кембриджского университета. стр. 121–. ISBN 978-1-139-64282-8 .
^ Норвиг, Питер (1992). Парадигмы программирования искусственного интеллекта: практические примеры в Common Lisp . Сан-Франциско , Калифорния : Морган Кауфманн. стр. 109–149. ISBN 978-1-55860-191-8 .

Ньюэлл, А.; Шоу, Джей Си; Саймон, ХА (1959). Отчет об общей программе решения проблем. Материалы международной конференции по обработке информации. стр. 256–264.
Ньюэлл, А. (1963). Руководство по общей программе решения проблем GPS-2-2 . RAND Corporation , Санта-Моника, Калифорния. Технический отчет № РМ-3337-ПР.
Эрнст, Г.В. и Ньюэлл, А. (1969). GPS: тематическое исследование в целом и решение проблем. Академическая пресса. (Пересмотренная версия диссертации Эрнста 1966 года, Технологический институт Карнеги .)
Ньюэлл А. и Саймон ХА (1972) Решение человеческих проблем Энглвуд Клиффс, Нью-Джерси: Прентис-Холл
Нойес, Джеймс Л. (1992). Искусственный интеллект с Common Lisp . Лексингтон : округ Колумбия, Хит. стр. 343–371. ISBN 978-0-669-19473-9 .

[Nilsson2009-1] Нильс Дж. Нильссон (30 октября 2009 г.). В поисках искусственного интеллекта . Издательство Кембриджского университета. стр. 121–. ISBN 978-1-139-64282-8 .

[Norvig1992-2] Норвиг, Питер (1992). Парадигмы программирования искусственного интеллекта: практические примеры в Common Lisp . Сан-Франциско , Калифорния : Морган Кауфманн. стр. 109–149. ISBN 978-1-55860-191-8 .

[1]

[2]