A recursive definitions of relational transformations

In the paper we describe and investigate a basic constructions and semantics of a new action description language KSL (Knowledge Specification Language) which is based on the notion of relational transformation.
The main difference the described language from traditional ones (STRIPS, ADL, etc.) is in extension traditional (STRIPS-like) rules by means of its set-theoretic compositions and recursion - this greatly increases the expressiveness of the language.
Also we define a function to calculate a recursively defined relational transformations and prove its partial correctness. (in Russian).