On the Revision of Argumentation Systems: Minimal Change of Arguments Status
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis · 2013
In this paper, we investigate the revision of argumenta-tion systems a ̀ la Dung. We focus on revision as mini-mal change of the arguments status. Contrarily to most of the previous works on the topic, the addition of new arguments is not allowed in the revision process, so that the revised system has to be obtained by modify-ing the attack relation only. We introduce a language of revision formulae which is expressive enough for en-abling the representation of complex conditions on the acceptability of arguments in the revised system. We show how AGM belief revision postulates can be trans-lated to the case of argumentation systems. We pro-vide a corresponding representation theorem in terms of minimal change of the arguments statuses. Several distance-based revision operators satisfying the postu-lates are also pointed out, along with some methods to build revised argumentation systems. We also discuss some computational aspects of those methods.