Maschinelles Entscheiden: Keine Regel ohne Ausnahme?
Speaker:
Michael Hierweck (Informatiker, Vorstand der Hostsharing eG, Hostsharing eG)
Scheduled time: Saturday, 10:00 , Room V2
Menschliches Denken nutzt Regeln und Ausnahmen. Wie kann dies maschinell realisiert werden? Beschreibungslogiken sind Untermengen der Prädikatenlogik erster Stufe, die günstigere Berechnungseigenschaften besitzen. Eine Möglichkeit, nichtmonotones Schließen für Beschreibungslogiken zu ermöglichen, basiert auf Zirkumskription. Die Grundidee ist, neben klassischen Regeln auch unsichere Regeln zu betrachten, die von einzelnen Individuen verletzt werden dürfen. Modelle sind dann diejenigen Interpretationen, in denen Regeln von möglichst wenigen Individuen verletzt werden. Das Vorgehen wird an praktischen Beispielen illustriert.
Desired previous knowledge: Grundkenntnisse in Mengenlehre sind für das Verständnis erforderlich. Grundkenntnisse in Beschreibungslogik sind hilfreich, auch wenn eine kurze Einführung gegeben wird.
Further information: Short paper
Supplemental material: Slides (245 KiB)
Download MP3 (40 MiB) Download OGG (34 MiB)
