Argumentation has emerged as one of the major fields in Artificial Intelligence. In particular, Dung's abstract argumentation framework (AF) has received much attention in the last two decades, and many computational issues have been investigated for different argumentation semantics. Specifically, enumerating the sets of arguments (i.e., extensions) prescribed by an argumentation semantics is arguably one of the most challenging problems for AFs, and this is particularly the case for the well-known preferred semantics. In this paper, we propose an algorithm for efficiently computing the set of preferred extensions of a given AF. Our technique relies on first computing the ideal extension for the given AF, and then using it to prune some arguments so that a smaller AF is obtained. Finally, we use state-of-the-art solvers for enumerating the preferred extensions of the pruned AF, and then return the extensions of the input AF after obtaining them from those of the pruned AF. We experimentally compared our technique with the solver that won the track on enumerating preferred extensions of the last International Competition on Computational Models of Argumentation, and found that our approach is orders of magnitude faster than the computation from scratch.

On scaling the enumeration of the preferred extensions of abstract argumentation frameworks

Alfano G.;Greco S.;Parisi F.
2019

Abstract

Argumentation has emerged as one of the major fields in Artificial Intelligence. In particular, Dung's abstract argumentation framework (AF) has received much attention in the last two decades, and many computational issues have been investigated for different argumentation semantics. Specifically, enumerating the sets of arguments (i.e., extensions) prescribed by an argumentation semantics is arguably one of the most challenging problems for AFs, and this is particularly the case for the well-known preferred semantics. In this paper, we propose an algorithm for efficiently computing the set of preferred extensions of a given AF. Our technique relies on first computing the ideal extension for the given AF, and then using it to prune some arguments so that a smaller AF is obtained. Finally, we use state-of-the-art solvers for enumerating the preferred extensions of the pruned AF, and then return the extensions of the input AF after obtaining them from those of the pruned AF. We experimentally compared our technique with the solver that won the track on enumerating preferred extensions of the last International Competition on Computational Models of Argumentation, and found that our approach is orders of magnitude faster than the computation from scratch.
9781450359337
Abstract Argumentation; Enumeration of Preferred Extensions; Preferred Semantics
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/298852
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact