Язык действия

В информатике , язык действия является языком для определения систем переходного состояния , и обычно используется для создания формальных моделей эффектов действия на Земле. ^[1] Языки действий обычно используются в областях искусственного интеллекта и робототехники , где они описывают, как действия влияют на состояния систем с течением времени, и могут использоваться для автоматического планирования .

Языки действий делятся на два класса: языки описания действий и языки запросов действий. Примеры первого включают STRIPS , PDDL , Language A (обобщение STRIPS; пропозициональная часть ADL Педно ), Language B (расширение A, добавляющее косвенные эффекты , различая статические и динамические законы) и Language C (который добавляет косвенные эффекты). также, и не предполагает, что каждый беглый язык автоматически "инерционен"). Существуют также языки запросов действий P, Q и R. Существует несколько различных алгоритмов преобразования языков действий, в частности, языка действий C, для ответа на набор программ . ^{[2] [3]}Поскольку современные решатели с набором ответов используют логические алгоритмы SAT для очень быстрого определения выполнимости , это означает, что языки действий также могут наслаждаться прогрессом, достигнутым в области логических SAT-решений.

Формальное определение [ править ]

Все языки действий дополняют определение системы перехода состояний с набором F из флюента , множества V значений , которые флюэнт могут принимать и отображение функции S × F на V , где S есть множество состояний системы перехода состояний .

См. Также [ править ]

• Линейная темпоральная логика
• ГОЛОГ
• Свободный расчет
• Ситуационное исчисление
• Исчисление событий

Ссылки [ править ]