Textdokument
Interaktives Debugging von Wissensbasen
Lade...
Volltext URI
Dokumententyp
Dateien
Datum
2015
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Ausgezeichnete Informatikdissertationen 2015
Verlag
Gesellschaft für Informatik
Zusammenfassung
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.