Abstract : The dynamic description logic DDL provides a kind of action theories based on description logics (DLs). Compared with another important DL-based action formalism constructed by Baader et.al., a shortcoming of DDL is the absence of occlusions and conditional post-conditions in the description of atomic actions. In this paper, we extend atomic action definitions of DDL to overcome this limitation. Firstly, we introduce extended atomic action definitions in which the occlusions and conditional post-conditions are incorporated. Secondly, for each atomic action specified by an extended atomic action definition, a function named Expand is introduced to transform it into a choice action which is composed of atomic actions defined by ordinary atomic action definitions. Finally, based on the Expand function, the satisfiability-checking algorithm of DDL is extended to support occlusions and conditional post-conditions.
Type de document :
Communication dans un congrès
Zhongzhi Shi; Sunil Vadera; Agnar Aamodt; David Leake. 6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. Springer, IFIP Advances in Information and Communication Technology, AICT-340, pp.45-54, 2010, Intelligent Information Processing V. 〈10.1007/978-3-642-16327-2_9〉
https://hal.inria.fr/hal-01060357
Contributeur : Hal Ifip
<>
Soumis le : mardi 21 novembre 2017 - 16:44:51
Dernière modification le : mercredi 22 novembre 2017 - 01:22:18
Liang Chang, Zhongzhi Shi, Tianlong Gu. Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions. Zhongzhi Shi; Sunil Vadera; Agnar Aamodt; David Leake. 6th IFIP TC 12 International Conference on Intelligent Information Processing (IIP), Oct 2010, Manchester, United Kingdom. Springer, IFIP Advances in Information and Communication Technology, AICT-340, pp.45-54, 2010, Intelligent Information Processing V. 〈10.1007/978-3-642-16327-2_9〉. 〈hal-01060357〉
