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