Fuzzy Description Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Fuzzy Description Logic

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2020



  • Anton Claußnitzer

Umfang (SWS)

  • 2/2/0



  • Mündliche Prüfung

The course covers fuzzy Description Logics as formalisms for representing and reasoning with vague or imprecise knowledge. We will study several variants of fuzzy ALC that differ from each other by their expressivity and their fuzzy semantics. For the logics where this is possible, we will cover practical methods for reasoning over them. However, we will also show that these logics easily become undecidable.

All course material can be found on the OPAL page.