Action Emulation Between Canonical Models

D. J. N. Van Eijck 1 F. A. G. Sietsma 1
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : In this paper we investigate Kripke models, used to model knowledge or belief in a static situation, and action models, used to model communicative actions that change this knowledge or belief. The appropriate notion for structural equivalence between modal structures such as Kripke models is bisimulation: Kripke models that are bisimilar are modally equivalent. We would like to find a structural relation that can play the same role for the action models that play a prominent role in information updating. Two action models are equivalent if they yield the same results when updating Kripke models. More precisely, two action models are equivalent if it holds for all Kripke models that the result of updating with one action model is bisimilar to the result of updating with the other action model. We propose a notion of action emulation that characterizes the structural equivalence of the important class of canonical action models. Since every action model has an equivalent canonical action model, this gives a method to decide the equivalence of any pair of action models. We also give a partial result that holds for the class of all action models.
Type de document :
Communication dans un congrès
Bonanno, G. and van Ditmarsch, H. and van der Hoek, W. Proceedings of Conference on Logic and the Foundations of Game and Decision Theory 2012, Jun 2012, Sevilla, Spain. University of Sevilla, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00756863
Contributeur : Jurgen Vinju <>
Soumis le : vendredi 23 novembre 2012 - 21:32:15
Dernière modification le : mercredi 14 décembre 2016 - 01:07:09

Identifiants

  • HAL Id : hal-00756863, version 1

Collections

Citation

D. J. N. Van Eijck, F. A. G. Sietsma. Action Emulation Between Canonical Models. Bonanno, G. and van Ditmarsch, H. and van der Hoek, W. Proceedings of Conference on Logic and the Foundations of Game and Decision Theory 2012, Jun 2012, Sevilla, Spain. University of Sevilla, 2012. 〈hal-00756863〉

Partager

Métriques

Consultations de la notice

76