Dependency in Cooperative Boolean Games - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logic and Computation Year : 2013

Dependency in Cooperative Boolean Games


Cooperative boolean games (CBG) are a family of coalitional games where agents may depend on each other for the satisfaction of their personal goals. In Dunne et al. (2008, Cooperative Boolean games. In Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 1015-1022), the authors define as solution concept the notion of core showing that several decision problems, such as core-emptiness, are Formula-complete. In this work, we investigate how to improve the computation of the core. In particular, we introduce two different types of dependence networks, abstract dependence networks and refined dependence networks, that are used to define the notion of stable coalitions and Δ-reduction, respectively. Stable coalitions enable to focus on a subset of the agents and use results to determinate the core of the whole game. Δ-reduction prunes the search space by returning a set of actions that are not admissible to be executed. We present an algorithm based on stable coalitions and a Δ-reduction implemented in Prolog and experimental results that show how they effectively improve the computation of the core.
No file

Dates and versions

hal-00907869 , version 1 (21-11-2013)



Luigi Sauro, Serena Villata. Dependency in Cooperative Boolean Games. Journal of Logic and Computation, 2013, ⟨10.1093/logcom/exr030⟩. ⟨hal-00907869⟩
124 View
0 Download



Gmail Facebook X LinkedIn More