Beta 1


Title Epistemic Planning
Author Hansen, Rene Bjørn
Supervisor Bolander, Thomas (Algorithms and Logic, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2010
Abstract 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
Imprint Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU : DK-2800 Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2010-83
Fulltext
Original PDF ep10_83_net.pdf (0.91 MB)
Admin Creation date: 2010-10-07    Update date: 2012-12-19    Source: dtu    ID: 267646    Original MXD