Generating explanations for answer set programming applications
This work addresses the need for interpretability in ASP applications, but it is incremental as it builds on existing explanation concepts without introducing new methods.
The authors tackled the problem of explaining why atoms are true or false in Answer Set Programming (ASP) applications by developing a system that generates all explanation graphs for a given program, answer set, and atom, as demonstrated with examples from the literature.
We present an explanation system for applications that leverage Answer Set Programming (ASP). Given a program P, an answer set A of P, and an atom a in the program P, our system generates all explanation graphs of a which help explain why a is true (or false) given the program P and the answer set A. We illustrate the functionality of the system using some examples from the literature.