Общее решение проблем
General Problem Solver (GPS) — компьютерная программа, созданная в 1957 году Гербертом Саймоном , Дж . Си Шоу и Алленом Ньюэллом с целью создания машины, способной решать общие задачи. Любая формальная символическая задача в принципе может быть решена с помощью НГМ. Например: доказательство теорем , решение геометрических задач, работа с логикой высказываний и игра в шахматы . Он основан на предыдущей теоретической работе Саймона и Ньюэлла о логических машинах . GPS была первой компьютерной программой, в которой знание проблем было отделено от стратегии их решения. Он был реализован на языке программирования IPL ( Information Processing Language ) .
GPS удалось решить простые задачи, вроде задачи о Ханойской башне , которую можно было выразить достаточно формализованным образом, но она не могла решить задачи реального мира.
Пользователь определял объекты и операции, которые можно было выполнять с объектами и над ними, а GPS генерировала эвристики посредством анализа средств и целей для решения проблем. Для этого он сосредоточился на доступных операциях, выяснив, какие входные данные были приемлемыми, и какие результаты были получены. Затем были созданы подцели, чтобы все ближе и ближе приближаться к ранее определенной цели.
Парадигма GPS превратилась в символически-когнитивную архитектуру SOAR ( State Operator And Result ).
Процесс
Саймон и Ньюэлл предлагают пример преобразования логического предложения L1=R*(-P=>Q) в L2=(Q\/P)*R (Ньюэлл и Саймон, 1972, стр. 420). Это преобразование будет обрабатываться GPS следующим образом:
- Задача 1: Превратить L1 в L0
- Задача 2: уменьшить разницу между L1 и L0
- Задача 3: применить R1 к L1
- Задача 4: преобразовать L1 в условие (R1)
- Произведение L2: (-P => Q) *R
- Задача 5: Превратить L2 в L0
- Задача 6: уменьшить разницу между (L2) и (L0)
- Задача 7: применить R5 к (L2)
- Задача 8: Превратить (L2) в состояние (R5)
- Задача 9: уменьшить разницу между (L2) и (R5)
- Отклонено: Не проще, чем Цель 6
- Задача 10: применить R6 к (L2)
- Задача 11: Превратить (L2) в состояние (R5)
- Произведение L3: (P\Q)*R
- Задача 12: Превратить L3 в L0
- Задача 13: Уменьшить разницу между (L3) и (L0)
- Задача 14: применить R1 к (L3)
- Задача 15: Превратить (L3) в состояние (R1)
- Произведение L4: (Q\/P)*R
- Задача 16: Превратить L4 в L0
- Определить, КЭД
Ссылки
- Ньюэлл, А .; Шоу, Дж. К.; Саймон, HA (1959). Отчет по общей программе решения проблем. Материалы Международной конференции по обработке информации . стр. 256-264.
- А. Ньюэлл и Х. А. Саймон (1961). GPS, программа, имитирующая человеческое мышление , в E. Feigenbaum and J. Feldmann, Hrsg. (1995) Компьютеры и мысль , ISBN 0262560925 .
- Ньюэлл, А. (1963). Путеводитель по общей программе-решателю задач GPS-2-2 . Корпорация RAND, Санта-Моника, Калифорния. Технический отчет № RM-3337-PR.
- Эрнст, Г. В. и Ньюэлл, А. (1969). GPS: тематическое исследование в целом и решение проблем . Академическая пресса. (Пересмотренная версия диссертации Эрнста 1966 года, Технологический институт Карнеги.)
- Ньюэлл А. и Саймон Х.А. (1972) Решение проблем человека . Энглвуд Клиффс, Нью-Джерси: Прентис Холл.
- Норвиг, Питер. (1992). Парадигмы программирования искусственного интеллекта: тематические исследования на Common Lisp . стр. 109-110.
