Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation

Yanjing Wang, Yanjun Li
2012 Advances in Modal Logic  
In everyday life, people get lost even when they have the map: they simply may not know where they are in the map. However, when moving forward they may have new observations which can help to locate themselves by reasoning. In this paper, we propose and develop a semantic-driven dynamic epistemic framework to handle epistemic reasoning in such navigation scenarios. Our framework can be viewed as a careful blend of dynamic epistemic logic and epistemic temporal logic, thus enjoying features
more » ... both frameworks. We made an in-depth study on many model theoretical aspects of the proposed framework and provide a complete axiomatization.
dblp:conf/aiml/WangL12 fatcat:bgwnkg5swzfylbad3nse4jbfgy