Sciweavers

Share
JANCL
2007

A logical characterisation of qualitative coalitional games

9 years 8 months ago
A logical characterisation of qualitative coalitional games
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goal to achieve, and in which agents must typically cooperate with others in order to satisfy their goals. In this paper, we show how it is possible to reason about QCGs using Coalition Logic (CL), a formalism intended to facilitate reasoning about coalitional powers in game-like multiagent systems. We introduce a correspondence relation between QCGs and interpretations for CL, which defines the circumstances under which a CL interpretation correctly characterises a QCG. The complexity of deciding correspondence between QCGs and interpretations for CL is shown to vary from being tractable up to Πp 2-complete, depending on the representation chosen for the QCG and interpretation. We then show how various properties and solution concepts of QCGs can be characterised as CL formula schemes. The ideas are illustrat...
Paul E. Dunne, Wiebe van der Hoek, Michael Wooldri
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JANCL
Authors Paul E. Dunne, Wiebe van der Hoek, Michael Wooldridge
Comments (0)
books