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

摘要：

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

关键词：缺省逻辑、子句型缺省理论、扩张、自相容

所属期刊栏目：37

分类号：TP181(自动化基础理论)

资助基金：新材料领域项目863-306-05-05-5A;中国科学院资助项目19861002

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：182-187