WikiDer > Язык действия
В Информатика, язык действия это язык для определения системы перехода между состояниями, и обычно используется для создания формальные модели воздействия действий на мир.[1] Языки действий обычно используются в искусственный интеллект и робототехника домены, где они описывают, как действия влияют на состояние систем с течением времени, и могут использоваться для автоматизированное планирование.
Языки действий делятся на два класса: языки описания действий и языки запросов действий. Примеры первого включают Полоски, PDDL, Язык А (обобщение STRIPS; пропозициональная часть Педно ADL), Язык B (расширение A, добавляющее косвенные эффекты, различающие статические и динамические законы) и языка C (который также добавляет косвенные эффекты и не предполагает, что каждый беглый язык автоматически «инерционен»). Существуют также языки запросов действий P, Q и R. Существует несколько различных алгоритмов преобразования языков действий, в частности, языка действий C, в программы набора ответов.[2][3] Поскольку современные решатели наборов ответов используют логическое SAT алгоритмы для очень быстрого определения выполнимость, это означает, что языки действий также могут наслаждаться прогрессом, достигнутым в области логического решения SAT.
Формальное определение
Все языки действий дополняют определение система перехода состояний с набором F из беглый, множество V значений, которые могут принимать fluents, и отображение функций S × F к V, куда S - множество состояний системы перехода состояний.
Смотрите также
Рекомендации
- ^ Михаил Гельфонд, Владимир Лифшиц (1998) "Языки действий", Linköping Электронные статьи по информатике и информатике, об. 3, номер 16.
- ^ Владимир Лифшиц и Хадсон Тернер, (1998) "Представление систем переходов логическими программами".
- ^ Гебсер, Мартин; Гроте, Торстен; Шауб, Торстен (2010). «Coala: компилятор языков действий в ASP». CiteSeerX 10.1.1.185.4622. Цитировать журнал требует
| журнал =(помощь)