非单调推理与论辩系统

来源 :2013年全国应用逻辑学术年会 | 被引量 : 0次 | 上传用户:ping996115122xing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题.这些系统被称为非单调逻辑.它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论.为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系.
其他文献
团场是兵团的主体,是兵团社会经济的基石,团场党组织发挥着承上启下联系群众、宣传群众、组织群众、团结群众的领导核心作用。增强团场党组织领导核心作用,是实现兵团党委建设屯
观察益气摄血法治疗消化性溃疡合并出血的临床疗效.应用益气摄血法治疗消化性溃疡合并出血108例与西药泰胃美0.8加入5%葡萄糖氯化钠注射液500ml静脉点滴治疗的98例比较.判断
"四个尊重"是"两个尊重"的继承发展,它体现了丰富的时代精神."四个尊重"的核心是尊重劳动,"四个尊重"的基础是尊重知识,"四个尊重"的本质是尊重人才,尊重创造.
某航波音737-700型飞机机组曾反应当右组件置于全冷位时,客舱温度依旧较高。地面排查发现管道温度高;自动模式下,右混合活门不能到全冷;人工方式正常,右混合活门可到全冷位。
针对混凝土的裂缝问题,从塑性裂缝、表面温差裂缝等方面进行了分类分析,并结合商品混凝土施工中存在的一些问题,提出了预防和减少商品混凝土裂缝的措施.
三晋大地物华天宝,表里山河,是华夏文明重要的发祥地之一。数千年来,在这块古老而厚重的土地上,山西人民创造出了绵延不绝、别具一格的灿烂文化,为后人留下了约百万册的古籍文献,其
报纸
<正>①2008年,兵团政委聂卫国在兵团干部教育培训暨党校工作会议上讲话②2011年,自治区党委副书记,兵团党委书记、政委车俊在研讨班上讲话③2011年,政委车俊看望兵团党委党校
期刊
随着市场经济体制的深化与完善,党员在不同行业、地域间的流动性加大,党员成分、生活环境及思想意识形态趋向多元化、复杂化。在这样的情况下,我们必须从创新党员发展机制、退出
军事物流中心的选址是一个战略问题,在整个军事后勤保障流程中起着连接上游后勤指挥中心、后勤物资生产厂家和下游的各个需求单位的作用。因此,军事物流中心的地位非常重要,