On Independence and SCC-Recursiveness in Assumption-Based Argumentation

Blümel, Lydia; Rapberger, Anna; Thimm, Matthias; Toni, Francesca

doi:10.24963/ijcai.2025/488

On Independence and SCC-Recursiveness in Assumption-Based Argumentation

Lydia Blümel, Anna Rapberger, Matthias Thimm, Francesca Toni

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 4382-4390.

https://doi.org/10.24963/ijcai.2025/488

Keywords

Knowledge Representation and Reasoning: KRR: Argumentation
Knowledge Representation and Reasoning: KRR: Knowledge representation languages
Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning

Abstract

We introduce a notion of conditional independence in (flat) assumption-based argumentation (ABA), where independence between (sets of) assumptions amounts to the presence of information about one set of assumptions not impacting the acceptability of another. We study general properties, computational complexity, and the relation to independence in abstract argumentation. In light of the high computational complexity of deciding independence, we introduce sound methods for checking independence in polynomial time via two different routes: the first utilizes the strongly connected components (SCCs) of the instantiated abstract argumentation framework; the second exploits the structure of the ABA framework directly. Along the way, we introduce the notion of SCC-recursiveness for ABA.

Lydia Blümel, Anna Rapberger, Matthias Thimm, and Francesca Toni. 2025. On Independence and SCC-Recursiveness in Assumption-Based Argumentation. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4382–4390. https://doi.org/10.24963/ijcai.2025/488

@inproceedings{ijcai2025p488,
  title     = {On Independence and SCC-Recursiveness in Assumption-Based Argumentation},
  author    = {Blümel, Lydia and Rapberger, Anna and Thimm, Matthias and Toni, Francesca},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {4382--4390},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/488},
  url       = {https://doi.org/10.24963/ijcai.2025/488},
}

TY  - CPAPER
TI  - On Independence and SCC-Recursiveness in Assumption-Based Argumentation
AU  - Blümel, Lydia
AU  - Rapberger, Anna
AU  - Thimm, Matthias
AU  - Toni, Francesca
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 4382
EP  - 4390
DO  - 10.24963/ijcai.2025/488
UR  - https://doi.org/10.24963/ijcai.2025/488
ER  -