Bachelor Project in Software Technology

Project number 9992

Reasoning about knowledge in planning


The project concerns the integration of epistemic logic in planning algorithms. The idea is to integrate logical frameworks for reasoning about knowledge, beliefs and actions into existing planning algorithm schemes like Hierarchical Task Networks (HTN). The goal of this integration is to build a strong planner suitable for multi-player strategic computer games.


Thomas Bolander

Students (Spring 2007)

Mikkel Birkegaard Andersen
Andreas Nyberg Garnęs