文献类型：期刊文章

作　　者：董明楷[1] 张明义[2]

机构地区：[1]西南师范大学电子与信息工程系,重庆400715 [2]贵州科学院,贵阳550001

出　　处：《计算机研究与发展》

基　　金：国家"八六三"计划基金项目!(项目编号863-306-05-05-5A);国家自然科学基金项目!(项目编号19861002)

年　　份：2000

卷　　号：37

期　　号：2

起止页码：182-187

语　　种：中文

收录情况：AJ、BDHX、BDHX1996、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：自相容缺省理论是一种颇具优良性质的特殊缺省理论，从子句着手是一般逻辑推理常用的方法．文中在Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省理论的研究基础上，进一步研究了子句型闭自相容缺省理论．文中首先给出了自相容缺省理论的扩张个数的单调性定理，然后将Ｒｅｉｔｅｒ 关于正规缺省理论的证明论推广到自相容缺省理论，得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念修改的相关定理．

关 键 词：缺省逻辑 子句型缺省理论  自相容  NP问题

分 类 号：TP18] O22]