Lecture - Introduction to Knowledge Representation SS 2020

Sunday, Mar 29, 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…

Lecture: Uncertainty in Robotics SS 2020

Friday, Mar 27, 2020

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…