[en] In this paper we study boolean game with prioritized norms. Norms distinguish illegal strategies from legal strategies. Notions like legal strategy and legal Nash equilibrium are introduced. Our formal model is a combination of (weighted) boolean game and so called (prioritized) input/output logic. After formally presenting the model, we use examples to show that non-optimal Nash equilibrium can be avoided by making use of norms.We study various complexity issues related to legal strategy and legal Nash equilibrium.
Disciplines :
Sciences informatiques
Auteur, co-auteur :
SUN, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
Boolean Game with Prioritized Norms
Date de publication/diffusion :
28 octobre 2015
Nom de la manifestation :
The Fifth International Conference on Logic, Rationality and Interaction
Date de la manifestation :
28-10-2015
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the Fifth International Conference on Logic, Rationality and Interaction
Ågotnes, T., van der Hoek, W., Rodríguez-Aguilar, J.A., Sierra, C., Wooldridge, M.: On the logic of normative systems. In: Veloso, M.M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, Hyderabad, India, January 6-12, pp. 1175–1180 (2007)
Alechina, N., Dastani, M., Logan, B.: Reasoning about normative update. In: Rossi, F. (ed.) Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013, Beijing, China, August 3-9. IJCAI/AAAI (2013)
Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L.W.N. (eds.): Normative Multi-Agent Systems. Dagstuhl Follow-Ups, vol. 4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2013)
Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press, New York (2009)
Bilό, V.: On satisfiability games and the power of congestion games. In: Kao, M.-Y., Li, X.-Y. (eds.) AAIM 2007. LNCS, vol. 4508, pp. 231–240. Springer, Heidelberg (2007)
Boella, G., van der Torre, L., Verhagen, H.: Introduction to the special issue on normative multiagent s ystems. Autonomous Agents and Multi-Agent Systems 17(1), 1–10 (2008)
Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J.: Dependencies between players in boolean games. Int. J. Approx. Reasoning 50(6), 899–914 (2009)
Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J., Zanuttini, B.: Boolean games revisited. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) 17th European Conference on Artificial Intelligence, ECAI 2006, Proceedings of th Including Prestigious Applications of Intelligent Systems (PAIS 2006), Riva del Garda, Italy, August 29 - September 1. Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 265–269. IOS Press (2006)
Bonzon, E., Lagasquie-Schiex, M.-C., Lang, J., Zanuttini, B.: Compact preference representation and boolean games. Autonomous Agents and Multi-Agent Systems 18(1), 1–35 (2009)
Buss, S.R., Hay, L.: On truth-table reducibility to SAT. Inf. Comput. 91(1), 86–102 (1991)
Coase, R.: The problem of social cost. Journal of Law and Economics 1 (1960)
Coleman, J.: Foundations of Social Theory. Belnap Press (1998)
Dunne, P.E., van der Hoek, W., Kraus, S., Wooldridge, M.: Cooperative boolean games. In: Padgham, L., Parkes, D.C., M¨uller, J.P., Parsons, S. (eds.) 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, vol. 2, pp. 1015–1022. IFAAMAS (2008)
Gabbay, D., Horty, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.): Handbook of Deontic Logic and Normative Systems. College Publications, London (2014)
Grossi, D., Tummolini, L., Turrini, P.: Norms in game theory. In: Handbook of Agreement Technologies (2012)
Harrenstein, P.: Logic in conflict. PhD thesis, Utrecht University (2004)
Harrenstein, P., van der Hoek, W., Meyer, J.-J., Witteveen, C.: Boolean games. In: Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2001, San Francisco, CA, USA, pp. 287–298. Morgan Kaufmann Publishers Inc. (2001)
Herzig, A., Lorini, E., Moisan, F., Troquard, N.: A dynamic logic of normative systems. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, July 16-22, pp. 228–233. IJCAI/AAAI (2011)
Hurwicz, L.: Institutions as families of game forms. Japanese Economic Review 47(2), 113–132 (1996)
Hurwicz, L.: But who will guard the guardians? American Economic Review 98(3),577–585 (2008)
Makinson, D., van der Torre, L.: Input-output logics. Journal of Philosophical Logic 29, 383–408 (2000)
Makinson, D., van der Torre, L.: Permission from an input/output perspective. Journal of Philosophical Logic 32, 391–416 (2003)
Mavronicolas, M., Monien, B., Wagner, K.W.: Weighted boolean formula games. In: Deng, X., Graham, F.C. (eds.) WINE 2007. LNCS, vol. 4858, pp. 469–481. Springer, Heidelberg (2007)
Osborne, M., Rubinstein, A.: A Course in Game Theory. The MIT Press, Cambridge (1994)
Parent, X.: Moral particularism in the light of deontic logic. Artif. Intell. Law 19(2-3), 75–98 (2011)
Sauro, L., Villata, S.: Dependency in cooperative boolean games. J. Log. Comput. 23(2), 425–444 (2013)
Shoham, Y., Leyton-Brown, K.: Multiagent Systems - Algorithmic, Game- Theoretic, and Logical Foundations. Cambridge University Press (2009)
Sun, X.: How to build input/output logic. In: Bulling, N., van der Torre, L., Villata, S., Jamroga, W., Vasconcelos,W. (eds.) CLIMA XV 2014. LNCS (LNAI), vol. 8624, pp. 123–137. Springer, Heidelberg (2014)
Ulmann-Margalit, E.: The Emergence of Norms. Clarendon Press, Oxford (1977)
von Wright, G.: Deontic logic. Mind 60, 1–15 (1952)
Weiss, G. (ed.): Multiagent systems, 2nd edn. MIT Press (2013)
Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley (2009)
