Generating explanations for answer set programming applications

Add code
Apr 18, 2021
Ly Ly Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini
Figure 1 for Generating explanations for answer set programming applications
Figure 2 for Generating explanations for answer set programming applications
Figure 3 for Generating explanations for answer set programming applications
Figure 4 for Generating explanations for answer set programming applications

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon

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.

* 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  
View paper onarxiv icon

Share this with someone who'll enjoy it:

Twitter IconFacebook IconLinkedin IconWhatsapp IconMessenger Icon