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

A Study on Defeasible Logic Argumentation System

作　　者：应腾 黄华新[2,3] Teng Ying;Huaxin Huang(Law School, Zhejiang University City College;Department of Philosophy, Zhejiang University;Center for the Study of Language and Cognition, Zhejiang University)

机构地区：[1]浙江大学城市学院法学院 [2]浙江大学哲学系 [3]浙江大学语言与认知研究中心

出　　处：《逻辑学研究》2018年第4期21-36,共16页Studies in Logic

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

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

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

分 类 号：B81[哲学宗教—逻辑学]