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

Парадигмы программирования
Не путать с Действие! (язык программирования).

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

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

Формальное определение

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

Смотрите также

Рекомендации

  1. ^ Михаил Гельфонд, Владимир Лифшиц (1998) "Языки действий ", Linköping Электронные статьи по информатике и информатике, об. 3, номер 16.
  2. ^ Владимир Лифшиц и Хадсон Тернер, (1998) "Представление систем переходов логическими программами ".
  3. ^ Гебсер, Мартин; Гроте, Торстен; Шауб, Торстен (2010). «Coala: компилятор языков действий в ASP». CiteSeerX  10.1.1.185.4622. Цитировать журнал требует | журнал = (помощь)