Hauptseminar des Lehrstuhls für Automatentheorie
Hauptseminar theoretische Informatik:
"Notions of Similarity in Logic"
- Position in
- Informatik (both diploma and bachelors
degree), starting from 5. semester, Wahlpflichtveranstaltung (-/-/2)
Computational Logic: Modules TCSL and IT, 3 credit points
- Basic knowledge in logic.
For computer scientist students: Pflichtvorlesung Grundlagen der Theoretischen Informatik.
- The language of the seminar is English — unless attended by
native German speakers, only.
- The presentations will be held on July 9 and July 16
at 14:50 o'clock (5. DS) in room E005.
- Topic of the
The topic of the Hauptseminar will be "Notions of Similarity in Logic".
When making comparisons humans tend to think in terms of similarity rather than
equivalence. Numerous approaches exist to introduce the vagueness of similarity
into different fields of logic. Among these are
- heuristic similarity measures to compare concepts, individuals or
ontologies in description logics
- similarity as a concept constructor
- conservative extensions as a tool for comparing ontologies
- fuzzy logic and certain many-valued logics
- comparing logics with respect to expressivity
- Goal of the Hauptseminar
- Apart from learning about the main topic, students should learn
how to get acquainted with a relevant body of literature, how to
produce a well-structured paper, and how to give an understandable
- Duties of Participants
- The papers (and partner papers) have been distributed according to the
During the seminar, the student has to understand the relevant
literature and writes a paper about the chosen topic (~12 pages). In
doing this, he/she receives individual support by the tutor. The
produced paper is required to conform to the standards of scientific
writing. Finally, each student presents his/her work in a talk to the
It is also the duty of the participants to reserve enough time for
performing the seminar. It is the obligation of the participant to
start working in time, and to make appointments with their tutors for
regular meetings during the semester. In particular, students must
present to their tutors
- a full version of their paper before the deadline (cf.
table above) and
- a first version of all the slides for their talk at least
2 weeks before the talk.
The seminar is coordinated by Felix Distel.
Last modified: Fri Jan 15 13:17:28 CET 2010