可废止逻辑结构化论辩系统的研究

摘要：

论辩体现了人们处理冲突的信息、观点、意见等时的一种重要的认知能力,这种能力从逻辑角度可被称为非单调推理能力.如何为这种能力建立可计算的模型是当代人工智能领域中的热点议题,但主流的研究并未重视论证的逻辑特点.近年来,论辩的结构化研究成为新兴议题,借助于逻辑语言为论辩提供更细节化的形式表达,但现有系统在非单调推理刻画方面仍存在不足.在已有研究的基础上,本文尝试从可废止逻辑出发构造一个新的结构化论辩系统DLA,为结构化论辩的进一步探索提供思路.

关键词：非单调推理、结构化论辩、可废止逻辑

所属期刊栏目：11

分类号：B81(逻辑学(论理学))

资助基金：杭州市哲学社会科学规划项目"基于论证结构的论辩系统"2016RCZX17;浙江大学城市学院教师科研基金项目"面向政治辩论的结构化论辩系统"JYB17010;上海市哲学社会科学规划项目"间接言语行为的博弈逻辑研究"2017EZX008

在线出版日期：2019-01-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共16页

页码：21-36