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

计算机科学 ›› 2008, Vol. 35 ›› Issue (6): 155-157.

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

王静刘群石磊

哈尔滨工程大学计算机科学与技术学院,哈尔滨150001

出版日期:2018-11-16 发布日期:2018-11-16

WANG Jing ,LIU Qun ,SHI Lei （School of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China）

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

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

关键词: 动态描述逻辑物元发散规则可扩展性

Abstract: Dynarni＇c description logic framework has weakness in describing the meanings and changes of concepts and its effects after changing because there are only concepts and relations in dynamic description logic framework. To solve this problem, the matter el

Key words: Dynamic description logic, Matter element, Divergence rules, Extensibility

王静刘群石磊. 一种带物元的动态描述逻辑[J]. 计算机科学, 2008, 35(6): 155-157. https://doi.org/

WANG Jing ,LIU Qun ,SHI Lei （School of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China）. [J]. Computer Science, 2008, 35(6): 155-157. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed