Aktuelles

Inhalt des Papiers

"Characterising Serialisation Equivalence for Abstract Argumentation"

von Lars Bengel, Julian Sander und Matthias Thimm

We introduce the notion of serialisation equivalence, which provides a notion of equivalence that takes the underlying dialectical structure of extensions in an argumentation framework into account. Under this notion, two argumentation frameworks are considered equivalent if they possess not only the same extensions wrt. some semantics but also the same serialisation sequences. A serialisation sequence is a decomposition of an extension into a series of minimal acceptable sets and essentially offers insight into the order in which arguments need to brought forward to resolve the conflicts and to justify a particular position in the argumentation framework. We analyse serialisation equivalence in detail and show that it is generally more strict than standard equivalence and less strict than strong equivalence. Furthermore, we provide a full analysis of the computational complexity of deciding serialisation equivalence.

Weitere Informationen zur ECAI 2024