Lecture - Introduction to Knowledge Representation SS 2012

An announcement of the course can also be found in the course information system CAMPUS.

Contents

Topics covered in the course

The course introduces techniques for knowledge representation and reasoning. The topics covered are:

Proseminar Artificial Intelligence SS 2012

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

Seminar Robust Reliable Robotics SS 2012

In this seminar we will study several aspects of robust and reliable robotics. Robots are machines created to fulfill particular tasks instead of or in cooperation with humans. In virtually all scenarios a failure is annoying or even catastrophic. Planetary rovers cannot be repaired easily or at all, broken factory robots can become vastly expensive not only due to the cost to repair the robot itself, but the problems they cause for the overall supply chain; and domestic service robots operate in close proximity to humans in their habitats and must take special precautions as not to harm a human or damage the interior. These considerations make it necessary to develop techniques and systems that enable a robot system to detect failures or unexpected behavior and at least stop, better even work around the problem.