Proposal for an examination project in the area of 
autonomous intelligent robotics

Supervisor: Jacek Malec

Topic: An autonomous robot equipped with mapping and localization
capabilities plans automatically its actions using active logic
planner and executes them in an office environment (similar to E
building :-)

Short intro:

We have a Pioneer P3DX mobile robot equipped with sonars and laser
scanning capabilities. There are also separately available localisation and
mapping framework (SLAM), based on the concept of "human-augmented
mapping" of E.A. Topp (cs.lth.se/elin_anna_topp), and Active
Logic-based reasoner (ALR), written in Prolog, developed earlier at
the department (fileadmin.cs.lth.se/ai/xj/VictorNilsson/report.pdf),
but verified only on simple problems.

The project would consist of deploying an autonomous robot running
both systems (SLAM and ALR), both in a simulated setup, preferably in
a Player/Stage environment, and on the actual robot. The main goal is
to verify the hypotesis that ALR is a suitable tool for taking
autonomous, intelligent decisions by the robot on-line, under time
pressure, while executing its actions in the real world.

Contact and more information:
Jacek Malec, jacek.malec@cs.lth.se, 046-2224950, office: E:4132A