The logic-based programming language Readylog has already been successfully applied to control robots in multiple domains such as in robotic soccer and domestic service robotics. In realistic application scenarios robots often fail, due to various reasons some of which are in the state of the robot('s) software itself.
The objective of this thesis is to develop and implement a system that allows a robot to identify issues leading to failures that occur frequently and prevent the same by appropriate counter measures.
- Programming experience in C++ and Prolog
- Ideally the candidate attended the lectures "Introduction to Artificial Intelligence" and "Introduction to Knowledge Representation"
- Basic knowledge of logic is desirable