Lecture - The Logic of Knowledge Bases SS 2009

Submitted by Jens Claßen on 7. April 2009 - 12:48
Note: The registration form for the midterm exam can be found here.

An announcement of the course can also be found in the course information system CAMPUS.

Contents

This course is about the logic of knowledge bases, in two distinct but related senses. On the one hand, a knowledge base is a collection of sentences in a representation language that entails a certain picture of the world represented. On the other hand, having a knowledge base entails being in a certain state of knowledge where a number of other epistemic properties hold. One of the principal aims of this course is to develop a detailed account of the relationship between symbolic representations of knowledge and abstract states of knowledge. Students wishing to attend the course should be familiar with first-order predicate logic.

  1. Introduction
  2. The First-Order Language L
  3. The Knowledge Language KL
  4. Properties of KL
  5. Tell and Ask
  6. An Extended Example
  7. Knowledge Bases: Abstract & Concrete
  8. The Representation Theorem
  9. Only Knowing
  10. Connection to Autoepistemic Logic
  11. Knowing About
  12. Limited Belief
  13. Knowledge and Action

Course Dates

This course starts on Monday, 20th April 2009.
Lecture Monday 14:30h - 16:00h
14:25h - 15:55h
AH V
Wednesday 08:15h - 09:45h AH V
Tutorial Wednesday 13:15h - 14:45h AH I

L²P Course Room

Link to the L²P Course Room for this course


Note:

  • All materials and announcements relevant for this course will be
    published at the L²P Course Room.
  • To login, students have to register for the course via Campus Office.