手机知网 App
24小时专家级知识服务
打 开
计算机软件及计算机应用
子句型自相容缺省理论的扩张
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑推理常用的方法.文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型闭自相容缺省理论.文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reiter 关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念修改的相关定理.
0 38
手机阅读本文
下载APP 手机查看本文
计算机研究与发展
2000年02期

搜 索