Schlussfolgern in Defeasible Beschreibungslogiken

Abstract

Klassische Systeme der logischen Wissensrepräsentation und des automatischen Schließens sind nicht in der Lage Standardannahmen von Anwendungen adäquat zu modellieren und auf zu erwartende Ausnahmefälle intuitiv zu reagieren. Trotz ihrer erhöhten Praktikabilität, Popularität und Berechenbarkeit sind auch klassische Beschreibungslogiken durch ihre monotone Semantik nicht in der Lage unvollständiges Wissen individuell durch Standardwerte zu vervollständigen. Um ein derartiges Verhalten für Beschreibungslogiken zu erreichen, werden etablierte nichtmonotone Semantiken der Aussagenlogik auf die Ausdrucksstärke der Semantik für Beschreibungslogiken angehoben. Im Rahmen meiner Studien zeigte sich, dass die so entstandene Form der Rational Closure die wichtigsten Konsequenzen, die Beschreibungslogiken von Aussagenlogik abheben, vernachlässigt. In meiner Dissertation [Pe19] untersuche und überarbeite ich den bisherigen, unzulänglichen Ansatz zur Rational Closure in Beschreibungslogiken und entwerfe eine Reihe neuartiger Semantiken, welche die fehlenden Konsequenzen nachweislich ermitteln können.