Reasoning over Argument-Incomplete AAFs in the Presence of Correlations

Fazzinga, Bettina; Flesca, Sergio; Furfaro, Filippo

doi:10.24963/ijcai.2021/27

Reasoning over Argument-Incomplete AAFs in the Presence of Correlations

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro

Download BibTeX Cite

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Main Track. Pages 189-195.

https://doi.org/10.24963/ijcai.2021/27

Keywords

Knowledge Representation and Reasoning: Computational Complexity of Reasoning
Agent-based and Multi-agent Systems: Agreement Technologies: Argumentation

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.

Bettina Fazzinga, Sergio Flesca, and Filippo Furfaro. 2021. Reasoning over Argument-Incomplete AAFs in the Presence of Correlations. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. IJCAI, 189–195. https://doi.org/10.24963/ijcai.2021/27

@inproceedings{ijcai2021p27,
  title     = {Reasoning over Argument-Incomplete AAFs in the Presence of Correlations},
  author    = {Fazzinga, Bettina and Flesca, Sergio and Furfaro, Filippo},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on
               Artificial Intelligence, {IJCAI-21}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Prof. Zhi-Hua Zhou},
  pages     = {189--195},
  year      = {2021},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2021/27},
  url       = {https://doi.org/10.24963/ijcai.2021/27},
}

TY  - CPAPER
TI  - Reasoning over Argument-Incomplete AAFs in the Presence of Correlations
AU  - Fazzinga, Bettina
AU  - Flesca, Sergio
AU  - Furfaro, Filippo
T2  - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2021
SP  - 189
EP  - 195
DO  - 10.24963/ijcai.2021/27
UR  - https://doi.org/10.24963/ijcai.2021/27
ER  -