| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一种带缺省推理的描述逻辑 |
| 作者 | 董明楷 蒋运承 史忠植 |
| 作者单位 | (中国科学院计算技术研究所 北京 100080) |
| 发表年份 | 2003 |
| 发表月份 | 6期(729-736) |
| 文章摘要 | 摘要 该文提出了一种新的带缺省推理的描述逻辑，它以描述逻辑为主要框架，对单调逻辑和非单调逻辑进行了整合，但又避免了一般缺省逻辑的困难.基于带缺省推理的描述逻辑，构建了一种同时具有Tbox，Abox和缺省规则的知识库系统，研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题，提出了一种用来检测可满足性和缺省可满足性的Tableau-D算法，并得到了缺省可满足性和缺省包含的转换定理. 关键词 描述逻辑；缺省逻辑；缺省可满足性；缺省包含 中图法分类号 TP18 |