一种带缺省推理的描述逻辑

被引：22

作者：

董明楷

蒋运承

史忠植

机构：

[1] 中国科学院计算技术研究所,中国科学院计算技术研究所,中国科学院计算技术研究所北京,北京,北京

来源：

计算机学报 | 2003年 / 06期

关键词：

描述逻辑; 缺省逻辑; 缺省可满足性; 缺省包含;

D O I：

暂无

中图分类号：

TP181 [自动推理、机器学习];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

该文提出了一种新的带缺省推理的描述逻辑 ,它以描述逻辑为主要框架 ,对单调逻辑和非单调逻辑进行了整合 ,但又避免了一般缺省逻辑的困难 .基于带缺省推理的描述逻辑 ,构建了一种同时具有Tbox ,Abox和缺省规则的知识库系统 ,研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题 ,提出了一种用来检测可满足性和缺省可满足性的Tableau D算法 ,并得到了缺省可满足性和缺省包含的转换定理

引用

页码：729 / 736

页数：8