|
4
Поступила в редакцию 26.11.2017
Подписана в печать
05.03.2018
31 с.
/r2/pdf.jpg)
PDF |
М. В.
Кучуганов
Рекурсивные определения реляционных преобразований
В статье определяются основные
конструкции и семантика языка описания действий (action description
language), предназначенного для описания и вычисления преобразований
отношений моделей ситуаций (реляционных преобразований).
Основное отличие описываемого языка от традиционных языков описания
действий (STRIPS, ADL и т.п.) заключается в использовании, кроме
традиционных (STRIPS-like) правил, их теоретико-множественных
композиций и рекурсии—это существенно повышает выразительность
языка.
Описывается функция для вычисления эффектов действий, определенных
рекурсивно и доказывается ее частичная корректность.
Ключевые слова: языки описания действий, STRIPS, ADL, ситуационное
исчисление, реляционные преобразования. |
/r1/pdf.jpg){kind=small}
.
