We introduce argument-incomplete Abstract Argumentation Frameworks with dependencies, that extend the traditional abstract argumentation reasoning to the case where some arguments are uncertain and correlated through logical dependencies (such as mutual exclusion, implication, etc.). We characterize the complexities of the problems DSAT of deciding the satisfiability of the dependencies and PDVERs(S) of verifying extensions under the possible perspective. We show how they depend on the forms of dependencies and, for PDVERs(S), also on the semantics of the extensions.

Reasoning over Argument-Incomplete AAFs in the Presence of Correlations

Fazzinga B.;Flesca S.;Furfaro F.
2021-01-01

Abstract

We introduce argument-incomplete Abstract Argumentation Frameworks with dependencies, that extend the traditional abstract argumentation reasoning to the case where some arguments are uncertain and correlated through logical dependencies (such as mutual exclusion, implication, etc.). We characterize the complexities of the problems DSAT of deciding the satisfiability of the dependencies and PDVERs(S) of verifying extensions under the possible perspective. We show how they depend on the forms of dependencies and, for PDVERs(S), also on the semantics of the extensions.
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/330803
 Attenzione

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

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