Integrating Description Logics and Action Formalisms: First Results
Integrating Description Logics and Action Formalisms: First Results
复制标题
DOI：
--
复制
发表时间：
2005-07
期刊：
影响因子：
--
通讯作者：
F. Baader;C. Lutz;M. M. Brandt-M.;U. Sattler;F. Wolter
中科院分区：
文献类型：
--
作者：
F. Baader;C. Lutz;M. M. Brandt-M.;U. Sattler;F. Wolter
我们提出了一个行动的形式主义，是基于描述逻辑（DLs），可以被视为一个实例的情况演算（SitCalc）。特别地，描述逻辑概念可以用于描述世界的状态，以及动作的前置条件和后置条件。这种组合的主要优点是。一方面，描述世界状态和条件的表达能力高于Sitcalc的其他可判定片段，这些片段通常是命题性的。另一方面，与完整的Sitcalc相比，有效的推理仍然是可能的。在本文中，我们进行了详细的调查如何DL的选择影响的复杂性的标准推理任务的可执行性和投影在相应的行动形式主义。我们还讨论了框架自然扩展中的语义和计算问题。
We propose an action formalism that is based on description logics (DLs) and may be viewed as an instance of the Situation Calculus (SitCalc). In particular, description logic concepts can be used for describing the state of the world, and the pre- and post-conditions of actions. The main advantage of such a combination is that. on the one hand, the expressive power for describing world states and conditions is higher than in other decidable fragments of the Sitcalc, which are usually propositional. On the other hand, in contrast to the full Sitcalc, effective reasoning is still possible. In this paper, we perform a detailed investigation of how the choice of the DL influences the complexity of the standard reasoning tasks executability and projection in the corresponding action formalism. We also discuss semantic and computational problems in natural extensions of our framework.