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

摘要：

描述逻辑是知识表示和推理的形式化工具,它提供了可判定的推理服务.本文提出了一种新的带缺省推理的描述逻辑,它以描述逻辑为主要框架,对单调逻辑和非单调逻辑进行了整合,但又避免了一般缺省逻辑的困难.基于带缺省推理的描述逻辑,构建了一种同时具有Tbox、Abox和缺省规则的知识库系统,研究了带缺省推理的描述逻辑的可满足性、缺省可满足性、概念包含、缺省包含以及实例检测等推理问题,提出了一种用来检测可满足性和缺省可满足性的新算法--Tableau-D算法,给出了缺省可满足性和缺省包含的转换定理,以及一种能提供多层次推理服务的五值推理系统.

关键词： 描述逻辑 缺省逻辑 缺省可满足性 缺省包含

作者: 董明楷 蒋运承 史忠植

作者单位: 中国科学院计算技术研究所,北京,100080

会议类型: 国内会议

会议名称: 中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

会议地点: 四川广元

会议语种:中文

页码: 21-30

在线出版日期: 2002-07-13（万方平台首次上网日期，不代表论文的发表时间）