子句型自相容缺省理论的扩张  

THE EXTENSION OF CLAUSAL AUTO\|COMPATIBLE DEFAULT THEORY

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

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

出　　处：《计算机研究与发展》2000年第2期182-187,共6页Journal of Computer Research and Development

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

摘　　要：自相容缺省理论是一种颇具优良性质的特殊缺省理论，从子句着手是一般逻辑推理常用的方法．文中在Ｒｅｉｔｅｒ缺省理论和张明义的自相容缺省理论的研究基础上，进一步研究了子句型闭自相容缺省理论．文中首先给出了自相容缺省理论的扩张个数的单调性定理，然后将Ｒｅｉｔｅｒ 关于正规缺省理论的证明论推广到自相容缺省理论，得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念修改的相关定理．Auto\|compatible default theory is a special kind of default theory with many fine features. It is usually a good way to study logic by using clause. On the basis of Reiter's default theory and Zhang Mingyi's auto\|compatible default theory, a research into the characters of clausal auto\|compatible default theory was carried out in this paper. First, the theorem of monotonicity with the number of extension is performed. Second, the proof theory of normal default theory is extended to auto\|compatible default theory. Finally several theorems related to default proof, top\|to\|down default proof and belief modification are gained.

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程] O22[自动化与计算机技术—控制科学与工程]