Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Ausgezeichnete Informatikdissertationen 2015 D-16, 249-258 (2016).

Gesellschaft für Informatik, Bonn
2016


Copyright © Gesellschaft für Informatik, Bonn

Contents

Interaktives Debugging von Wissensbasen

Patrick Rodler

Abstract


In heutigen Zeiten, wo automatisierte intelligente Applikationen aus unserem Leben kaum noch wegzudenken sind, ist es von entscheidender Bedeutung, dass die solchen Systemen zugrunde liegenden Wissensbasen hohen Qualitätsanforderungen gerecht werden. Als Kurzbeschreibung der gleichnamigen Dissertation motiviert dieser Beitrag den Einsatz von interaktivem Debugging von Wissensbasen durch das Aufzeigen der Probleme existierender nicht-interaktiver Systeme. Es wird ein generisches interaktives Debuggingsystem beschrieben und dessen Funktionsweise erläutert. Zu- dem werden einige konkrete Anwendungen solcher Debuggingverfahren anhand praktischer Use Cases aus der realen Welt skizziert. Schließlich werden die konkreten Kontributionen der Dissertation vermittelt, u.a. die erstmalige Entwicklung bewiesen korrekter, vollständiger, optimaler und für jegliche monotone Logik anwendbarer Verfahren zur Lösung verschiedener praxisrelevanter Debuggingprobleme.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-975-7


Last changed 09.12.2016 18:43:46