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.
A digital copy of the course textbook is freely available on Hector Levesque’s page at The Logic of Knowledge Bases.
- Introduction
- The First-Order Language L
- The Knowledge Language KL
- Properties of KL
- Tell and Ask
- An Extended Example
- Knowledge Bases: Abstract & Concrete
- The Representation Theorem
- Only Knowing
- Connection to Autoepistemic Logic
- Knowing About
- Limited Belief
- Knowledge and Action
Course Dates
The lecture starts on 16.10.2025.
| Day | Time | Place | |
|---|---|---|---|
| Lecture | Thursday | 08:30 - 10:00 | Großer B-IT Raum (2356 053.2) |
| Friday | 08:30 - 10:00 | Großer B-IT Raum (2356 053.2) | |
| Tutorial | Thursday | 14:30 - 16:00 | Großer B-IT Raum (2356 053.2) |
Moodle Course Room
All materials and announcements relevant for this course are available in Moodle.