Characterization of Semantics for Argument Systems

We consider Dung’s argumentation framework, in which an argument system consists of a set of arguments and a binary relation between arguments representing the notion of a conflict. The semantics given by Dung define (with respect to each argument system) acceptable sets of arguments called extensions. For his so-called stable semantics, Dung also gives an alternative definition in terms of an equation that a set satisfies if and only if that set is a stable extension. However, neither the original definition nor the equation reflect the fact that the stable semantics (similarly to all of Dung’s semantics) rely upon the notion of an admissible set. Moreover, none of Dung’s other semantics have been characterized by such an equation. Our first goal is to provide such characterizations for the other semantics: We capture Dung’s semantics by means of equations that a set satisfies if and only if it is an extension under the semantics at hand. Not only do we give such equa...

• Type: Conference
• Year: 2004
• Where: KR
• Authors: Philippe Besnard, Sylvie Doutre
• Keywords: Artificial Intelligence, Dung’s Semantics, KR 2004, Semantics, Stable Semantics