Fuzzy Description Logics

Fuzzy Description Logics

Technische Universität Dresden
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie

Felix Distel

Course Description

The course covers the study of fuzzy Description Logics as a formalism for representing--and reasoning with--vague or imprecise knowledge.
We will study several variants of fuzzy DLs, that differentiate from each other by their expressivity and their fuzzy semantics. These will mainly be extensions of the classical DLs EL and ALC.
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.

Prerequisites:

basic knowledge of propositional and first order logic
knowledge of fuzzy and/or Description Logics is helpful, but not mandatory

Organization

The lecture takes place weekly in room E005: Mondays 9:20-10:50 (DS 2)

Announcements

On Monday, May 27, the lecture will be given by Dr. Penaloza. On Wednesday, May 29, the tutorial has been cancelled. It will be replaced by a Q&A-session at the end of the semester.
On Wednesday, June 5, there is no tutorial due to Dies Academicus.
Important! There will be no lecture on June 24 and no tutorial on June 26. Instead there will be a lecture on July 5 at 9:20 in the usual place.
A consultation will take place on Monday, July 29. The room will soon be announced here.

Credits / Examinations

Students can earn 4 SWS (2/2/0) by attending this lecture.

Please contact me for fixing a date for your examinations.

Modules

Students from the Bachelor Informatik program can use this lecture for the modules INF-B-510 and INF-B-520
Students from the Master Informatik and Diplom Informatik (Ordnung 2010) programs can use this lecture for the modules INF-BAS6 and INF-VERT6 and INF-PM-FOR
Students from the Computational Logic program can use this lecture for the modules KR and TCSL

In order to get the credits, students must pass an oral examination at the end of the semester.

Exercises

A weekly exercise session will be held

on Fridays 13:00-14:30 (DS4) in Room E005 from April 12 to April 19, and
on Wednesdays 14:50-16:20 (DS5) in Room 3027 from April 24 to July 17.

All students are encouraged to present their solutions to the exercises, as they are useful for a better understanding of the lecture material.

Exercise sheets will be available online approx. one week before the session.

Lecture Notes

Lecture notes from a previous semester are available. Please note that the course contents differ between semesters. Therefore, the notes do not replace the material presented during the course. Use them with care.

Literature

All the material necessary for successfully aproving the course will be presented during the lectures. As there is no available script, students are strongly recommended to copy the material written on the blackboard during lecture time. For getting familiar with Description Logics, consult:

F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
Franz Baader. Description Logics. In Reasoning Web: Semantic Technologies for Information Systems, 5th International Summer School 2009, volume 5689 of Lecture Notes in Computer Science, pages 1--39. Springer-Verlag, 2009.

For getting familiar with Fuzzy Logic, consult:

P. Hajek. Metamathematics of Fuzzy Logic. Springer-Verlag. 1998.

Felix Distel