Язык действий
-
Определение языков действий
- Языки действий используются для описания систем перехода состояний в информатике.
- Применяются в искусственном интеллекте и робототехнике для автоматизированного планирования.
-
Классификация языков действий
- Разделяются на языки описания действий и языки запросов к действиям.
- Примеры включают STRIPS, PDDL, A, B и C.
-
Алгоритмы преобразования
- Существуют алгоритмы для перевода action-языков, включая C.
- Современные решатели используют логические алгоритмы SAT для ускорения проверки выполнимости.
-
Формальное определение
- Языки действий включают F переменных, V значений и функцию, отображающую состояния системы на значения.
-
Связанные темы
- Упомянуты линейная временная логика, ГОЛОГ, математический анализ и ситуационный анализ.
Полный текст статьи: