Средство для решения общих проблем
-
История и концепция GPS
- GPS была разработана в 1957 году для решения проблем.
- Основана на работе Саймона и Ньюэлла по логическим машинам.
- Отличается от Logic Theorist тем, что работает с анализом средств и целей.
-
Применение и ограничения
- GPS может решать проблемы, выраженные в виде формул или предложений Хорна.
- Примеры областей применения включают логику предикатов и евклидову геометрию.
- Не могла решать реальные проблемы из-за комбинаторного взрыва.
-
Процесс решения проблем
- Пользователь определяет объекты и операции, GPS генерирует эвристику.
- Анализирует результаты для приближения к цели, создавая подцели.
- Парадигма GPS эволюционировала в архитектуру Soar для ИИ.
-
Дополнительные ресурсы
- Ссылки на публикации Ньюэлла, Шоу и Саймона, а также на диссертацию Эрнста.
- Упоминание книги Ньюэлла и Саймона о решении человеческих проблем.