Lattice point of view for argumentation framework

Mohammed Elaroussi (1) , Lhouari Nourine (2, 3) , Mohammed Said Radjef (1)

1 UB - Université Abderrahmane Mira [Université de Béjaïa] = University Abderrahmane Mira [University of Béjaïa]
2 LIMOS - Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
3 UCA - Université Clermont Auvergne

The main purpose of this article is to develop a lattice point of view for the study of argumentation framework extensions. We first characterize self-defending sets of an argumentation framework by the closed sets of an implicational system that can be computed in polynomial time from the argumentation framework. On the other hand, for any implicational system Σ over the set of arguments, we associate an argumentation framework whose admissible sets are in bijection with closed sets of Σ. Second, we propose conflict-closed sets reduction rules, based on implicational system, to find out minimal subsets of vertex cover closed, while maintaining all potential admissible extensions as well as preferred extensions. Finally, based on a partition of the implicational system of an argumentation frameworks, we propose polynomial delay and space algorithm to enumerate admissible sets for a bipartite argumentation framework. This improves the exponential space complexity of previous algorithms.

Mots clés: argumentation framework; admissible extensions; lattice; implicational system

Domaines: Intelligence artificielle [cs.AI]; Mathématique discrète [cs.DM]

Mohammed Elaroussi, Lhouari Nourine, Mohammed Said Radjef. Lattice point of view for argumentation framework. 2021. ⟨hal-03184819⟩