Boolean Game with Prioritized Norms

Sun, Xin

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Boolean Game with Prioritized Norms

Sun, Xin

2015 • In Proceedings of the Fifth International Conference on Logic, Rationality and Interaction

Peer reviewed

Permalink
https://hdl.handle.net/10993/23946

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

BooleanGamesWithPrioritizedNorms.pdf

Publisher postprint (292.56 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

boolean game; norm; input/output logic

Abstract :

[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 :

Computer science

Author, co-author :

Sun, Xin ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

External co-authors :

Language :

English

Title :

Boolean Game with Prioritized Norms

Publication date :

28 October 2015

Event name :

The Fifth International Conference on Logic, Rationality and Interaction

Event date :

28-10-2015

Audience :

International

Main work title :

Proceedings of the Fifth International Conference on Logic, Rationality and Interaction

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 27 January 2016

Statistics

Number of views

62 (1 by Unilu)

Number of downloads

165 (0 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

Å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)