The Cluster of Excellence “Internet of Production” is a huge interdisciplinary project with more than 25 institutes at the RWTH. The KBSG is part of that cluster and is involved in all kind of decision support for production processes. That includes modelling and planning of processes, and using AI techniques to optimise these processes. Among other things the used methods might be logic-based knowledge representation; the robot programming language Golog based on the situation calculus; automated planning methods, including classical planning, decision-theoretic planning, numerical planning, planning under uncertainty; goal reasoning; verification of robot programs; execution monitoring and plan repair; high-level robot control; informed search and machine learning.
The offered Bachelor’s Thesis is about developing an infrastructure for autonomous agents. That encompasses modelling the agent behaviour in a logic language and implement the communication between such agents. Furthermore, you should develop a procedure for deploying theses agents as a Platform as a Service. Finally, you should connect the agents with different AI methods like ontologies, planning or machine learning algorithms.
What you need:
- Interest in interdisciplinary work
- Experience in programming languages
- Interest in learning new methods and programming languages
What is desirable:
- Foundations in Logic
- Knowledge of Prolog, Python, C++
If you are interested, please contact liebenberg[at]kbsg[dot]rwth-aachen[dot]de.