非单调推理与论辩系统 |
| |
引用本文: | 谢凯博,廖备水.非单调推理与论辩系统[J].重庆工商大学学报(自然科学版),2013(9):36-41. |
| |
作者姓名: | 谢凯博 廖备水 |
| |
作者单位: | 浙江大学哲学系 |
| |
基金项目: | 国家社科基金重大项目(11&ZD88)资助 |
| |
摘 要: | 由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。
|
关 键 词: | 非单调推理 论辩系统 论辩框架 |
本文献已被 CNKI 等数据库收录! |
|