Войти
В информатике язык действий - это язык для определения систем перехода между состояниями, который обычно используется для создания формальные модели эффектов действия с в мире. Языки действий обычно используются в доменах искусственный интеллект и робототехника, где они описывают, как действия влияют на состояния систем с течением времени, и могут использоваться для автоматического планирования.
Языки действий делятся на два класса: языки описания действий и языки запросов действий. Примеры первых включают STRIPS, PDDL, язык A (обобщение STRIPS; пропозициональная часть ADL Педно), Language B (расширение A добавление косвенных эффектов, различение статических и динамических законов) и языка C (который также добавляет косвенные эффекты и не предполагает, что каждый беглый язык автоматически «инерционен»). Существуют также языки запросов действий P, Q и R. Существует несколько различных алгоритмов преобразования языков действий, в частности языка действий C, в программы набора ответов. Поскольку современные решатели с набором ответов используют алгоритмы логического SAT для очень быстрого определения выполнимости, это означает, что языки действий также могут наслаждаться прогрессом, достигнутым в области логического решения SAT.
Все языки действий дополняют определение системы перехода между состояниями набором F из fluents, набором V значений, которые fluents могут принимать и функцию, отображающую S × F в V, где S - это набор состояний системы перехода состояний.
