子句型自相容缺省理论的扩张-计算机研究与发展2000年02期-手机知网

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

西南师范大学电子与信息工程系!重庆400715,贵州科学院!贵阳550001 ; | 董明楷张明义

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

机　构:

西南师范大学电子与信息工程系!重庆400715,贵州科学院!贵阳550001;

领　域:

计算机软件及计算机应用；

关键词:

缺省逻辑；子句型缺省理论；扩张；自相容；

格　式:

PDF原版；EPUB自适应版(需下载客户端)