Some Contributions to Nonmonotonic Consequence

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:scxs866
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper introduces a non-H rule WRM which is a weak form of rational monotony. We explore the effects of adding this non-H rule to the rules for the preferential inference. In this paper, a relation |~ is said to be P + WRM iff it is a preferential inference and satisfies the rule WRM. We establish the representation theorem for P+WRM, and compare the strength of WRM with some non-H rules appearing in literatures. Moreover, we explore the relation between P+WRM and conditional logic, and demonstrate that P+WRM is equivalent to ‘flat’ fragment of conditional logic CS4.2. Another contribution of this paper is to explore the relation between two special kinds of preferential models, i.e., PRC model and quasi-linear model. Main result reveals that the latter is a special form of the former.
其他文献
在高中数学的学习经历中,平面向量属于一项相对抽象的数学内容,并且其中蕴含着几何二重性的概念。在高中数学的学习中,利用平面向量与其他知识相互结合,能够促进学生顺利地对
期刊
最近日本东北大学(原)材料研究所的研究人员证实Nb-Mo-Ga系合金具有新的形状记忆效应。经热处理的该系合金(厚约5μm)U型试样用40W灯加热,在数秒内即展平,当撤去灯后又恢复为U型,从
本文通过对荣华二采区10
期刊
本文通过对荣华二采区10
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
期刊
为生产出优质高产的生态稻米和鸭肉产品,提高耕地效益,增强稻田综合生产能力,于2007~2011年进行稻鸭共育控害技术试验,研究稻鸭共育模式对稻田虫害和杂草的控制效果.结果 表明
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
针对一般圆弧插补算法收敛性和稳定性差,逼近效果不理想的问题,提出基于RB F神经网络的圆弧轨迹规划方式。论文从运动学角度出发,分析求解工业四轴机器人运动学正逆问题,建立其D