486@2025@IJCAI

Total: 1

#1 Initial Models and Serialisability in Abstract Dialectical Frameworks [PDF] [Copy] [Kimi] [REL]

Authors: Lars Bengel, Matthias Thimm

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.

Subject: IJCAI.2025 - Knowledge Representation and Reasoning