Generating explanations for answer set programming applications

TL;DR

This paper introduces an explanation system for Answer Set Programming that generates explanation graphs for atoms in a program's answer set, aiding understanding of why atoms are true or false.

Contribution

It presents a novel system that produces comprehensive explanation graphs for ASP applications, enhancing interpretability of answer sets.

Findings

System successfully generates explanation graphs for ASP atoms

Illustrated with literature examples demonstrating utility

Improves transparency of ASP reasoning processes

Abstract

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.