一种带物元的动态描述逻辑

针对动态描述逻辑框架中只有概念和关系，在表述由于动作作用而引起的概念或个体的属性及值的变化和变化后的影响方面能力不强的问题，本文引入物元的概念及其发散规则扩充动态描述逻辑，给出了一种新的带物元的动态描述逻辑（mddl）。文中按照传统描述逻辑的语义解释方法给出了物元的语义解释，然后引入物元及物元“一物多征”的发散推理规则，扩充动态描述逻辑的tableau算法，生成一种新的tableau-m算法。最后根据该算法深入研究了mddl的基本推理问题，即实例断言集的一致性检测问题和概念与物元的可满足性检测问题。