[Back]

T. Linsbichler, S. Woltran:
"Revision of abstract dialectical frameworks: Preliminary report";
Talk: First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016), New York; 2016-07-10; in: "Proceedings of the First international Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning", S. Gaggl, J. Nieves, H. Strass (ed.); (2016), 8 pages.

Abstract Dialectical Frameworks (ADFs) enhance the capability of Dung´s argumentation frameworks by modelling relations between arguments in a flexible way, thus constituting a very general formalism for abstract argumentation. Since argumentation is
an inherently dynamic process, understanding how change in ADFs can be formalized is important. In this work we study AGM-style revision operators for ADFs by providing various representation results. We focus on the preferred semantics and employ tools recently developed in work on revision of Horn formulas as well as logic programs. Moreover, we present an alternative family of operators based on a variant of the postulates considering preferred interpretations of the original and admissible
interpretations of the revising ADF.