Towards Implementing Contrastive Explanations for Answer-Set Programs

Die Antwortmengenprogrammierung (ASP) ist ein deklaratives logisches Programmierparadigma mit vielen Anwendungen in der Wissensrepräsentation und Künstlichen Intelligenz. Probleme wie, Terminplanung, Klassifikation, Planung oder Produktkonfiguration, werden in ASP als Regeln ausgedrückt. Deren Lösungen werden als Antwortmenge präsentiert, i.e. Mengen von Atomen. Eine besondere Schwierigkeit bei ASP besteht in der Fehlersuche und in der Nachvollziehbarkeit, also warum ein bestimmtes Atom in einer Antwortmenge enthalten ist oder nicht. Kontrastive Erklärungen versuchen zu erläutern, warum ein bestimmtes Ereignis im Gegensatz zu einem anderen aufgetreten ist. Eiter et al. haben kontrastive Erklärungen für ASP formalisiert. Diese Formalisierung bildet den theoretischen Rahmen für diese Masterarbeit. Das Hauptziel dieser Masterarbeit ist es, die praktische Umsetzbarkeit der Anwendung des theoretischen Ansatzes kontrastiver Erklärungen auf ASP zu bestimmen. Zu diesem Zweck wurde ein neues Programm entwickelt, bestehend aus einem naiven Grounder, einem Backend, das den von Eiter et al. gegebenen Definitionen folgt, und einer benutzerfreundlichen Schnittstelle. Das Programm wurde hinsichtlich seiner Leistung durch Tests an bekannten Problemen evaluiert. Die Benutzerfreundlichkeit wurde anhand von Fallstudien beurteilt, die die Benutzeroberfläche des Programms in zwei realistischen Szenarien demonstrierten. Die Ergebnisse der Experimente zeigen, dass der Ansatz bei kleinen bis mittelgroßen Problemen gut funktioniert.