Results 1 
1 of
1
Action emulation
 CWI and ILLC, Amsterdam & Department of Economics
, 2004
"... 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 multiagent models with update action models [3], now in widespread use (see [10] for a textbook treatment). There is a natural exten ..."
Abstract

Cited by 12 (5 self)
 Add to MetaCart
(Show Context)
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 multiagent models with update action models [3], now in widespread use (see [10] for a textbook treatment). 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 structural equivalence more appropriate for action models, and generalizing standard bisimulation. It is proved that action emulation provides a full characterization of update effect, provided we confine attention to ‘smooth ’ action models. We also give a recipe for turning any action model into a smooth one with the same update effect. Together, this yields a simplification procedure for action models, and it gives designers of multiagent systems a useful tool for comparing different ways of representing a particular communicative action. 1.