Решение общих проблем - General Problem Solver

Решение общих проблем (GPS) это компьютерная программа создан в 1959 г. Герберт А. Саймон, Дж. К. Шоу, и Аллен Ньюэлл (RAND Corporation ) предназначен для работы как универсальная проблема решатель машина. В отличие от прежнего Теоретик логики проект, GPS работает с средства – результаты анализа.^[1]

Обзор

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

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

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

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

Смотрите также

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

Рекомендации

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

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