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

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

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.

Only students that do not need to enroll at the ZPA for the exam need to register here. For instance, these are diploma students or students who are currently pursuing their Bachelor degree but intend to use the exam for their Master's studies.

The registratration will be open until September 21.

Fields marked with an asterisk are mandatory.

Humanity has crossed the line from being a rural to urban species since 2007. For the first time in history, more people live in cities and urban areas than in the countryside. Starting in the developed nations, where the urbanisation process has been significantly decelerated in the meantime, urbanisation has especially increased in Asia and South America as well as in Africa to a substantial extent in the second half of the last century.

Only students that do not need to enroll at the ZPA for the exam need to register here. For instance, these are diploma students or students who are currently pursuing their Bachelor degree but intend to use the exam for their Master's studies.

The registratration will be open until July 22.

Fields marked with an asterisk are mandatory.

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

Introduction

Knowledge Representation (KR) is a vibrant and exciting field in artificial intelligence. The endeavor rests on two fundamental ideas. First, to reason about the problem domain one must formalize it, perhaps in some logical formalism such as propositional logic or first-order logic. Second, for the representation to be useful one must be able to obtain reasonable and intuitive inferences in a timely fashion.

Unfortunately, propositional reasoning is intractable (Boolean reasoning is NP-COMPLETE) and first-order logic is undecidable. Thus, an important goal in the KR enterprise is to find a tradeoff be- tween the expressiveness of the representational language and the computational behavior of associated reasoning tasks. A main objective of this seminar is to discuss approaches bordering this tradeoff.