Explanations for Answer Set Programming
Voice is AI-generated
Connected to paperThis paper is a preprint and has not been certified by peer review
Explanations for Answer Set Programming
Mario Alviano University of Calabria, Ly Ly Trieu New Mexico State Universty, Tran Cao Son New Mexico State Universty, Marcello Balduccini Saint Joseph's University
AbstractThe paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min. This work formalizes and presents an explainable artificial intelligence system for a broad fragment of ASP, capable of shrinking as much as possible the set of assumptions and presenting explanations in terms of directed acyclic graphs.