TY - GEN
T1 - Preferences in Game Logics
AU - van Otterloo, Sieuwert
AU - Wooldridge, M.
AU - van der Hoek, Wiebe
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
U2 - 10.1109/AAMAS.2004.214
DO - 10.1109/AAMAS.2004.214
M3 - Conference contribution
VL - 2
T3 - AAMAS conference proceedings
SP - 152
EP - 159
BT - AAMAS 2004 conference proceedings
PB - IEEE
ER -