Title: On debugging of propositional answer-set programs
Language: English
Authors: Pührer, Jörg
Qualification level: Diploma
Keywords: Antwortmengenprogrammierung; Debugging; Fehlersuche; Logische Programmierung; Meta Programmierung; Deklarative Programmierung; Wissensrepräsentation
answer-set programming; debugging; logic programming; meta-programming; declarative programming; knowledge representation
Advisor: Tompits, Hans
Assisting Advisor: Woltran, Stefan
Issue Date: 2007
Number of Pages: 99
Qualification level: Diploma
Abstract: 
Answer-set programming (ASP) is a modern approach towards declarative problem solving. However, so far there is a lack of support tools for developing ASP programs. In particular debugging in ASP is an important field, which has not been very well studied yet. This work introduces two new techniques for finding errors in answer-set programs, one is based on ASP-meta-programming, the other relies on a tagging technique. Besides the description of the new approaches, an overview of existing publications concerning debugging of answer-set programs is given. Furthermore, a prototype of a debugging support tool for answer-set programs has been developed.

Antwortmengenprogrammierung ist Paradigma logischer Programmierung, das sich, aufgrund seiner deklarativen Semantik, in den letzten Jahren hoher Beliebtheit in der wissenschaftlichen Gemeinschaft erfreut. Ein wesentlicher Grund, warum sich ASP jedoch bisher nicht in grösserem Maße als Problemlösungstechnik etablieren konnte, ist die mangelnde Verfügbarkeit von Programmier-Werkzeugen, welche die Arbeit mit ASP unterstützen. Insbesondere ist die Suche nach Fehlern in Antwortmengen-Programmen ein noch wenig erforschtes Gebiet, das höchste Aufmerksamkeit verdient. Diese Arbeit führt zwei neue Techniken ein, die sich der Fehlersuche in Antwortmengen-Programmen widmen und sich dabei selbst der Antwortmengenprogrammierung bedienen. Eine der neuen Methoden basiert auf Meta-Programmierung, die andere auf einer sogenannten Tagging-Technik. Neben der Beschreibung der neuen Ansätze wird ein Überblick auf bestehende Publikationen zur Fehlersuche in Antwortmengenprogrammen gegeben. Im Rahmen dieser Arbeit wurde zudem ein Prototyp einer Software zum Debuggen von Antwortmengenprogrammen implementiert.
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-18796
http://hdl.handle.net/20.500.12708/10850
Library ID: AC05036311
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Files in this item:

File Description SizeFormat
On debugging of propositional answer-set programs.pdf923.76 kBAdobe PDFThumbnail
 View/Open
Show full item record

Page view(s)

15
checked on Feb 18, 2021

Download(s)

54
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.