A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation - Archive ouverte HAL
Communication Dans Un Congrès Année : 2023

A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation

Résumé

We study the notion of realization of extensions in abstract argumentation. It consists in reversing the usual reasoning process: instead of computing the extensions of an argumentation framework, we want to determine whether a given set of extensions corresponds to some (set of) argumentation framework(s) (AFs); and more importantly we want to identify such an AF (or set of AFs) that realizes the set of extensions. While deep theoretical studies have been concerned with realizability of extensions sets, there are few computational approaches for solving this problem. In this paper, we generalize the concept of realizability by introducing two parameters: the number k of auxiliary arguments (i.e. those that do not appear in any extension), and the number m of AFs in the result. We define a translation of k-m-realizability into Quantified Boolean Formulas (QBFs) solving. We also show that our method allows to guarantee that the result of the realization is as close as possible to some input AF. Our method can be applied in the context of AF revision operators, where revised extensions must be mapped to a set of AFs while ensuring some notion of proximity with the initial AF.
Fichier principal
Vignette du fichier
CLAR_2023.pdf (351.32 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04213461 , version 1 (21-09-2023)

Identifiants

Citer

Jean-Guy Mailly. A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation. International Conference on Logic and Argumentation (CLAR 2023), Sep 2023, Hangzhou (Chine), China. pp.84-100, ⟨10.1007/978-3-031-40875-5_6⟩. ⟨hal-04213461⟩
189 Consultations
60 Téléchargements

Altmetric

Partager

More