Initial Models and Serialisability in Abstract Dialectical Frameworks
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.
Cite
Text
Bengel and Thimm. "Initial Models and Serialisability in Abstract Dialectical Frameworks." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/486Markdown
[Bengel and Thimm. "Initial Models and Serialisability in Abstract Dialectical Frameworks." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/bengel2025ijcai-initial/) doi:10.24963/IJCAI.2025/486BibTeX
@inproceedings{bengel2025ijcai-initial,
title = {{Initial Models and Serialisability in Abstract Dialectical Frameworks}},
author = {Bengel, Lars and Thimm, Matthias},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {4365-4373},
doi = {10.24963/IJCAI.2025/486},
url = {https://mlanthology.org/ijcai/2025/bengel2025ijcai-initial/}
}