Logo des Repositoriums

Auflistung nach Autor:in "Pensel, Maximilian"

1 - 2 von 2
  • Zeitschriftenartikel
    A Lightweight Defeasible Description Logic in Depth
    (KI - Künstliche Intelligenz: Vol. 34, No. 4, 2020) Pensel, Maximilian
    In this thesis we study KLM-style rational reasoning in defeasible Description Logics. We illustrate that many recent approaches to derive consequences under Rational Closure (and its stronger variants, lexicographic and relevant closure) suffer the fatal drawback of neglecting defeasible information in quantified concepts. We propose novel model-theoretic semantics that are able to derive the missing entailments in two differently strong flavours. Our solution introduces a preference relation to distinguish sets of models in terms of their typicality (amount of defeasible information derivable for quantified concepts). The semantics defined through the most typical (most preferred) sets of models are proven superior to previous approaches in that their entailments properly extend previously derivable consequences, in particular, allowing to derive defeasible consequences for quantified concepts. The dissertation concludes with an algorithmic characterisation of this uniform maximisation of typicality, which accompanies our investigation of the computational complexity for deriving consequences under these new semantics.
  • Konferenzbeitrag
    Schlussfolgern in Defeasible Beschreibungslogiken
    (Ausgezeichnete Informatikdissertationen 2019, 2020) Pensel, Maximilian
    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.