|
This article is cited in 1 scientific paper (total in 1 paper)
Mathematical Foundations of Programming
A recursive definitions of relational transformations
M. V. Kuchuganov
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.
Received: 26.11.2017 Accepted: 05.03.2018
Citation:
M. V. Kuchuganov, “A recursive definitions of relational transformations”, Program Systems: Theory and Applications, 9:1 (2018), 58–63
Linking options:
https://www.mathnet.ru/eng/ps298 https://www.mathnet.ru/eng/ps/v9/i1/p58
|
Statistics & downloads: |
Abstract page: | 171 | Full-text PDF : | 34 | References: | 16 |
|