Catching the Ouroboros: on debugging non-ground answer-set programs

DOI10.1017/S1471068410000256MaRDI QIDQ3585165zbMATH OpenOpenAlexFDO

Authors Johannes Oetsch, Jörg Pührer, Hans Tompits

Publication date 19 August 2010

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

answer-set programmingdebuggingprogram analysis

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Abstract: An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, methods for debugging an answer-set program are recognised as a crucial step in this regard. Initial work on debugging in ASP mainly focused on propositional programs, yet practical debuggers need to handle programs with variables as well. In this paper, we discuss a debugging technique that is directly geared towards non-ground programs. Following previous work, we address the central debugging question why some interpretation is not an answer set. The explanations provided by our method are computed by means of a meta-programming technique, using a uniform encoding of a debugging request in terms of ASP itself. Our method also permits programs containing comparison predicates and integer arithmetics, thus covering a relevant language class commonly supported by all state-of-the-art ASP solvers.

Recommendations

• Debugging non-ground ASP programs: technique and graphical tools
• Interactive debugging of non-ground ASP programs
• Debugging ASP Programs by Means of ASP
• Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
• Stepwise debugging of answer-set programs

Cites work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
• Justifications for logic programs under answer set semantics

Cited in

(19)

• On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
• Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
• Stepwise debugging of description-logic programs
• Interactive debugging of non-ground ASP programs
• Characterising and explaining inconsistency in logic programs
• Generating explanations for biomedical queries
• Stepwise debugging of answer-set programs
• Finding explanations of inconsistency in multi-context systems
• On structural analysis of non-ground answer-set programs
• Unifying justifications and debugging for answer-set programs
• Omission-based abstraction for answer set programs
• Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
• Answering the ``why in answer set programming -- a survey of explanation approaches
• Debugging non-ground ASP programs: technique and graphical tools
• Debugging ASP Programs by Means of ASP
• Witnesses for Answer Sets of Logic Programs
• Abstraction for non-ground answer set programs
• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• Contrastive explanations for answer-set programs

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Catching the Ouroboros: on debugging non-ground answer-set programs

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