This seminar will cover different approaches to robot control divided into two tracks: Behavior Synthesis (BS) and Transfer Learning in Reinforcement Learning (RL). The first track studies different approaches to generate behavior models for an agent.
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 11, 2022 Lecture Mondays 08:30h - 10:00h AH II Thursdays 08:30h - 10:00h AH II Tutorial Fridays 16:30h - 17:00h AH I Exam 1 20.
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”.