Bisimulation for Single-Agent Plausibility Models

Mikkel Birkegaard Andersen, Thomas Bolander, H. van Ditmarsch, Martin Holm Jensen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


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.
Original languageEnglish
Title of host publicationAI 2013: Advances in Artificial Intelligence : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings
Publication date2013
ISBN (Print)978-3-319-03679-3
ISBN (Electronic)978-3-319-03680-9
Publication statusPublished - 2013
Event6th Australasian Joint Conference on Artificial Intelligence (AI 2013) - Dunedin, New Zealand
Duration: 1 Dec 20136 Dec 2013


Conference6th Australasian Joint Conference on Artificial Intelligence (AI 2013)
CountryNew Zealand
Internet address
SeriesLecture Notes in Computer Science

Fingerprint Dive into the research topics of 'Bisimulation for Single-Agent Plausibility Models'. Together they form a unique fingerprint.

Cite this