Fuzzy Description Logic
Master Computational Logic (MCL-AI, MCL-KR, MCL-TCSL)
Master Informatik, Diplom Informatik (INF-BAS6, INF-VERT6, INF-PM-FOR)
Bachelor Informatik (INF-B-510, INF-B-520)
The course covers fuzzy Description Logics as formalisms for representing and reasoning with vague or imprecise knowledge. We will study several variants of fuzzy \(\mathcal{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.