Fuzzy Description Logic (WS23/24)
Lecture: Dr. Stefan Borgwardt
Tutorials: Satyadharma Tirtarasa
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.
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 11th. 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 20th. Exercise sheets will be made available one week before each tutorial.
The exact schedule of lectures and tutorials is subject to change at any time. All changes will be listed here:
- In the first week, there will be two lectures (Oct 11th and 13th).
- On Nov 22nd, there will be no lecture due to Buß- and Bettag.
- On Nov 24th, there will be a lecture instead of a tutorial.
- On Dec 20th, there will be no lecture.
- Between Dec 21st and Jan 3rd there will be no lectures or tutorials due to the Christmas and New Year holidays.
- On Jan 5th, there will be no tutorial.
- On Jan 24th and Jan 26th, there will be a group exercise for you to solve during the usual lecture and tutorial sessions.
- On Jan 31st there will be a Q&A session and a mock exam.
- On Feb 2nd there will be no meeting.
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 5th, 2024.
The strict deadline for exam registrations with the exam office is January 18th, 2024.