||Hansen, Rene Bjørn
||Bolander, Thomas (Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||This thesis conceptually combines automated planning with dynamic epistemic
logic in order to create a planner better equipped to handle partially observable
domains. An epistemic planning system is proposed that constructs conditional
plans, which branches on the sensory information acquired at execution time.
Different properties of update models are discussed and a problem in connection
with factual updates are addressed.
Consequently the epistemic planner is able to solve purely epistemic planning
problems, which is exemplified with a small handmade domain
||Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Creation date: 2010-10-07
Update date: 2012-12-19