A System for Explainable Answer Set Programming
Title
A System for Explainable Answer Set ProgrammingDate
2020-09-19Citation
Cabalar, P., Fandinno, J., & Muñiz, B. (2020). A System for Explainable Answer Set Programming. arXiv preprint arXiv:2009.10242
Abstract
[Abstract]
We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms derived by them. The input of xclingo is a markup language written as ASP comment lines, so the programs annotated in this way can still be accepted by a standard ASP solver. xclingo translates the annotations into additional predicates and rules and uses the ASP solver clingo to obtain the extension of those auxiliary predicates. This information is used afterwards to construct derivation trees containing textual explanations. The language allows selecting which atoms to explain and, in its turn, which atoms or rules to include in those explanations. We illustrate the basic features through a diagnosis problem from the literature.
Keywords
Answer Set Programming
ASP debugging
Causal justifications
Diagnosis
Non-Monotonic Reasoning
ASP debugging
Causal justifications
Diagnosis
Non-Monotonic Reasoning
Editor version
Rights
Atribución 3.0
ISSN
2075-2180