Knowledge-Based Systems Group
Prof. Gerhard Lakemeyer, Ph.D.
Lecture - Introduction to Knowledge Representation SS 2020
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
- Inheritance networks
- Defaults
- Action
- Planning
- Abductive explanations
- Expressiveness/tractability trade-offs
Course Dates
| starting Monday, April 20, 2020 | |||
|---|---|---|---|
| Lecture | Mondays | 08:30h - 10:00h | AH II |
| Thursdays | 08:30h - 10:00h | AH II | |
| Tutorial | Wednesdays | 14:30h - 16:00h | AH II |
| Exam 1 | TBA | ||
| Exam 2 | TBA |
Literature
Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.
Lecture: Uncertainty in Robotics SS 2020
Contents
- Introduction to Mobile Robotics
- Basics of Probability Theory
- State Estimation
- Mapping
- Markov Localization
- Monte Carlo Localization
- Simultaneous Localization and Mapping (SLAM)
- Markov Decision Processes (MDPs)
- Partially observable Markov Decision Processes (POMDPs)
- Reasoning about action under uncertainty
Course Dates
The lecture starts on Friday, April 24, 2020.
Proseminar: Artificial Intelligence SS 2020
The proseminar will be on different (sub-)topics from artificial intelligence. We largely follow the lines of the well known textbook by Stuart Russell and Peter Norvig “Artificial Intelligence - A Modern Approach”.