Preferences in Game Logics

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Sieuwert van Otterloo Articles by Wiebe van der Hoek Articles by Michael Wooldridge

Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1 (AAMAS'04)

New York City, New York, USA

July 19-July 23

ISBN: 0-7695-2092-8

	ASCII Text	x
	Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge, "Preferences in Game Logics," Autonomous Agents and Multiagent Systems, International Joint Conference on, vol. 1, pp. 152-159, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1 (AAMAS'04), 2004.

	BibTex	x
	@article{ 10.1109/AAMAS.2004.10028, author = {Sieuwert van Otterloo and Wiebe van der Hoek and Michael Wooldridge}, title = {Preferences in Game Logics}, journal ={Autonomous Agents and Multiagent Systems, International Joint Conference on}, volume = {1}, year = {2004}, isbn = {0-7695-2092-8}, pages = {152-159}, doi = {http://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10028}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Autonomous Agents and Multiagent Systems, International Joint Conference on TI - Preferences in Game Logics SN - 0-7695-2092-8 SP152 EP159 A1 - Sieuwert van Otterloo, A1 - Wiebe van der Hoek, A1 - Michael Wooldridge, PY - 2004 KW - null VL - 1 JA - Autonomous Agents and Multiagent Systems, International Joint Conference on ER -

Sieuwert van Otterloo, University of Liverpool

Wiebe van der Hoek, University of Liverpool

Michael Wooldridge, University of Liverpool

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10028

We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agents in order to realize their own preferences. GLP can be applied to the analysis of social protocols such as voting or fair division problems; we illustrate this use of GLP with a number of worked examples. We then prove that the model checking problem for GLP is tractable, and describe an implemented model checker for the logic — by using the model checker, it is possible to automate the analysis and verification of social protocols.

Citation:

Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge, "Preferences in Game Logics," aamas, vol. 1, pp.152-159, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1 (AAMAS'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.