Skip to Main content Skip to Navigation
New interface
Journal articles

Dependency in Cooperative Boolean Games

Luigi Sauro 1 Serena Villata 2 
2 WIMMICS - Web-Instrumented Man-Machine Interactions, Communities and Semantics
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - SPARKS - Scalable and Pervasive softwARe and Knowledge Systems
Abstract : 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.
Document type :
Journal articles
Complete list of metadata
Contributor : Serena Villata Connect in order to contact the contributor
Submitted on : Thursday, November 21, 2013 - 10:46:47 PM
Last modification on : Wednesday, November 30, 2022 - 4:14:07 PM

Links full text




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



Record views