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

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

Conference

Conference6th Australasian Joint Conference on Artificial Intelligence (AI 2013)
CountryNew Zealand
CityDunedin
Period01/12/201306/12/2013
Internet address
SeriesLecture Notes in Computer Science
Volume8272
ISSN0302-9743

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

Cite this