Язык описания действия
-
Основы ADL
- ADL — это автоматизированная система планирования для роботов, которая является продвижением ПОЛОС.
- Эдвин Педно предложил ADL в 1987 году, чтобы улучшить выразительность полос.
-
Происхождение и развитие ADL
- ADL-A соответствует пропозициональному фрагменту ADL и включает условные действия.
- ADL-B расширяет ADL-A с помощью косвенных эффектов и статических законов.
- ADL-C похож на ADL-B, но с дополнительными особенностями.
-
Семантика и сложность планирования
- ADL использует принцип открытого мира и допускает отрицательные литералы и дизъюнкции.
- Планирование в ADL является сложной задачей, но может быть преобразовано в STRIPS.
-
Сравнение с ПОЛОСКАМИ
- ADL поддерживает как положительные, так и отрицательные литералы, в отличие от STRIPS.
- ADL позволяет использовать количественные переменные в целях, в отличие от STRIPS.
- ADL поддерживает равенство и типы, в отличие от STRIPS.
- Выразительность ADL находится между STRIPS и ситуационным анализом, обеспечивая достаточную выразительность для моделирования сложных действий.