Argumentation, Logic and Explainability
Argumentation, Logique et Explicabilité
Résumé
Abstract Argumentation, as a decision tool, currently is a research topic undergoing intense study. Formally, we consider a set of abstract objects that we call "arguments" and a conflict relation between them. The decision is made by identifing sets of arguments that have desirable properties regarding the conflict relation. However, systems based on these formal models provide outputs that can hardly be supported by explanations perceived as intuitive by human users. The work carried out aim at providing explanations for these decision processes that are understandable even by non experts, in particular by trying to rely on visual criterias. An evaluation of thses explanations shall be made, by comparaing them with existing notions of explanations, in computer science using logical explanations, but also in social sciences in which a whole body of research xists on how people define, generate, select, evaluate, and present explanations. What's more, we also aim at generalising the results we obtain to the context of enriched argumentation frameworks. Indeed, it is possible to extend the basic framework by adding an addtional positive relation (a support relation) between the arguments, by considering higher order relations, or by considering arguments that work in coalitions. Each of these enrichments changes the way the acceptability and non-acceptability of arguments is questioned. To complete the picture, an implementation of the proposed concepts will be made through the logical encoding of the argumentation frameworks, their decision processes and their explanations, as well as through the use of SAT solvers.
L'argumentation abstraite en tant que moyen de prise de décision est un domaine de l'informatique recevant de plus en plus d'attention. Formellement, on considère un ensemble d'objets abstraits appelés "arguments" et une relation de conflit entre eux. La prise de décision s'effectue en identifiant des groupes d'arguments ayant de bonnes propriétés vis-à-vis de la relation de conflit. Cependant, les techniques employées ne produisent pas de résultats pouvant être justifiés par des explications intuitives pour des utilisateurs humains. Les travaux menés visent à produire des explications pour ces processus de décision qui soient accessibles aux non experts, en particulier en tâchant de se reposer sur des critères visuels. Une évaluation de ces explications sera ensuite conduite en les comparants à d'autres approches existantes, en informatique avec en particulier les explications logiques, mais aussi en en sciences sociales, dans lesquelles il existe tout un pan de recherche sur comment définir, générer, choisir, évaluer et présenter des explications. De plus, les travaux menés ambitionnent de généraliser les résultats obtenus dans des contextes d'argumentation enrichis. En effet, il est possible d'étendre le cadre de base en ajoutant une relation supplémentaire positive (de support) entre les arguments, de considérer des relations d'ordre supérieur ou de considérer des arguments agissant en coalitions. Chaque enrichissement change la façon de questionner et d'accepter les arguments. Pour finir, une implémentation des concepts proposés sera fournie via l'encodage logique des cadres d'argumentation, de leurs processus de décision et de leurs explications, ainsi que via l'utilisation de solveurs SAT.
Origine | Version validée par le jury (STAR) |
---|