Search

Diese Bachelorarbeit beschreibt ein Verfahren zur Korrektur inkonsistenter Wissensbasen. Es löst Widersprüche durch möglichst wenige Änderungen auf und wird für abstrakte Logiken auf Basis eines Konsequenzoperators eingeführt. Elementare Eigenschaften, wie die Existenz einer Korrektur oder die Unveränderlichkeit einer konsistenten Wissensbasis bei der Korrektur, werden theoretisch bewiesen. Da eine Korrektur unter Umständen unvollständig ist, wird erklärt, wie sie sich konsistent vervollständigen lässt. Da sie im Allgemeinen nicht eindeutig ist, wird die Auswahl einer Korrektur auf Basis zusätzlicher Informationen erklärt. Diese Arbeit beschreibt die Umsetzung des Verfahrens in Answer Set Programming. Es werden zwei Beispiele besprochen: Die Buchwelt modelliert ein Szenario aus der Robotik. Die Korrektur inkonsistenter Sudokus demonstriert die Leistungsfähigkeit des Verfahrens.