论文部分内容阅读
为不同的逻辑规则提供相应的语义特征(即建立表示定理)是非单调逻辑研究中的重要内容之一。K.Britz，J.Heidema和W.Labuschagnez在经典的占优推理系统基础上引入了对偶占优推理的概念。本文给出了一种构造占优模型的方法，并利用该方法建立了对偶占优推理系统的表示定理。
对偶占优推理系统的表示定理的证明
【摘 要】
：
为不同的逻辑规则提供相应的语义特征(即建立表示定理)是非单调逻辑研究中的重要内容之一。K.Britz，J.Heidema和W.Labuschagnez在经典的占优推理系统基础上引入了对偶占优
【机 构】
：
南京航空航天大学信息科学与技术学院，南京 210016
【出 处】
：
第十六届全国青年通信学术会议
【发表日期】
：
2011年期
其他文献
1996年1月1日至10月30日,本站对6000名准备办理结婚登记的男女青年进行HBsAg携带情况调查,报告如下:1 材料和方法取被检者静脉血离心取血清,诊断血球由上海荣盛生物试剂厂生
随着Web应用系统的快速发展，作为保证其正确性和可靠性的重要手段，Web应用软件测试受到了人们越来越多的重视。本文从Web应用系统体系结构出发，分析了Web应用系统测试的主要
本文介绍了采用脉宽调制(PWM)技术来实现光模块中消光比调整及温度补偿的方法，并提供了设计方法和测试数据，用以说明这种方法可以使用低成本的微控制单元(MCU)来实现光模块
在东亚各国和地区之间的贸易合作已经达到相当规模和深度的今天,投资合作将成为东亚经济发展新的引擎,并为这个地区的经济注入新活力。2004年在老挝首都万象召开的“10+3”领
健美操是一种深受广大人民喜爱的健身运动,具有锻炼身体的作用,同时也是也是一种竞技运动.健美操在上个世纪九十年代初就在我国各地开展,并逐渐推广到学校体育教学中.随着现
中国经济建设与文化建设水平的与日俱增使得中国在世界范围内的影响力不断增强,我国体育事业同样取得了巨大成就,中国正在实现从体育大国到体育强国的蜕变.在社会主义建设的
应用状态观测器设计了故障诊断算法，该方法不但能确定故障产生的位置，还能获得故障执行器的受损程度信息，即在线计算故障元件的失效因子。数值仿真结果验证了本文提供的故障
校园足球的发展指的是足球运动与校园环境的融合,校园足球不断走向成熟,学生对足球运动的理解和认知全面提升.为了进一步放大校园足球的核心优势,文章尝试从高中校园足球课的