Generating explanations for answer set programming applications
Artificial Intelligence
2021-04-20 v1
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.
Keywords
Cite
@article{arxiv.2104.08963,
title = {Generating explanations for answer set programming applications},
author = {Ly Ly Trieu and Tran Cao Son and Enrico Pontelli and Marcello Balduccini},
journal= {arXiv preprint arXiv:2104.08963},
year = {2021}
}
Comments
Paper presented at SPIE 11746, Artificial Intelligence and Machine Learning for Multi-Domain Operations Applications III, 117461L (12 April 2021), 14 pages. arXiv admin note: text overlap with arXiv:2008.01253