Justifications for Logic Programs under Answer Set Semantics

Details Justifications for Logic Programs under Answer Set Semantics Justifications for Logic Programs under Answer Set Semantics

2008-12-03

arxiv.org/abs/0812.0790v1

Computer Science

Artificial Intelligence

59 pages, 7 figures

Scientific paper

The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a given answer set. The paper extends also this notion to provide justification of atoms during the computation of an answer set (on-line justification), and presents an integration of on-line justifications within the computation model of Smodels. Off-line and on-line justifications provide useful tools to enhance understanding of ASP, and they offer a basic data structure to support methodologies and tools for debugging answer set programs. A preliminary implementation has been developed in ASP-PROLOG. (To appear in Theory and Practice of Logic Programming (TPLP))

Affiliated with

Also associated with

No associations

Rating

Justifications for Logic Programs under Answer Set Semantics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Justifications for Logic Programs under Answer Set Semantics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Justifications for Logic Programs under Answer Set Semantics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-135076