Rodler, PatrickHölldobler, Steffen2017-09-222017-09-222015978-3-88579-975-7https://dl.gi.de/handle/20.500.12116/4586In 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.de1617-5468