Explanations for Answer Set Programming
arXiv:2308.15879 · doi:10.4204/EPTCS.385.4
Abstract
The 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.
In Proceedings ICLP 2023, arXiv:2308.14898
References in corpus (6)
- ASP-Core-2 Input Language Format
- Justifications for Goal-Directed Constraint Answer Set Programming
- A System for Explainable Answer Set Programming
- DiscASP: A Graph-based ASP System for Finding Relevant Consistent Concepts with Applications to Conversational Socialbots
- exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules
- On Nested Justification Systems (full version)