Answer Set Programming (ASP) mit epistemischen Spezifikationen erweitert die Sprache der disjunktiven Logikprogramme (DLP) um die epistemischen Modaloperatoren K und M, die ausdrücken, dass eine Formel in allen Answer Sets bzw. in mindestens einem Answer Set wahr ist. Da die Erfüllbarkeit unter Modaloperatoren ein Konzept ist, das über eine Sammlung von Answer Sets, die World View genannt wird, definiert ist, kann die Berechnung der Answer Sets eines Programms mit epistemischen Spezifikationen nicht direkt auf die gleiche Aufgabe reduziert werden wie für ein gewöhnliches DLP-Programm. Stattdessen generieren aktuelle Algorithmen eine Obermenge von Answer Sets, indem sie ein spezielles Programm auswerten,um mögliche Lösungen zu generieren und falsche Lösungen in einer Nachprüfung auszusortieren. In dieser Arbeit wird ein neuartiger Ansatz zur Auswertung epistemischer Logikprogramme (ELP) vorgestellt, der auf hex-Programmen basiert. Letztere sind eine weitere Erweiterung von DLP in Richtung externer Rechenquellen.Konkret basiert unser Algorithmus zur Auswertung von ELP-Programmen auf hex-Programmen, die deklarative Prüfregeln mit externen Atomen enthalten. Darüber hinaus stellen wir eine Implementierung des Algorithmus und seine experimentelle Auswertung vor, die deutliche Verbesserungen gegenüber einer Referenzimplementierung zeigt.
de
Answer set programming (ASP) with epistemic specifications extends the language of disjunctive logic programs (DLP) to include the epistemic modal operators K and M,which express that a formula is true in all answer sets and at least one answer set,respectively. Since satisfiability under modal operators is a concept defined over a collection of answer sets called world view, computing the answer sets of a program with epistemic specifications cannot be directly reduced to the same task as for an ordinary DLP program. Instead, current algorithms generate a superset of answer sets by evaluating a special program to generate possible solutions and sorting out incorrect solutions in a post-check. In this thesis, we present a novel approach to evaluating epistemic logic programs (ELP) based on hex programs. The latter area further extension of DLP towards external computational sources. Specifically,our algorithm for evaluating ELP programs is based on hex programs that contain declarative checking rules with external atoms. Moreover, we present an implemen-tation of the algorithm and its experimental evaluation, which shows significant improvements over a reference implementation.
en
Additional information:
Arbeit an der Bibliothek noch nicht eingelangt - Daten nicht geprüft Abweichender Titel nach Übersetzung der Verfasserin/des Verfassers