Preferences in Game Logics
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.
Type: Conference or Workshop Item (Paper)
Member Organisation: 001 University of Liverpool

van Otterloo, S. and van der Hoek, W. and Wooldridge, M. (2004) Preferences in Game Logics. In: Autonomous Agents and Multi Agent Systems, 19-23 Jul 2004, New York.

Full text not available from this archive.


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.

Deposited by Sieuwert van Otterloo on 07 February 2005

Archive Staff Only: edit this record


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact