Knowledge-Based Systems Group

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

Literature

Ronald J. Brachman and Hector J. Levesque.
Knowledge Representation and Reasoning.
Morgan Kaufmann, 2004.

Contents

1. Introduction to Mobile Robotics
2. Basics of Probability Theory
3. State Estimation
4. Mapping
5. Markov Localization
6. Monte Carlo Localization
7. Simultaneous Localization and Mapping (SLAM)
8. Markov Decision Processes (MDPs)
9. Partially observable Markov Decision Processes (POMDPs)
10. Reasoning about action under uncertainty

Course Dates

The lecture starts on Friday, April 24, 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”.