作　　者： ; ; ;

机构地区： 中国科学院计算技术研究所

出　　处： 《计算机学报》 2003年第6期729-736,共8页

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

关 键 词： 描述逻辑 缺省推理 知识库系统 知识表示 常识推理 人工智能

领　　域： [自动化与计算机技术] [自动化与计算机技术]