Debugging non-ground ASP programs: technique and graphical tools
From MaRDI portal
Abstract: Answer Set Programming (ASP) is one of the major declarative programming paradigms in the area of logic programming and non-monotonic reasoning. Despite that ASP features a simple syntax and an intuitive semantics, errors are common during the development of ASP programs. In this paper we propose a novel debugging approach allowing for interactive localization of bugs in non-ground programs. The new approach points the user directly to a set of non-ground rules involved in the bug, which might be refined (up to the point in which the bug is easily identified) by asking the programmer a sequence of questions on an expected answer set. The approach has been implemented on top of the ASP solver WASP. The resulting debugger has been complemented by a user-friendly graphical interface, and integrated in ASPIDE, a rich IDE for answer set programs. In addition, an empirical analysis shows that the new debugger is not affected by the grounding blowup limiting the application of previous approaches based on meta-programming. Under consideration in Theory and Practice of Logic Programming (TPLP).
Recommendations
Cites work
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 1890629 (Why is no real title available?)
- Advances in WASP
- An ASP approach for the valves positioning optimization in a water distribution system
- Anytime answer set optimization via unsatisfiable core shrinking
- Catching the Ouroboros: on debugging non-ground answer-set programs
- Characterising and explaining inconsistency in logic programs
- Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
- Conflict-driven answer set solving: from theory to practice
- Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
- Design and results of the Fifth Answer Set Programming Competition
- Detecting inconsistencies in large biological networks with answer set programming
- Extending and implementing the stable model semantics
- GRASP: a search algorithm for propositional satisfiability
- Generating explanations for biomedical queries
- Interactive debugging of non-ground ASP programs
- Justifications for logic programs under answer set semantics
- Justifying answer sets using argumentation
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Optimization Methods for the Partner Units Problem
- Optimizing phylogenetic supertrees using answer set programming
- Shift design with answer set programming
- Stepping through an answer-set program
- The Design of the Sixth Answer Set Programming Competition
Cited in
(19)- Methods and methodologies for developing answer-set programs -- project description
- Debugging for Model Expansion
- Stepwise debugging of answer-set programs
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- The XAI system for answer set programming xASP2
- A new proposal for debugging Datalog programs
- scientific article; zbMATH DE number 2090558 (Why is no real title available?)
- Witnesses for Answer Sets of Logic Programs
- Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
- Debugging ASP Programs by Means of ASP
- Testing in ASP: revisited language and programming environment
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Interactive debugging of non-ground ASP programs
- Stepping through an answer-set program
- Catching the Ouroboros: on debugging non-ground answer-set programs
- Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
- Enumeration of minimal models and MUSes in WASP
- Testing and debugging techniques for answer set solver development
- onlineSPARC: a programming environment for answer set programming
This page was built for publication: Debugging non-ground ASP programs: technique and graphical tools
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5197755)
