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

摘要

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