Sciweavers

Share
IJCAI
2003

Action representation and partially observable planning using epistemic logic

10 years 7 months ago
Action representation and partially observable planning using epistemic logic
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show how to lift the effects of actions (both physical actions and sensing actions) from the state level to the epistemic level. We show how progression, regression and plan generation can be achieved in our framework.
Andreas Herzig, Jérôme Lang, Pierre M
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where IJCAI
Authors Andreas Herzig, Jérôme Lang, Pierre Marquis
Comments (0)
books