Initial Models and Serialisability in Abstract Dialectical Frameworks

Bengel, Lars; Thimm, Matthias

doi:10.24963/ijcai.2025/486

Initial Models and Serialisability in Abstract Dialectical Frameworks

Download BibTeX Cite

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

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

Keywords

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

Abstract

We introduce initial models for abstract dialectical frameworks (ADFs) as a notion of minimal justifiable valuations and based on that, generalise the concept of serialisability of argumentation semantics to ADFs. In particular, we show that the characteristic operator-based semantics for ADFs can be characterised through serialisation sequences, which are, essentially, decompositions of a model into a series of initial models, representing a more fine-grained view into why a model is acceptable wrt. the semantics. We also analyse the computational complexity of tasks related to initial models.

Lars Bengel, and Matthias Thimm. 2025. Initial Models and Serialisability in Abstract Dialectical Frameworks. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 4365–4373. https://doi.org/10.24963/ijcai.2025/486

@inproceedings{ijcai2025p486,
  title     = {Initial Models and Serialisability in Abstract Dialectical Frameworks},
  author    = {Bengel, Lars and Thimm, Matthias},
  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     = {4365--4373},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/486},
  url       = {https://doi.org/10.24963/ijcai.2025/486},
}

TY  - CPAPER
TI  - Initial Models and Serialisability in Abstract Dialectical Frameworks
AU  - Bengel, Lars
AU  - Thimm, Matthias
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  - 4365
EP  - 4373
DO  - 10.24963/ijcai.2025/486
UR  - https://doi.org/10.24963/ijcai.2025/486
ER  -