-
Views
-
Cite
Cite
Mario Alviano, Ly Ly Trieu, Tran Cao Son, Marcello Balduccini, The XAI system for answer set programming xASP2, Journal of Logic and Computation, Volume 34, Issue 8, December 2024, Pages 1500–1525, https://doi.org/10.1093/logcom/exae036
- Share Icon Share
Abstract
Explainable artificial intelligence (XAI) aims at addressing complex problems by coupling solutions with reasons that justify the provided answer. In the context of Answer Set Programming (ASP) the user may be interested in linking the presence or absence of an atom in an answer set to the logic rules involved in the inference of the atom. Such explanations can be given in terms of directed acyclic graphs (DAGs). This article reports on the advancements in the development of the XAI system xASP by revising the main foundational notions and by introducing new ASP encodings to compute minimal assumption sets, explanation sequences, and explanation DAGs. DAGs are shown to the user in an interactive form via the xASP navigator application, also introduced in this work.