# Exact and heuristic methods for solving Boolean games

## Abstract

Boolean games are a framework for reasoning about the rational behavior of agents whose goals are formalized using propositional formulas. Compared to normal form games, a well-studied and related game framework, Boolean games allow for an intuitive and more compact representation of the agents’ goals. So far, Boolean games have been mainly studied in the literature from the Knowledge Representation perspective, and less attention has been paid on the algorithmic issues underlying the computation of solution concepts. Although some suggestions for solving specific classes of Boolean games have been made in the literature, there is currently no work available on the practical performance. In this paper, we propose the first technique to solve general Boolean games that does not require an exponential translation to normal-form games. Our method is based on disjunctive answer set programming and computes solutions (equilibria) of arbitrary Boolean games. It can be applied to a wide variety of solution concepts, and can naturally deal with extensions of Boolean games such as constraints and costs. We present detailed experimental results in which we compare the proposed method against a number of existing methods for solving specific classes of Boolean games, as well as adaptations of methods that were initially designed for normal-form games. We found that the heuristic methods that do not require all payoff matrix entries performed well for smaller Boolean games, while our ASP based technique is faster when the problem instances have a higher number of agents or action variables.

## Keywords

Boolean games Heuristic methods Answer set programming## Notes

### Acknowledgments

This research is funded by the Research Foundation Flanders (FWO).

## References

- 1.Ågotnes, T., Harrenstein, P., van der Hoek, W., & Wooldridge, M. (2013). Verifiable equilibria in Boolean games. In
*Proceedings of IJCAI*(pp. 689–695).Google Scholar - 2.Aumann, R. (1960). Acceptable points in games of perfect information.
*Pacific Journal of Mathematics*,*10*(2), 381–417.MathSciNetCrossRefzbMATHGoogle Scholar - 3.Baral, C. (2003).
*Knowledge representation, reasoning and declarative problem solving*. New York: Cambridge University Press.CrossRefzbMATHGoogle Scholar - 4.Ben-Naim, J., & Lorini, E. (2014). Evaluating power of agents from dependence relations in boolean games. In
*Proceedings of AAMAS*(pp. 853–860).Google Scholar - 5.Bonzon, E., Lagasquie-Schiex, M. C., & Lang, J. (2007). Dependencies between players in Boolean games. In
*Proceedings of ECSQARU*, pp. 743–754. Springer, Berlin.Google Scholar - 6.Bonzon, E., Lagasquie-Schiex, M. C., & Lang, J. (2009). Dependencies between players in Boolean games.
*International Journal of Approximate Reasoning*,*50*(6), 899–914.MathSciNetCrossRefzbMATHGoogle Scholar - 7.Bonzon, E., Lagasquie-Schiex, M. C., & Lang, J. (2012). Effectivity functions and efficient coalitions in Boolean games.
*Synthese*,*187*, 73–103.CrossRefzbMATHGoogle Scholar - 8.Bonzon, E., Lagasquie-Schiex, M. C., Lang, J., & Zanuttini, B. (2006). Boolean games revisited. In
*Proceedings of ECAI*(pp. 265–269). ACM, New York.Google Scholar - 9.Bonzon, E., Lagasquie-Schiex, M. C., Lang, J., & Zanuttini, B. (2009). Compact preference representation and Boolean games.
*Autonomous Agents and Multi-Agent Systems*,*18*(1), 1–35.CrossRefGoogle Scholar - 10.Brewka, G., Eiter, T., & Truszczyński, M. (2011). Answer set programming at a glance.
*Communications of the ACM*,*54*(12), 92–103.CrossRefGoogle Scholar - 11.De Clercq, S., Bauters, K., Schockaert, S., De Cock, M., & Nowé, A. (2014). Using answer set programming for solving Boolean games. In
*Proceedings of KR*(pp. 602–605).Google Scholar - 12.De Clercq, S., Bauters, K., Schockaert, S., Mihaylov, M., De Cock, M., & Nowé, A. (2014). Decentralized computation of Pareto optimal pure Nash equilibria of Boolean games with privacy concerns. In
*Proceedings of ICAART*(pp. 50–59).Google Scholar - 13.De Clercq, S. (contact person). http://www.cwi.ugent.be/BooleanGamesSolver.html.
- 14.De Vos, M., & Vermeir, D. (1999). Choice logic programs and Nash equilibria in strategic games. In
*Proc. CSL*(pp. 266–276). Springer, Berlin.Google Scholar - 15.Dunne, P., van der Hoek, W., Kraus, S., & Wooldridge, M. (2008). Cooperative Boolean games. In
*Proceedings of AAMAS*(vol. 2, pp. 1015–1022), IFAAMAS.Google Scholar - 16.Dunne, P. E., & Wooldridge, M. (2012). Towards tractable Boolean games. In
*Proceedings of AAMAS*(pp. 939–946), IFAAMAS.Google Scholar - 17.Eiter, T., & Gottlob, G. (1995). On the computational cost of disjunctive logic programming: Propositional case.
*Annals of Mathematics and Artificial Intelligence*,*15*(3–4), 289–323.MathSciNetCrossRefzbMATHGoogle Scholar - 18.Faber, W., Leone, N., & Ricca, F. (2005). Solving hard problems for the 2nd level of the Polynomial Hierarchy: Heuristics and benchmarks.
*Intelligenza Artificiale*,*2*(3), 21–28.Google Scholar - 19.Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In
*Proceedings of ICLP/SLP*(pp. 1070–1080).Google Scholar - 20.Gelfond, M., & Lifschitz, V. (1991). Classical negation in logic programs and disjunctive databases.
*New Generation Computing*,*9*(3–4), 365–385.CrossRefzbMATHGoogle Scholar - 21.Gottlob, G., Greco, G., & Scarcello, F. (2003). Pure Nash equilibria: hard and easy games. In
*Proceedings of TARK*(pp. 215–230). ACM, New York.Google Scholar - 22.Gottlob, G., Greco, G., & Scarcello, F. (2005). Pure nash equilibria: Hard and easy games.
*Journal of Artificial Intelligence Research*,*24*, 357–406.MathSciNetzbMATHGoogle Scholar - 23.Grinstead, C., & Snell, J. (1997).
*Introduction to probability*. New York: American Mathematical Society.zbMATHGoogle Scholar - 24.Harrenstein, P., van der Hoek, W., Meyer, J. J., Witteveen, C. (2001). Boolean games. In
*Proceedings of TARK*(pp. 287–298). Morgan Kaufmann Publishers Inc., San Francisco.Google Scholar - 25.Mihaylov, M. (2012). Decentralized coordination in multi-agent systems. Ph.D. thesis, Vrije Universiteit Brussel, Brussels.Google Scholar
- 26.Mihaylov, M., Tuyls, K., & Nowé, A. (2014). A decentralized approach for convention emergence in multi-agent systems.
*Autonomous Agents and Multi-Agent Systems*,*28*(5), 749–778.CrossRefGoogle Scholar - 27.Papadimitriou, C. (1994).
*Computational complexity*. Reading, MA: Addison-Wesley.zbMATHGoogle Scholar - 28.Sureka, A., & Wurman, P. R. (2005). Using tabu best-response search to find pure strategy Nash equilibria in normal form games. In
*Proceedings of AAMAS*(pp. 1023–1029).Google Scholar - 29.Wooldridge, M., Endriss, U., Kraus, S., & Lang, J. (2013). Incentive engineering for Boolean games.
*Artificial Intelligence*,*195*, 418–439.MathSciNetCrossRefzbMATHGoogle Scholar