Value-based argumentation framework built from prioritized qualitative choice logic
Résumé
The notion of preference is crucial in many fields. This justifies the development of many formalisms for preferences representation such as CP-nets, qualitative choice logic and its extensions. Preferences help to choose the best option in decision making, to compare between arguments in argumentation theory, etc. In this paper, we establish a link between a preference formalism, called Prioritized Qualitative Choice Logic (PQCL) and argumentation theory. We show that for any set of preferences expressed using
PQCL (called PQCL theory), a Value-based Argumentation Framework (VAF) can be built. However, we point out some problems related to the evaluation of arguments which does not guarantee the correspondence between elements of PQCL theory and those of its associated VAF. We show that the major problem is due to the evaluation of arguments defined in existing argumentation frameworks, where an absolute status is assigned to each argument: objectively (or skeptically) accepted if it belongs to every extension, subjectively
(or credulously) accepted if it is in some extensions and not in others and rejected if it does not belong to any extension. To deal with this problem, we propose to revise the evaluation of arguments in the corresponding VAF. As a result, there is a direct relationship between preferred extensions of the corresponding VAF and preferred models of a set of preferences expressed using PQCL. In addition, rank ordering the set of arguments is possible. The relationship between the two formalisms is interesting since on the one hand, it points out that one should be careful in using argumentation theory for decision
making purposes or in formalizing a given problem as an argumentation framework and on the other hand, it makes it possible to use an argumentation framework for preference elicitation.