This semester's proseminar will be on different (sub-)topics from artificial intelligence. We mainly follow the lines of the well known textbook by Stuart Russell and Peter Norvig "Artificial Intelligence - A Modern Approach".
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.
The topics include recent papers on execution monitoring, robot system debugging, and fault detection.