Dealing with controversial information is a challenging and important task for intelligent systems. Formal argumentation enables reasoning on arguments for and against a claim to decide on an outcome. An argumentation framework often models a dynamic situation where arguments as well as the way they interact frequently change over the time. As a consequence, the sets of accepted arguments (i.e., extensions under a given semantics) often need to be computed again after performing an update. In this paper, we address the problem of efficiently recomputing extensions of dynamic argumentation frameworks. We present an incremental algorithmic solution whose main idea is that of using an initial extension and the update to identify a (potentially small) portion of the argumentation framework which is sufficient to compute an extension of the whole updated framework.

Incremental Computation in Dynamic Argumentation Frameworks

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

Abstract

Dealing with controversial information is a challenging and important task for intelligent systems. Formal argumentation enables reasoning on arguments for and against a claim to decide on an outcome. An argumentation framework often models a dynamic situation where arguments as well as the way they interact frequently change over the time. As a consequence, the sets of accepted arguments (i.e., extensions under a given semantics) often need to be computed again after performing an update. In this paper, we address the problem of efficiently recomputing extensions of dynamic argumentation frameworks. We present an incremental algorithmic solution whose main idea is that of using an initial extension and the update to identify a (potentially small) portion of the argumentation framework which is sufficient to compute an extension of the whole updated framework.
Intelligent systems
Formal argumentation
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/326956
 Attenzione

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

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