Action emulation

Action emulation (2004)

Cached

Download Links

by Jan Van Eijck , Ji Ruan , Tomasz Sadzik

Venue:	CWI and ILLC, Amsterdam & Department of Economics
Citations:	10 - 4 self

Versions

Version History

Metadata Version 1

Datum	Value	Source
TITLE	Action emulation	INFERENCE
AUTHOR NAME	Jan Van Eijck	SVM HeaderParse 0.2
AUTHOR AFFIL	CWI, Amsterdam and Uil-OTS, Utrecht	SVM HeaderParse 0.2
AUTHOR NAME	Ji Ruan	SVM HeaderParse 0.2
AUTHOR AFFIL	University of Liverpool	SVM HeaderParse 0.2
AUTHOR NAME	Tomasz Sadzik	SVM HeaderParse 0.2
AUTHOR AFFIL	Stanford University	SVM HeaderParse 0.2
ABSTRACT	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 [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 multi-agent systems a useful tool for comparing different ways of representing a particular communicative action. 1.	SVM HeaderParse 0.2
YEAR	2004	INFERENCE
VENUE	CWI and ILLC, Amsterdam & Department of Economics	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
TECH	manuscript	INFERENCE
CITATIONS	16 found	ParsCit 1.0