|
Article #
4_2018
31
p.
/r2/pdf.jpg)
PDF |
submitted on 26th
Nov 2017 displayed on
website on 05th
March
2018
Mikhail
Kuchuganov
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).
Key words: action description languages, STRIPS, ADL,
situation calculus, relational transformations.
|
/r1/pdf.jpg){kind=small}
.