Reasoning over Argument-Incomplete AAFs in the Presence of Correlations

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro

IJCAI 2021 pp. 189-195

doi:10.24963/IJCAI.2021/27 /ijcai/2021/fazzinga2021ijcai-reasoning/

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 PDVER of verifying extensions, and show how they depend on the forms of dependencies and, for PDVER, also on the semantics of the extensions.

PDF IJCAI Semantic Scholar

Cite

Text

Fazzinga et al. "Reasoning over Argument-Incomplete AAFs in the Presence of Correlations." International Joint Conference on Artificial Intelligence, 2021. doi:10.24963/IJCAI.2021/27

Markdown

[Fazzinga et al. "Reasoning over Argument-Incomplete AAFs in the Presence of Correlations." International Joint Conference on Artificial Intelligence, 2021.](https://mlanthology.org/ijcai/2021/fazzinga2021ijcai-reasoning/) doi:10.24963/IJCAI.2021/27

BibTeX

@inproceedings{fazzinga2021ijcai-reasoning,
  title     = {{Reasoning over Argument-Incomplete AAFs in the Presence of Correlations}},
  author    = {Fazzinga, Bettina and Flesca, Sergio and Furfaro, Filippo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2021},
  pages     = {189-195},
  doi       = {10.24963/IJCAI.2021/27},
  url       = {https://mlanthology.org/ijcai/2021/fazzinga2021ijcai-reasoning/}
}