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.
|Title of host publication||AI 2013: Advances in Artificial Intelligence : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings|
|Publication status||Published - 2013|
|Event||6th Australasian Joint Conference on Artificial Intelligence (AI 2013) - Dunedin, New Zealand|
Duration: 1 Dec 2013 → 6 Dec 2013
|Conference||6th Australasian Joint Conference on Artificial Intelligence (AI 2013)|
|Period||01/12/2013 → 06/12/2013|
|Series||Lecture Notes in Computer Science|