Argumentation Frameworks as Constraint Satisfaction Problems
Résumé
This paper studies how to encode the problem of computing the extensions of an argumentation framework (under a given semantics) as a constraint satisfaction problem (CSP). Such encoding is of great importance since it makes it possible to use the very efficient solvers (developed by the CSP community) for computing the extensions. We focus on three families of frameworks: Dung’s abstract framework, its constrained version and preference-based argumentation frameworks.