在一类缺省理论中关于证明理论的完备性问题  

COMPLETENESS OF PROOF THEORY FOR A TYPE OF DEFAULT THEORY

作　　者：吴茂康[1] 缪淮扣[1] 

机构地区：[1]上海科学技术大学计算机系,上海201800

出　　处：《计算机学报》1993年第11期837-843,共7页Chinese Journal of Computers

摘　　要：缺省推理是各种非单调推理系统中最有影响的系统之一,R.Reiter对规范缺省理论作了一系列的研究,他还提出了证明理论,并证明了这一证明理论对于规范缺省理论来说是完备的。W·Etherington则提出了应用范围更为广泛的有序半规范缺省理论,本文先证明了这类缺省理论具有半单调性等各种性质,然后证明了R.Reiter的证明理论对于有序半规范缺省理论也是完备的。Default reasoning is one of the most significant reasoning sys-tem.R.Reiter proposed a proof theory and proved its completeness for normal default theory.W.Etherington developed another type of default theory,which is much more useful than the former.This paper proves that Reiter's proof theory is still complete for ordered seminormal default theory.

关 键 词：缺省理论 证明理论 完备性 

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