Специалист по решению проблем Стэнфордского исследовательского института
-
Определение STRIPS
- STRIPS — это автоматизированный планировщик, разработанный в 1971 году.
- Язык STRIPS используется для описания задач автоматизированного планирования и известен как язык действий.
-
Структура STRIPS
- Экземпляр STRIPS включает начальное состояние, целевые состояния, предварительные условия и постусловия.
- Математически экземпляр STRIPS описывается как четырехкратное отображение условий, операторов, начального состояния и целевого состояния.
-
Планирование в STRIPS
- План для экземпляра STRIPS представляет собой последовательность действий, приводящих к целевому состоянию.
- Функция перехода моделирует переходы между состояниями и может быть расширена до последовательностей действий.
-
Расширения STRIPS
- Пропозициональная версия STRIPS часто используется на практике, где условия связаны с объектами.
- Действия могут иметь свободные переменные, которые определяются количественно.
- Существуют расширения STRIPS для работы с частично известными начальными состояниями.
-
Сложность и макрооператоры
- Решение задачи планирования с использованием STRIPS является PSPACE-complete.
- Макрооператоры упрощают процесс планирования и могут быть созданы с помощью генетического программирования.
- В контексте обучения с подкреплением макрооператоры называются опциями.
-
Рекомендации и дальнейшее чтение
- Статья предлагает дальнейшее чтение по автоматизированному планированию и другим связанным темам.