一种基于时态的扩展值辩论框架

A Temporal Extended Value Based Argumentation Framework

时间是用来描述辩论过程以及辩论活动变化的一个重要因素,在辩论框架中加入时间因素是积极的。本文结合Dung的标准辩论框架以及Bench-Capon的基于值的辩论框架,提出了基于时态的扩展值辩论框架。首先分析了Dung的辩论框架以及Bench-Capon的值辩论框架在时态以及辩论值方面描述的局限性及需求,然后结合这些需求提出了基于时态的扩展值辩论框架,给出了完整的框架结构和语义描述,证明了基于时态的扩展值辩论框架满足Dung提出的标准辩论框架的一些基本定理。

Time is an important element of describing the process of argument and the changes of argument activities, and it is active to introduce time into argumentation framework. This paper proposes a temporal extended value based argu- mentation framework （TEVAF） based on Dung＇s standard argumentation framework （AF） and Bench-Capon＇s value based argumentation framework （VAF）. First, we analyze their limitations in describing temporal and values which are related to arguments. Then, according to the requirements, TEVAF is proposed. We present a complete description of the structure of framework,and the semantics of the framework, and give the fundamental Lemma and some basic results shown by Dung＇ argumentation framework,which also hold for TEVAF.