|
|||||
|
|
| 一种带缺省推理的描述逻辑 | |
| 引用本文： | 董明楷,蒋运承,史忠植.一种带缺省推理的描述逻辑[J].计算机学报,2003,26(6):729-736. |
| 作者姓名： | 董明楷 蒋运承 史忠植 |
| 作者单位： | 中国科学院计算技术研究所,北京,100080 |
| 基金项目： | 国家“八六三”高技术研究发展计划项目 ( 2 0 0 1AA11312 1)资助 |
| 摘 要： | 该文提出了一种新的带缺省推理的描述逻辑，它以描述逻辑为主要框架，对单调逻辑和非单调逻辑进行了整合，但又避免了一般缺省逻辑的困难．基于带缺省推理的描述逻辑，构建了一种同时具有Tbox，Abox和缺省规则的知识库系统，研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题，提出了一种用来检测可满足性和缺省可满足性的Tableau—D算法，并得到了缺省可满足性和缺省包含的转换定理． |
| 关 键 词： | 描述逻辑 缺省推理 知识库系统 知识表示 常识推理 人工智能 |
| 修稿时间： | 2002年4月8日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |