Action Emulation

D. J. N. Van Eijck 1 J. Ruan T. Sadzik
1 ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
Inria Lille - Nord Europe, CWI - Centrum Wiskunde & Informatica
Abstract : The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without being bisimilar. We propose action emulation as a notion of equivalence more appropriate for action models, and generalizing standard bisimulation. It is proved that action emulation provides a full characterization of update effect. We first concentrate on the general case, and next focus on the important case of action models with propositional preconditions. Our notion of action emulation yields a simplification procedure for action models, and it gives designers of multi-agent systems a useful tool for comparing different ways of representing a particular communicative action.
Type de document :
Article dans une revue
Synthese, Springer Verlag (Germany), 2012, 185 (1), pp.131 - 151
Liste complète des métadonnées

https://hal.inria.fr/hal-00756870
Contributeur : Jurgen Vinju <>
Soumis le : vendredi 23 novembre 2012 - 21:42:33
Dernière modification le : mercredi 29 novembre 2017 - 15:06:21

Identifiants

  • HAL Id : hal-00756870, version 1

Collections

Citation

D. J. N. Van Eijck, J. Ruan, T. Sadzik. Action Emulation. Synthese, Springer Verlag (Germany), 2012, 185 (1), pp.131 - 151. 〈hal-00756870〉

Partager

Métriques

Consultations de la notice

74