Classes of Explanations for the Verification Problem in Abstract Argumentation - Logique, Interaction, Langue et Calcul Access content directly
Reports Year : 2022

Classes of Explanations for the Verification Problem in Abstract Argumentation

Abstract

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
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

  • HAL Id : hal-04016550 , version 1

Cite

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⟩
4 View
1 Download

Share

Gmail Facebook Twitter LinkedIn More