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

THE EXTENSION OF CLAUSAL AUTO\|COMPATIBLE DEFAULT THEORY

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

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.