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.

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”.