In this paper we introduce AASExts, an algorithm for computing admissible argumentation stage extensions—a.k.a. semi–stable extensions. Admissible argumentation stage extensions play a decisive role in unifying two lines of research in formal argumentation: admissible-based extensions as suggested by Dung in his seminar paper; and the traditional approach based on dialectical evaluation of the defeat status of arguments. In this paper, we improve techniques developed for other semantics, notably preferred semantics, as well as leverage—for the first time—recent advances in All-SAT community. We prove our proposed algorithm is sound and complete, and we show empirically that our implementation significantly outperforms even sophisticated ASP-based and SAT-based reduction approaches on existing benchmarks.

An efficient algorithm for admissible argumentation stages

Zanetti T.;Giacomin M.;Vallati M.;Cerutti F.
2020-01-01

Abstract

In this paper we introduce AASExts, an algorithm for computing admissible argumentation stage extensions—a.k.a. semi–stable extensions. Admissible argumentation stage extensions play a decisive role in unifying two lines of research in formal argumentation: admissible-based extensions as suggested by Dung in his seminar paper; and the traditional approach based on dialectical evaluation of the defeat status of arguments. In this paper, we improve techniques developed for other semantics, notably preferred semantics, as well as leverage—for the first time—recent advances in All-SAT community. We prove our proposed algorithm is sound and complete, and we show empirically that our implementation significantly outperforms even sophisticated ASP-based and SAT-based reduction approaches on existing benchmarks.
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/11379/538397
 Attenzione

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

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