Fuzzy Description Logic
Aus International Center for Computational Logic
Fuzzy Description Logic
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in WS 2020
Dozent
Tutor
- Anton Claußnitzer
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- 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.
