A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation
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
dblp:conf/aiml/WangL12
fatcat:bgwnkg5swzfylbad3nse4jbfgy