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

A Study on Defeasible Logic Argumentation System

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

Arguing reflect cognitive ability of humans in dealing with conflicting information,viewpoints and opinions.This ability can be referred to as a non-monotonic reasoning ability from a logical perspective.How to build a computable model for this capability has been the subject of intense inquiry in artificial intelligence in the past two decades.However,the logical characteristics of argumentation was neglected in the mainstream argumentation research.In recent years,the study of structured arguments has become an emerging topic by using of logic tools to provide more detailed characterization,but the typical systems still have shortcomings in expressing non-monotonic reasoning.Based on the existing research,this paper attempts to construct a new structured argumentation system DLA by defeasible logic,and provides ideas for the further exploration of structural argumentation.