动态抽象论辩系统基语义的单调性及其判定规则

The Monotony of Grounded Semantics of Abstract Argumentation and Its Determination Rules

论辩系统是一种含层次结构的非单调形式体系。当底层的知识或信息发生变化时,上层的论辩框架及其语义也随之演化,这就是论辩系统的动态性。如何阐明及高效处理这种动态性是论辩理论研究领域的一个开放性问题。本文以一种简单的论辩语义(基语义)为起点,研究论辩系统动态性的一个重要方面:论辩语义的单调性问题。文章给出了基语义单调性的定义,实现基语义单调性的条件,以及判定基语义单调性的规则。

Argumentation system is a hierarchically structured non-monotonic formalism.When underlying knowledge or information changes,the corresponding argumentation framework and its semantics change accordingly.This process is called dynamics of argumentation systems.How to formulate and efficiently handle dynamics of argumentation is an open problem in the field of argumentation.Under a simple argumentation semantics(grounded semantics),this paper studies one important aspect of dynamics of argumentation:the monotony of argumentation semantics.After formally defining the monotony of grounded semantics,this paper first formulates conditions under which the property of monotony holds,and then present some rules that can be used to determine whether the property of monotony holds in different situations.