Download Details

BDRL-UP-8: Artificial Intelligence Methods for Robotic Planning
Problem Statement
The aim of this project is robotic planning using two AI methods, LTL (Linear Temporal
Logic) and POP (Partial Order Planning), in a simulation environment.
Project Description
In this project, there are three main tasks, choosing a simulation environment, robotic
planning using AI methods and running robotic plans in the simulation environment.
1) Choosing a Simulation Environment
First part of the project is choosing a simulation environment which is appropriate for
LTL and POP. It is also an option to implement your own simulation environment with
OpenGL.
2) Robotic Planning Using AI Methods
In this part, you will construct some robotic plans such as motion planning, resource
planning.. etc. using LTL and POP. To this end, you will need to make a background on
LTL and POP. You will not be alone to define these planning problems, we will form this
problems together.
3) Running Robotic Plans in the Simulation Environment
After constructing of LTL and POP plans, you will run these plans on the simulation
environment. The main problem of this part is how to connect between the simulation
environment and constructed plans.
Expected Project Outcomes
End of the project, there should be a robotic simulation environment where we can run
some robotic plans of LTL and POP in the simulation.
Optional Extras
If you have time after finishing this project, you can also run Prolog plans that exist in
the simulation environment and compare its performance with the performance of this project.
Desired Skills / Background
For this project, we are looking for one or two CS students. It is an extra if you took AI
course.
For more information: Sıtar Kortik, [email protected]