Strong Admissibility 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 used to settle the acceptance of arguments are called semantics. Semantics of ADFs have so far mainly been defined based on the concept of admissibility. However, the notion of strongly admissible semantics studied for abstract argumentation frameworks has not yet been introduced for ADFs. In the current work we present the concept of strong admissibility of interpretations for ADFs. Further, we show that strongly admissible interpretations of ADFs form a lattice with the grounded interpretation as top element.

Paper presented at the 36th ACM/SIGAPP Symposium On Applied Computing, Virtual Conference, March 22-March 26, 2021

Manuscript (in PDF-format)

See also this report.

Keshavarzi Zafarghandi, A., Verbrugge, R., & Verheij, B. (2021). Strong Admissibility for Abstract Dialectical Frameworks. The 36th ACM/SIGAPP Symposium On Applied Computing. Proceedings of SAC 2021, 873-880. New York (New York): ACM.

Bart Verheij's home page - research - publications