子句型缺省理论相关论文
该文在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型缺省理论的特性,特别是研究了子句型中的闭自相容缺省理论......
1 引言缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规......
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑揄常用的方法,文中Reiter缺省理论和张明义的自相容缺省的理论的研......