Using Rewriting Rules to Compute Successful Modifications of an Argumentation System
Résumé
In this article, we define a procedure which computes the minimal change of an argumentation system that achieves some goal. We first study the properties of such minimal changes. Then we present a procedure based on a set of rewriting rules, and we analyse its properties.