Dung’s Abstract Argumentation Framework (AAF) has emerged as a central formalism in AI for modeling disputes among agents. In this paper, we introduce an extension of Dung’s framework, called Epistemic Abstract Argumentation Framework (EAAF), which en- hances AAF by allowing the representation of some pieces of epis- temic knowledge. In particular, we generalize the concept of attack in AAF, introducing strong and weak epistemic attacks in EAAF, whose intuitive meaning is that an attacked argument is epistemi- cally accepted only if the attacking argument is possibly or certainly rejected, respectively. We provide an intuitive semantics for EAAF that naturally extends that for AAF, and give an algorithm that en- ables the computation of epistemic extensions by using AAF-solvers. Finally, we analyze the complexity of the following argumentation problems: verification, i.e. checking whether a set of arguments is an epistemic extension; existence, i.e. checking whether there is at least one (non-empty) epistemic extension; and acceptance, i.e. checking whether an argument is epistemically accepted, under well-known argumentation semantics (i.e. grounded, complete, and preferred).

Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity

Gianvincenzo Alfano;Sergio Greco;Francesco Parisi;Irina Trubitsyna
2023-01-01

Abstract

Dung’s Abstract Argumentation Framework (AAF) has emerged as a central formalism in AI for modeling disputes among agents. In this paper, we introduce an extension of Dung’s framework, called Epistemic Abstract Argumentation Framework (EAAF), which en- hances AAF by allowing the representation of some pieces of epis- temic knowledge. In particular, we generalize the concept of attack in AAF, introducing strong and weak epistemic attacks in EAAF, whose intuitive meaning is that an attacked argument is epistemi- cally accepted only if the attacking argument is possibly or certainly rejected, respectively. We provide an intuitive semantics for EAAF that naturally extends that for AAF, and give an algorithm that en- ables the computation of epistemic extensions by using AAF-solvers. Finally, we analyze the complexity of the following argumentation problems: verification, i.e. checking whether a set of arguments is an epistemic extension; existence, i.e. checking whether there is at least one (non-empty) epistemic extension; and acceptance, i.e. checking whether an argument is epistemically accepted, under well-known argumentation semantics (i.e. grounded, complete, and preferred).
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/343729
 Attenzione

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

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