Knowledge-Based Systems Group
Prof. Gerhard Lakemeyer, Ph.D.
Lecture - Introduction to Knowledge Representation SS 2024
Contents
The course introduces techniques for knowledge representation and reasoning. The topics covered are:
- First-order logic
- Expressing knowledge
- Full clausal logic
- Horn logic
- Procedural representations
- Answer set programming
- Production systems
- Description logics
- Defaults
- Abductive explanations
- Action
- Planning
- Expressiveness/tractability trade-offs
Course Dates
| starting April 15, 2024 | |||
|---|---|---|---|
| Lecture | Mondays | 08:30h - 10:00h | AH 3 |
| Tuesdays | 08:30h - 10:00h | AH 2 | |
| Tutorial | Wednesdays | 14:30h - 16:00h | AH 3 |
| Exam 1 | 26.07.2024 | 14:30h - 16:00h | BS 218 (2130|218) |
| Exam 2 | 04.09.2024 | 08:30h - 10:00h | Grüner Hörsaal AM (Gr) (1420|001) |
Literature
Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.