结构化论辩系统——限制性反驳和非限制性反驳（英文）

发布时间：2023-02-01 13:41

　　近年来,形式论辩研究在人工智能领域受到越来越多的关注。形式论辩研究的目标之一是沟通人类推理和机器推理,为实现这一目的,近年来多个结构化论辩系统被提出,如ABA、ASPIC⁺、ASPIC^-等。不同的研究在系统设定上有不同的选择,本文关注的是对论证间反驳关系定义的两种不同选择:限制性反驳和非限制性反驳。为了验证哪种选择更符合人类推理直觉,本文给出了一个实证研究,研究结果显示非限制性反驳更符合人类直觉。由于非限制性反驳可能导致论辩系统推理结果违反理性公设,这一结论说明目前的结构化论辩形式体系在自然性和合理性的兼顾上还需改进。 

【文章页数】：15 页

【文章目录】：
1 Introduction
2 Formal Argumentation Systems:Restricted Rebut vs.Unrestricted Rebut
    2.1 ASPIC+and ASPIC-
    2.2 Abstact argumenation:eveluating the status of arguments
    2.3 Properties of structured argumenation systems
3 Empirical Study
4 Conclusions


【参考文献】：
期刊论文
[1]结构化论辩系统分析[J]. 黄华新,应腾,廖备水.  自然辩证法研究. 2015(09)
[2]不一致问题与论辩逻辑[J]. 廖备水,黄华新.  学术月刊. 2013(06)
[3]论证,论辩,争论——当代论证理论视域中论证概念的双重维度解读[J]. 谢耘.  自然辩证法研究. 2007(04)
[4]自然语言论证评价的逻辑分析[J]. 熊明辉.  哲学研究. 2006(10)
[5]辩论的逻辑分析[J]. 晋荣东.  华东师范大学学报(哲学社会科学版). 2000(06)



本文编号：3734213