Semi-Stable Semantics for Abstract Dialectical Frameworks

Atefeh Keshavarzi Zafarghandi, Rineke Verbrugge, Bart Verheij

Abstract dialectical frameworks (ADFs) have been introduced as a formalism for modeling and evaluating argumentation allowing general logical satisfaction conditions. Different criteria that have been used to settle the acceptance of arguments are called semantics. However, the notion of semistable semantics as studied for abstract argumentation frameworks has received little attention for ADFs. In the current work, we present the concepts of semi-two-valued models and semi-stable models for ADFs. We show that these two notions satisfy a set of plausible properties required for semistable semantics of ADFs. Moreover, we show that semitwo-valued and semi-stable semantics of ADFs form a proper generalization of the semi-stable semantics of AFs, just like two-valued model and stable semantics for ADFs are generalizations of stable semantics for AFs.

Manuscript (in PDF-format)

Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2021). Semi-Stable Semantics for Abstract Dialectical Frameworks. Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 (eds. Bienvenu M., Lakemeyer G., & Erdem E.), 422-431. IJCAI organization.

Bart Verheij's home page - research - publications