In this seminar we will study plan generation and plan execution in robotic domains. While planning deals with the problem of finding suitable actions to accomplish a certain goal, plan execution and monitoring on robots come with additional problems: The agent’s knowledge is no longer complete, the environment may change during plan execution, humans and other agents may interfere with the agent’s actions, and resource and temporal constraints need to be honored. The plan executive needs to execute actions physically on a robot, adapt to changes during execution, and repair the current plan or replan if necessary. In this seminar, we will look at various methods to deal with those problems and we will investigate how these methods are applied on real-world robotic systems.
Participation
Students of Bachelor and Master programs can participate in this seminar. For Master Informatik students, the seminar belongs to the fields Data and Information Management. Certain topics may also be suitable for the field Theoretical Computer Science, please contact us beforehand. For Master Software Systems Engineering (SSE) students, it belongs to the fields Theoretical Foundations of SSE and Data and Information Management.
Places are allocated centrally from 13.01.2017 until 29.01.2017. In your application please clearly indicate your prior knowledge of the subject (see the requirements section). We won’t be able to consider your application otherwise. The number of available slots is limited.
Requirements
Knowledge of the fundamental concepts of Artificial Intelligence is strongly recommended, an understanding of knowledge representation and logic will be helpful. Relevant courses include Introduction into Artificial Intelligence, Knowledge Representation, and Mathematical Logic.
Additional information
Introductory Meeting
- The introductory meeting will take place in the beginning of the semester, the exact date will be announced. Participation is compulsory.
Seminar Procedure
-
Besides writing your own term paper, you are asked to review other students’ term papers. We will use a conference management system (e.g., EasyChair) for this procedure. It will involve strict deadlines. Meeting these deadlines is mandatory. At the end of the seminar each student needs to give a talk on his topic in front of the other students and members of our group. Attendance of these talks and participation in the discussions is mandatory. Seminar Date
-
The seminar will be held as a block seminar on two or three days, likely during the semester break.
Typesetting
- You may use this LaTeX template for your term paper.
General Info
- Please read and understand our general information and suggestions on seminars!
Library Tour
- The Computer Science Library offers guided tours on how to find literature in the library and how to prepare a seminar. Interested students should enlist for a tour in the preliminary discussion.