论证的基于标记的论据状态(英文)

本文针对抽象论证体系中的论据状态给出了一种基于标记的定义方法。与基于扩张的传统方法相比,此定义能够更加细致准确地描述论据状态。同时,本文对论据状态的等级进行了定义和区分,并把该等级作为接受或驳斥论据的依据。由于该方法基于标准论证体系定义,在实现上使用了已有的基于论证的证明方法,因此,该定义与以往的抽象论证体系是完全兼容的。

A Labelling-Based Justification Status of Arguments

In this paper,we define a labelling-based justification status of the arguments in an argumentation framework.Our proposal allows for a more fine-grained notion of a justification status than the traditional extensions-based approaches.In particular,we are able to distinguish different levels at which an argument can be accepted or rejected.Our approach is fully compatible with traditional argumentation in the sense that it works on standard argumentation frameworks and can be implemented using existing argumentation-based proof procedures.