Abstract:
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).
Key words and phrases:action description languages, STRIPS, ADL, situation calculus, relational transformations.
Fulltext:
PDF file (1107 kB)