TARK '01 Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge
Using cooperative mediation to coordinate traffic lights: a case study
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Message delay and DisCSP search algorithms
Annals of Mathematics and Artificial Intelligence
Evaluating the performance of DCOP algorithms in a real world, dynamic problem
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Compact preference representation and Boolean games
Autonomous Agents and Multi-Agent Systems
Dependencies between players in Boolean games
International Journal of Approximate Reasoning
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Journal of Artificial Intelligence Research
Local search for distributed asymmetric optimization
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Designing incentives for Boolean games
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Manipulating boolean games through communication
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Incentive engineering for Boolean games
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Towards tractable Boolean games
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Dependency in Cooperative Boolean Games
Journal of Logic and Computation
Hi-index | 0.00 |
Agents in a Boolean game have a personal goal represented as a propositional logic formula over a set of Boolean variables, where some of these variables are not necessarily held by the agent. The actions available to each agent are assumed to have some cost, and the agent's secondary goal is to minimize its costs. An interesting problem is to find a taxation scheme that imposes additional costs on the agents' actions such that it incentivizes the agents to reach a stable state. The present paper first theoretically outlines the characteristics of Boolean games for which stabilization can be achieved by applying a taxation scheme. Next, a search method for an appropriate taxation scheme is proposed. The proposed method transforms the Boolean game into an Asymmetric Distributed Constraint Optimization Problem (ADCOP). ADCOPs are a natural representation of Boolean games and enable effective search by using existing algorithms. A Boolean game that represents a traffic light coordination game is used throughout the paper as a clarifying example. Finally, an experimental evaluation of the traffic light example confirms the applicability of the proposed search method and outlines some attributes of the game and the search process.