| 面向矛盾问题的动态描述逻辑扩展研究 |
| |
| 引用本文： | 王静,张健沛,杨静,程丽丽. 面向矛盾问题的动态描述逻辑扩展研究[J]. 哈尔滨工程大学学报, 2009, 30(7). DOI: 10.3969/j.issn.1006-7043.2009.07.013 |
| |
| 作者姓名： | 王静 张健沛 杨静 程丽丽 |
| |
| 作者单位： | 哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001;哈尔滨工程大学计算机科学与技术学院,黑龙江,哈尔滨,150001 |
| |
| 基金项目： | 国家自然科学基金资助项目，黑龙江省自然科学基金资助项目 |
| |
| 摘 要： | 为了使动态描述逻辑DDL具有处理简单矛盾问题的能力,引入可拓集合和可拓变换对它进行扩展.文章提出了一种动态描述逻辑DDLESET,给出了DDLESET的语法形式和语义解释;对传统描述逻辑、模糊DDL和DDLESET中的ABox形式进行了比较分析;研究了DDLESET的基本推理问题,对传统描述逻辑的一致性检测算法Tableau算法进行了可拓扩展.描述逻辑DDLESET盯具有对关联度值分别为正负域的模糊断言的表示与推理能力,并可以为关联度值为负域的断言即不可满足的概念或不可实现的动作提供求解策略,从而使其变得可满足、可实现.
|
| 关 键 词： | 动态描述逻辑 可拓集合 可拓变换 矛盾问题 |
Research on a contradiction problem-oriented dynamic description logic extention |
| |
| WANG Jing,ZHANG Jian-pei,YANG Jing,CHENG Li-li. Research on a contradiction problem-oriented dynamic description logic extention[J]. Journal of Harbin Engineering University, 2009, 30(7). DOI: 10.3969/j.issn.1006-7043.2009.07.013 |
| |
| Authors: | WANG Jing ZHANG Jian-pei YANG Jing CHENG Li-li |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
