Fuzzy Description Logic
From International Center for Computational Logic
Fuzzy Description Logic
Course with SWS 2/2/0 (lecture/exercise/practical) in WS 2020
Lecturer
Tutor
- Anton Claußnitzer
SWS
- 2/2/0
Modules
Examination method
- Oral exam
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.
