Рекурсивные определения реляционных преобразований

В статье определяются основные конструкции и семантика языка описания действий (action description language), предназначенного для описания и вычисления преобразований отношений моделей ситуаций (реляционных преобразований).
Основное отличие описываемого языка от традиционных языков описания действий (STRIPS, ADL и т.п.) заключается в использовании, кроме традиционных (STRIPS-like) правил, их теоретико-множественных композиций и рекурсии– это существенно повышает выразительность языка.
Описывается функция для вычисления эффектов действий, определенных рекурсивно и доказывается ее частичная корректность.