Though there has been an extensive body of work on efficiently solving computational problems for static Dung’s argumentation frameworks (AFs), little work has been done for handling dynamic AFs and in particular for deciding the skeptical acceptance of a given argument. In this paper we discuss SPA [6], an efficient algorithm for computing the skeptical preferred acceptance of an argument (goal) in dynamic AFs. SPA relies on two main ideas: i) computing a small portion of the input AF, called “context-based” AF, which is sufficient to determine the status of the goal in the updated AF, and ii) incrementally computing the ideal extension to further restrict the context-based AF. We discuss experiments showing that SPA significantly outperforms the computation from scratch, and that the overhead of incrementally maintaining the ideal extension pays off.

Is your argument still skeptically accepted?

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

Abstract

Though there has been an extensive body of work on efficiently solving computational problems for static Dung’s argumentation frameworks (AFs), little work has been done for handling dynamic AFs and in particular for deciding the skeptical acceptance of a given argument. In this paper we discuss SPA [6], an efficient algorithm for computing the skeptical preferred acceptance of an argument (goal) in dynamic AFs. SPA relies on two main ideas: i) computing a small portion of the input AF, called “context-based” AF, which is sufficient to determine the status of the goal in the updated AF, and ii) incrementally computing the ideal extension to further restrict the context-based AF. We discuss experiments showing that SPA significantly outperforms the computation from scratch, and that the overhead of incrementally maintaining the ideal extension pays off.
Argumentation; Preferred semantics; Skeptical acceptance
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: http://hdl.handle.net/20.500.11770/298856
 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