一种带物元的动态描述逻辑 |
| |
引用本文: | 王静,刘群,石磊.一种带物元的动态描述逻辑[J].中国药品标准,2008(6):155-157. |
| |
作者姓名: | 王静 刘群 石磊 |
| |
作者单位: | 王静(哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001);刘群(哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001);石磊(哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001) |
| |
摘 要: | 针对动态描述逻辑框架中只有概念和关系,在表述由于动作作用而引起的概念或个体的属性及值的变化和变化后的影响方面能力不强的问题,本文引入物元的概念及其发散规则扩充动态描述逻辑,给出了一种新的带物元的动态描述逻辑(MDDL).文中按照传统描述逻辑的语义解释方法给出了物元的语义解释,然后引入物元及物元"一物多征"的发散推理规则,扩充动态描述逻辑的Tableau算法,生成二种新的Tableau-M算法.最后根据该算法深入研究了MDDL的基本推理问题,即实例断言集的一致性检测问题和概念与物元的可满足性检测问题.
|
关 键 词: | 动态描述逻辑 物元 发散规则 可扩展性 |
|
| 点击此处可从《中国药品标准》浏览原始摘要信息 |
| 点击此处可从《中国药品标准》下载免费的PDF全文 |
|