TitleNot all those who wander are lost: Dynamic epistemic reasoning in navigation
AuthorsWang, Yanjing
Li, Yanjun
AffiliationDepartment of Philosophy, Peking University, China
Issue Date2014
Citation9th Conference on Advances in Modal Logic, AiML 2012.Copenhagen, Denmark,9(559-580).
AbstractIn 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 from both frameworks. We made an in-depth study on many model theoretical aspects of the proposed framework and provide a complete axiomatization.
Appears in Collections:哲学系(宗教学系)

Files in This Work
There are no files associated with this item.

Web of Science®

Checked on Last Week


Checked on Current Time

License: See PKU IR operational policies.