On structural analysis of extension-based argumentation semantics

Yuming Xu (1) , Lidong Xu (1) , Claudette Cayrol (2)

1 Shandong University
2 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

Dung’s abstract argumentation provides us with a general framework to deal with argumentation. For extension-based semantics, the central issue is how to determine the extensions wrt. various semantics. Motivated by the acceptability and reinstatement criterion, we propose the notions of J-acceptability and J-reinstatement. Correspondingly, we introduce the J-complete semantics which fills the gap between complete semantics and preferred semantics. It is shown that acceptability together with J-acceptability forms the foundation of extension-based semantics. For example, any admissible set can be built starting from a conflict-free collection of initial sets by iteratively applying some functions based on acceptability and J-acceptability. In fact, this novel idea has a powerful ability in picturing the structure of various extensions and can be expected to play an important role in the study of various extension-based semantics.

Domaines: Intelligence artificielle [cs.AI]

Yuming Xu, Lidong Xu, Claudette Cayrol. On structural analysis of extension-based argumentation semantics. International Workshop on Theory and Applications of Formal Argument (TAFA 2017 @ IJCAI 2017 workshop), Aug 2017, Melbourne, Australia. ⟨hal-03131890⟩