您的位置： 专家智库 > >

谢凯博

作品数：2 被引量：1H指数：1
供职机构：浙江大学人文学院哲学系更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇哲学宗教

主题

  • 2篇论辩
  • 2篇非单调推理
  • 1篇非单调逻辑

机构

  • 2篇浙江大学

作者

  • 2篇廖备水
  • 2篇谢凯博

传媒

  • 1篇重庆理工大学...
  • 1篇2013年全...

年份

  • 2篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
非单调推理与论辩系统被引量：1
2013年
由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。
谢凯博廖备水
关键词：非单调推理
非单调推理与论辩系统
由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题.这些系统被称为非单调逻辑.它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始...
谢凯博廖备水
关键词：非单调逻辑
文献传递
全选 清除 导出
共1页<1>
聚类工具0