Temporal qualitative coalitional games

Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and each choice available to a coalition is a set of goals, which would be jointly satisfied if the coalition made that choice. A coalition in a QCG will typically form in order to bring about a set of goals that will satisfy all members of the coalition. In this paper, we introduce and study Temporal QCGs (TQCGs), i.e., games in which a sequence of QCGs is played. In order to represent and reason about such games, we introduce a linear time temporal logic of QCGs, known as L(TQCG). We give a complete axiomatization of L(TQCG), use it to investigate the properties of TQCGs in a small example, identify its expressive power, establish its complexity, characterise classes of TQGCs with formulas from our logical language, and formulate several (temporal) solution concepts for TQCGs. Categories and Subject Descriptors I...

• Type: Conference
• Year: 2006
• Where: ATAL
• Authors: Thomas Ågotnes, Wiebe van der Hoek, Michael Wooldridge
• Keywords: ATAL 2006, Coalitional Games, Intelligent Agents, Qualitative Coalitional Games, Time Temporal Logic