An integrated Graphical User Interface for Debugging Answer Set Programs

Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework. Due to its rather simple syntax paired with high-performance solvers, ASP is interesting for industrial applications. However, to err is human and thus debugging is an important activity during the develo...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Gasteiger, Philip, Dodaro, Carmine, Musitsch, Benjamin, Reale, Kristian, Ricca, Francesco, Schekotihin, Konstantin
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 15.11.2016
Subjects
Debugging
Graphical user interface
Industrial applications
Knowledge representation
Mathematical programming
Solvers
Online AccessGet full text

Cover

More Information
Summary:Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework. Due to its rather simple syntax paired with high-performance solvers, ASP is interesting for industrial applications. However, to err is human and thus debugging is an important activity during the development process. Therefore, tools for debugging non-ground answer set programs are needed. In this paper, we present a new graphical debugging interface for non-ground answer set programs. The tool is based on the recently-introduced DWASP approach for debugging and it simplifies the interaction with the debugger. Furthermore, the debugging interface is integrated in ASPIDE, a rich IDE for answer set programs. With our extension ASPIDE turns into a full-fledged IDE by offering debugging support.
ISSN:2331-8422