Justifications for Logic Programs Under Answer Set Semantics

DOI10.1007/11799573_16MaRDI QIDQ5449601zbMATH OpenOpenAlexFDO

Authors Enrico Pontelli, Tran Cao Son

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0812.0790

Mathematics Subject Classification ID

Logic programming (68N17)

Abstract: 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))

Recommendations

• Justifications for logic programs under answer set semantics
• scientific article; zbMATH DE number 7121940
• Justifying answer sets using argumentation
• Functional and Logic Programming
• Argumentation-based explanations for answer sets using ADF

Cited in

(20)

• Enumerating justifications using resolution
• Argumentation-based explanations for answer sets using ADF
• FLP answer set semantics without circular justifications for general logic programs
• A characterization of answer sets for logic programs
• Justifications for logic programming
• Justifications for logic programs under answer set semantics
• scientific article; zbMATH DE number 1531362 (Why is no real title available?)
• Justifying answer sets using argumentation
• Justifications for programs with disjunctive and causal-choice rules
• The KB paradigm and its application to interactive configuration
• Unifying justifications and debugging for answer-set programs
• Merging Logic Programs under Answer Set Semantics
• Applications of intuitionistic logic in Answer Set Programming
• scientific article; zbMATH DE number 2085275 (Why is no real title available?)
• scientific article; zbMATH DE number 7455706 (Why is no real title available?)
• Answering the ``why in answer set programming -- a survey of explanation approaches
• scientific article; zbMATH DE number 7121940
• Functional and Logic Programming
• Debugging for Model Expansion
• Witnesses for Answer Sets of Logic Programs

Describes a project that uses

Uses Software

• Smodels
• ASSAT

This page was built for publication: Justifications for Logic Programs Under Answer Set Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5449601)