[Back]

W. Faber:
"Enhancing Efficiency and Expressiveness in Answer Set Programming Systems";
Supervisor, Reviewer: T. Eiter, N. Leone; Institut für Informationssysteme, Abteilung für Wissensbasierte Systeme, 2002.

Answer Set Programming (ASP) hat sich in den letzten Jahren zu einer
anerkannt effektiven Methode zur deklarativen Wissensrepräsentation
und automatisierten Schlussfolgerung entwickelt. Der ASP Formalismus
kann als Fusion von Logischer Programmierung und Datenbanken
betrachtet werden, mithilfe dessen alle Problemstellungen einer
gewissen Komplexitätsklasse der zweiten Stufe der polynomiellen
Hierarchie ausdrückbar und lösbar sind.

Die vorliegende Arbeit gliedert sich in zwei Teile: Im ersten Teil
wird, nach einer kurzen Einführung in Answer Set Programming, das
System DLV und dessen Architektur vorgestellt. Zwei besonders
effizienzrelevante Komponenten dieses Systems werden genau analysiert
und im Zuge dessen werden neuartige Verfahren für die Implementierung
dieser Komponenten präsentiert, deren Nützlichkeit experimentell
belegt wird.

Im zweiten Teil wird das im ersten Teil behandelte Kernsystem auf
verschiedene Weise erweitert. Einerseits werden Erweiterungen des
Basissystems vorgestellt, die entweder die Ausdrückbarkeit einer
größeren Menge von Problemstellungen ermöglichen, oder aber die
Formulierung bestimmter Zusammenhänge erleichtern. Andererseits wird
gezeigt, wie man auf einfache, aber effektive Weise das Basissystem
erweitern kann, um in unterschiedlichen Formalismen
repräsentierte Problemstellungen mittels eines ASP Systems lösen zu
können.