Abstract
Epistemic plausibility models are Kripke models agents use to reason about the knowledge and beliefs of themselves and each other. Restricting ourselves to the single-agent case, we determine when such models are indistinguishable in the logical language containing conditional belief, i.e., we define a proper notion of bisimulation, and prove that bisimulation corresponds to logical equivalence on image-finite models. We relate our results to other epistemic notions, such as safe belief and degrees of belief. Our results imply that there are only finitely many non-bisimilar single-agent epistemic plausibility models on a finite set of propositions. This gives decidability for single-agent epistemic plausibility planning.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andersen, M.B., Bolander, T., Jensen, M.H.: Conditional epistemic planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 94–106. Springer, Heidelberg (2012)
Andersen, M.B., Bolander, T., Jensen, M.H.: Don’t plan for the unexpected: Planning based on plausibility models. Logique et Analyse (to appear, 2014)
Aucher, G.: A combined system for update logic and belief revision. In: Barley, M.W., Kasabov, N. (eds.) PRIMA 2004. LNCS (LNAI), vol. 3371, pp. 1–17. Springer, Heidelberg (2005)
Aucher, G.: DEL-sequents for regression and epistemic planning. Journal of Applied Non-Classical Logics 22(4), 337–367 (2012)
Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Proc. of 7th LOFT. Texts in Logic and Games, vol. 3, pp. 13–60. Amsterdam University Press (2008)
Bolander, T., Andersen, M.B.: Epistemic planning for single and multi-agent systems. Journal of Applied Non-classical Logics 21(1), 9–34 (2011)
Britz, K., Varzinczak, I.: Defeasible modalities. In: Proc. of the 14th TARK (2013)
Demey, L.: Some remarks on the model theory of epistemic plausibility models. Journal of Applied Non-Classical Logics 21(3-4), 375–395 (2011)
Grove, A.: Two modellings for theory change. Journal of Philosophical Logic 17, 157–170 (1988)
Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1990)
Lewis, D.K.: Counterfactuals. Harvard University Press, Cambridge (1973)
Löwe, B., Pacuit, E., Witzel, A.: DEL planning and some tractable cases. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol. 6953, pp. 179–192. Springer, Heidelberg (2011)
Meyer, T.A., Labuschagne, W.A., Heidema, J.: Refined epistemic entrenchment. Journal of Logic, Language, and Information 9, 237–259 (2000)
Segerberg, K.: Irrevocable belief revision in dynamic doxastic logic. Notre Dame Journal of Formal Logic 39(3), 287–306 (1998)
Spohn, W.: Ordinal conditional functions: a dynamic theory of epistemic states. In: Harper, W.L., Skyrms, B. (eds.) Causation in Decision, Belief Change, and Statistics, vol. II, pp. 105–134 (1988)
Stalnaker, R.: Knowledge, belief and counterfactual reasoning in games. Economics and Philosophy 12, 133–163 (1996)
van Benthem, J.: Dynamic logic of belief revision. Journal of Applied Non-Classical Logics 17(2), 129–155 (2007)
van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press (2011)
van Ditmarsch, H.: Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action) 147, 229–275 (2005)
van Ditmarsch, H., Labuschagne, W.A.: My beliefs about your beliefs – a case study in theory of mind and epistemic logic. Synthese 155, 191–209 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Andersen, M.B., Bolander, T., van Ditmarsch, H., Jensen, M.H. (2013). Bisimulation for Single-Agent Plausibility Models. In: Cranefield, S., Nayak, A. (eds) AI 2013: Advances in Artificial Intelligence. AI 2013. Lecture Notes in Computer Science(), vol 8272. Springer, Cham. https://doi.org/10.1007/978-3-319-03680-9_30
Download citation
DOI: https://doi.org/10.1007/978-3-319-03680-9_30
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03679-3
Online ISBN: 978-3-319-03680-9
eBook Packages: Computer ScienceComputer Science (R0)