Generating explanations for answer set programming applications

04/18/2021
by   Ly Ly Trieu, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/17/2021

exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules

We present an enhancement of exp(ASP), a system that generates explanati...
research
03/20/2014

Interactive Debugging of ASP Programs

Broad application of answer set programming (ASP) for declarative proble...
research
09/22/2020

Justifications for Goal-Directed Constraint Answer Set Programming

Ethical and legal concerns make it necessary for programs that may direc...
research
05/27/2015

Qsmodels: ASP Planning in Interactive Gaming Environment

Qsmodels is a novel application of Answer Set Programming to interactive...
research
08/30/2023

Explanations for Answer Set Programming

The paper presents an enhancement of xASP, a system that generates expla...
research
08/04/2020

An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario

The paper describes an ongoing effort in developing a declarative system...
research
09/24/2013

Generating Explanations for Biomedical Queries

We introduce novel mathematical models and algorithms to generate (short...

Please sign up or login with your details

Forgot password? Click here to reset