Classes of Explanations for the Verification Problem in Abstract Argumentation - Université Toulouse III - Paul Sabatier - Toulouse INP
Rapport Année : 2022

Classes of Explanations for the Verification Problem in Abstract Argumentation

Résumé

The Verification Problem in abstract argumentation consists in checking whether a set is acceptable under a given semantics in a given argumentation graph. Explaining why the answer is so is the challenge tackled by this paper. Visual explanations in the form of subgraphs of the initial argumentation framework are defined. These explanations are grouped into classes, allowing an agent to select the explanation that suits them best among the several offered possibilities. Results are provided on how to use the visual aspects of our explanations to support the acceptability of a set of arguments under a semantics. Computational aspects of specific explanations are also investigated.
Fichier principal
Vignette du fichier
Rapport-IRIT-2022-09.pdf (485.57 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04016550 , version 1 (06-03-2023)

Identifiants

  • HAL Id : hal-04016550 , version 1

Citer

Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex. Classes of Explanations for the Verification Problem in Abstract Argumentation. IRIT/RR--2022--09--FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2022. ⟨hal-04016550⟩
54 Consultations
15 Téléchargements

Partager

More