A translation-based approach for revision of argumentation frameworks

Abstract

In this paper, we investigate the revision issue for Dung argumentation frameworks. The main idea is that such frameworks can be translated into propositional formulae, allowing the use of propositional revision operators to perform a rational minimal change. Our translationbased approach to revising argumentation frameworks can take advantage of any propositional revision operator °. Via a translation, each propositional operator ° can be associated with some revision operators * suited to argumentation frameworks. Some rationality postulates for the * operators are presented. If the revision formulae are restricted to formulae about acceptance statuses, some * operators satisfy these postulates provided that the corresponding ° operator is AGM.