Generating explanations for answer set programming applications

2021/04/18 by Ly Ly Trieu, Trieu, Ly Ly, Tran Cao Son +5
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation

paper · pdf · doi:10.48550/arxiv.2104.08963

openalex publication_date 2021/04/18 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Justifications for Logic Programs under Answer Set Semantics
• Answering the "why" in Answer Set Programming - A Survey of Explanation\n Approaches
• grASP: A Graph Based ASP-Solver and Justification System
• Interactive Answer Set Programming - Preliminary Report
• Controlled Natural Language Processing as Answer Set Programming: an Experiment