Algorithms and Tools for Abstract Argumentation
Résumé
Computing acceptability semantics of abstract argumentation frameworks is receiving increasing attention. Focused on finding algorithms and tools to make the abstract argumentation domain progress, this paper presents the objective of my PhD. So far, a distributed and clustering based algorithm, AFDivider, has been proposed. Designed for Dung’s argumentation framework, it enumerates the acceptable sets of the main semantics proposed by Dung. Empirical results are presented. Possibility of extensions to other more expressive argumentation frameworks are planned.