非单调推理与论辩系统
Non-monotonic Reasoning and Argumentation System作者机构：浙江大学哲学系杭州310028
出 版 物：《重庆理工大学学报（社会科学）》 (Journal of Chongqing University of Technology（Social Science）)
年 卷 期：2013年第27卷第9期
页 面：36-41页
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学]
摘 要：由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。
维普期刊数据库
同方期刊数据库