Fuzzy Description Logic (WS22/23) [beendet]
Lecture: Dr. Stefan Borgwardt
Tutorials: Dr. Patrick Koopmann
Course description
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.
Pre-existing knowledge of description logics is not required for attending this course. All relevant information will be introduced at the beginning of the lecture.
Students need to register for the OPAL course to get access to the course materials.
Organization
The lecture will usually take place in room APB/E005 on Wednesdays, 9:20-10:50, starting on Oct 12th. Links to lecture videos recorded in the winter semester 2020/21 will be made available after each lecture. Accompanying lecture slides will also be published.
The tutorials will usually take place in room APB/E005 on Fridays, 13:00–14:30, starting on Oct 21st. Exercise sheets will be made available one week before each tutorial.
The exact schedule of lectures and tutorials can be seen in the course calendar here in OPAL (subject to change).
- In the first week, there will be two lectures (Oct 12th and 14th).
- There will be no lecture in the second week (Oct 19th).
- On Nov 16th, there will be no lecture due to Buß- and Bettag; instead, the tutorial on Nov 18th is replaced by a lecture.
- In the two weeks between Dec 19th and Jan 1st there will be no lectures due to the Christmas and New Year holidays.
- On Jan 18th, there will be a tutorial instead of a lecture.
- On Jan 20th, there will be neither lecture nor tutorial.
- On Jan 25th and 27th, students will work on a separate, larger exercise in groups.
- On Feb 1st, there will be a Q&A session and a mock exam.
- On Feb 3rd, there will be neither lecture nor tutorial.
Modules and Exams
The course encompasses 2/2/0 SWS.
The lecture can be used for the modules INF-BAS2, INF-BAS6, INF-VERT2, INF-VERT6, INF-PM-FOR, INF-B-510, INF-B-520, MCL-KR, MCL-TCSL, MCL-AI, CMS‑LM‑AI, CMS‑LM‑ADV.
To fix a date for your oral examination, please contact Kerstin Achtruth (or the secretary of the other examiner in case of a joint exam) before January 6, 2023.