Geodesic
Systems of relational transformations: rules and realizability criterion
Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, Tome 25 (2015) no. 1, pp. 117-125

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper describes and investigates basic constructions and semantics of an action description language developed to analyze transformations of relations between situation models (relational transformations). The main difference between KSL (Knowledge Specification Language) and traditional languages (STRIPS, ADL, PDDL, etc.) is the exploitation of not only traditional (STRIPS-like) rules but also their set-theoretic compositions. This greatly increases the expressiveness of a language. A clear first order logic characterization of relational transformations (without using additional constructions of a situation calculus) makes it possible to formulate and prove a natural criterion of realizability (consistency) of the system of relational transformations and, consequently, to describe and fix the logical contradictions of the given system.
Keywords: action description languages, STRIPS, ADL
Mots-clés : situation calculus. 
@article{VUU_2015_25_1_a12,
     author = {M. V. Kuchuganov},
     title = {Systems of relational transformations: rules and realizability criterion},
     journal = {Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹ\^uternye nauki},
     pages = {117--125},
     publisher = {mathdoc},
     volume = {25},
     number = {1},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VUU_2015_25_1_a12/}
}
TY  - JOUR
AU  - M. V. Kuchuganov
TI  - Systems of relational transformations: rules and realizability criterion
JO  - Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
PY  - 2015
SP  - 117
EP  - 125
VL  - 25
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VUU_2015_25_1_a12/
LA  - ru
ID  - VUU_2015_25_1_a12
ER  - 
%0 Journal Article
%A M. V. Kuchuganov
%T Systems of relational transformations: rules and realizability criterion
%J Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki
%D 2015
%P 117-125
%V 25
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VUU_2015_25_1_a12/
%G ru
%F VUU_2015_25_1_a12
M. V. Kuchuganov. Systems of relational transformations: rules and realizability criterion. Vestnik Udmurtskogo universiteta. Matematika, mehanika, kompʹûternye nauki, Tome 25 (2015) no. 1, pp. 117-125. http://geodesic.mathdoc.fr/item/VUU_2015_25_1_a12/