Logic-based Knowledge Representation

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

Prof. Dr.-Ing. Franz Baader

Course Description

Starting from a short description of early knowledge representation formalisms (such as Semantic Networks and Frames) and their shortcomings, the course will illustrate how results and methods from logic can support the design of knowledge representation systems that have high expressive power and sound and complete reasoning algorithms. In particular, we will consider Description Logics, Modal Logics, and Nonmonotonic Logics as formalisms for respectively representing terminological knowledge, subjective and time dependent knowledge, and uncertain and incomplete knowledge.

Organization

The lecture takes place twice a week in room GRU 350: Tuesday 16:40-18:10 and Thursday 14:50-16:20.

The exercise group takes place on Wednesday 11:10-12:40 in room GRU 351 (Dr. Carsten Lutz).

The oral examinations of CL students will take place on August, 2 in room 433 (Prof. Baader's office). Appointments can be made with Carsten Lutz.

NEW: Evaluation of the questionnaire available for download

Slides

• Slide 1
• Slide 2
• Slide 3
• Slide 4
• Slide 5
• Slide 6
• Slide 7
• Slide 8
• Slide 9
• Slide 10
• Slide 11
• Slides 12 + 13
  
  
• Slide 14

Exercises

• Exercise 1
• Exercise 2
• Exercise 3
• Exercise 4
• Exercise 5
• Exercise 6
• Exercise 7
• Exercise 8
• Exercise 9
• Exercise 10
• Exercise 11
• Exercise 12
• Exercise 13

Slides from the exercise group

• Slide 1
• Slides 2-4

Literature

The following literature can be downloaded via FTP or found at the WebOPAC of SLUB.

• F. Baader: Logic-Based Knowledge Representation. In M.J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today, Recent Trends and Developments, number 1600 in Lecture Notes in Computer Science, pages 13-41. Springer Verlag, 1999. Available electronically at ftp://www-lti.informatik.rwth-aachen.de/pub/lehre/wr-ss01/Baader-Artikel-LNAI.ps
  
  
• F. Baader and U. Sattler. An Overview of Tableau Algorithms for Description Logics. Studia Logica, 69:5-40, 2001. Available electronically at ftp://www-lti.informatik.rwth-aachen.de/pub/papers/2001/BaaderSattler-StudiaLogica.ps.gz
  
  
• Halpern, J. Y. and Moses, Y.: A guide to completeness and complexity for modal logic of knowledge and belief. Artificial Intelligence, volume 54, pages 319-379, 1992.
  
  
• G. Brewka, J. Dix, and Kurt Konolige: Nonmonotonic Reasoning: An Overview. CSLI Lecture Notes, volume 73, CSLI Publications", Stanford, CA, 1997.