Abstract
Most normative systems make use of explicit representations of norms (namely, obligations, prohibitions, and permissions) and associated mechanisms to support the self-regulation of open societies of self-interested and autonomous agents. A key problem in research on normative systems is that of how to synthesise effective and efficient norms. Manually designing norms is time consuming and error prone. An alternative is to automatically synthesise norms. However, norm synthesis is a computationally complex problem. We present a novel online norm synthesis mechanism, designed to synthesise compact normative systems. It yields normative systems composed of concise (simple) norms that effectively coordinate a multiagent system (MAS) without lapsing into overregulation. Our mechanism is based on a central authority that monitors a MAS, searching for undesired states. After detecting undesirable states, the central authority then synthesises norms aimed to avoid them in the future. We demonstrate the effectiveness of our approach through experimental results.
Supplemental Material
Available for Download
Supplemental movie, appendix, image and software files for, Online Automated Synthesis of Compact Normative Systems
- Agnar Aamodt and Enric Plaza. 1994. Case-based reasoning: Foundational issues, methodological variations, and system approaches. Artificial Intelligence Communications 7, 1, 39--59. Google Scholar
Digital Library
- Cristina Bicchieri. 2006. The Grammar of Society: The Nature and Dynamics of Social Norms. Cambridge University Press.Google Scholar
- Ken Binmore. 2005. Natural Justice. Oxford University Press.Google Scholar
- Guido Boella, Leendert van der Torre, and Harko Verhagen. 2006. Introduction to normative multiagent systems. Computational and Mathematical Organization Theory 12, 2--3, 71--79. Google Scholar
Digital Library
- George Christelis and Michael Rovatsos. 2009. Automated norm synthesis in an agent-based planning enviroment. In Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS’09). 161--168. Google Scholar
Digital Library
- Frank Dignum. 1999. Autonomous agents with norms. Artificial Intelligence and Law 7, 1, 69--79. Google Scholar
Digital Library
- David Fitoussi and Moshe Tennenholtz. 1998. Minimal social laws. In Proceedings of the National Conference on Artificial Intelligence (AAAI). 26--31. Google Scholar
Digital Library
- Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, and Wamberto Vasconcelos. 2009. Constraint rule-based programming of norms for electronic institutions. Autonomous Agents and Multi-Agent Systems 18, 1, 186--217. Google Scholar
Digital Library
- Nathan Griffiths and Michael Luck. 2010. Norm emergence in tag-based cooperation. In Proceedings of the 9th International Workshop on Coordination, Organization, Institutions, and Norms in Multi-Agent Systems (COIN’10). 80--87. Google Scholar
Digital Library
- James E. Kittock. 1993. Emergent conventions and the structure of multi-agent systems. In Lectures in Complex Systems: The Proceedings of the 1993 Complex Systems Summer School (Lecture Vol. VI), L. Nadel and D. Stein (Eds.). Addison-Wesley, 507--521.Google Scholar
- John-Jules Ch. Meyer, and Roel J. Wieringa. 1993. Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester, UK.Google Scholar
- Javier Morales, Maite López-Sánchez, and Marc Esteva. 2011a. Evaluation of an automated mechanism for generating new regulations. In Proceedings of the 14th International Conference on Advances in Artificial Intelligence: Spanish Association for Artificial Intelligence (CAEPIA’11). 12--21. Google Scholar
Digital Library
- Javier Morales, Maite López-Sanchez, and Marc Esteva. 2011b. Source code of using experience to generate new regulations. Retrieved January 28, 2014, from www.iiia.csic.es/∼jmorales/Downloads/Morales_ IJCAI2011_SourceCode.tar.gz.Google Scholar
- Javier Morales, Maite López-Sánchez, and Marc Esteva. 2011c. Using experience to generate new regulations. In Proceedings of the International Joint Conference in Artificial Intelligence (IJCAI’11). 307--312. Google Scholar
Digital Library
- Javier Morales, Maite López-Sanchez, Juan A. Rodríguez-Aguilar, Michael Wooldridge, and Wamberto Vasconcelos. 2013. Automated synthesis of normative systems. In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’13). 483--490. Google Scholar
Digital Library
- Javier Morales, Iosu Mendizábal, David Sánchez-Pinsach, Maite López-Sánchez, and Juan A. Rodríguez-Aguilar. 2014. Using IRON to build frictionless on-line communities. AI Communications: Artificial Intelligence in the Catalan Association for AI 28, 1, 55--71. Google Scholar
Digital Library
- Stephen Muggleton and Luc De Raedt. 1994. Inductive logic programming: Theory and methods. Journal of Logic Programming 19, 20, 629--679.Google Scholar
Cross Ref
- Shan-Hwei Nienhuys-Cheng and Ronald de Wolf. 1997. Foundations of Inductive Logic Programming. Springer-Verlag, New York, NY. Google Scholar
Digital Library
- Christopher K. Riesbeck and Roger C. Schank. 1989. Inside Case-Based Reasoning. Lawrence Erlbaum Associates, Hillsdale, NJ. Google Scholar
Digital Library
- Norman Salazar, Juan A. Rodriguez-Aguilar, and Josep L. Arcos. 2010. Robust coordination in large convention spaces. AI Communications 23, 4, 357--372. Google Scholar
Cross Ref
- Onkur Sen and Sandip Sen. 2010. Effects of social network topology and options on norm emergence. In Proceedings of the 5th International Conference on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN’09). 211--222. Google Scholar
Digital Library
- Sandip Sen and Stéphane Airiau. 2007. Emergence of norms through social learning. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI’07). 1507--1512. Google Scholar
Digital Library
- Yoav Shoham and Kevin Leyton-Brown. 2009. Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York, NY. Google Scholar
Digital Library
- Yoav Shoham and Moshe Tennenholtz. 1995. On social laws for artificial agent societies: Off-line design. Journal of Artificial Intelligence 73, 1--2, 231--252. Google Scholar
Digital Library
- Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krueger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, and Serena Villata. 2013. The uses of norms. In Normative Multi-Agent Systems, G. Andrighetto, G. Governatori, P. Noriega, and L. W. N. van der Torre (Eds.). Dagstuhl Follow-Ups, Vol. 4. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 191--229.Google Scholar
- Richard S. Sutton and Andrew G. Barto. 1998. Introduction to Reinforcement Learning. MIT Press, Cambridge, MA. Google Scholar
Digital Library
- Daniel Villatoro, Jordi Sabater-Mir, and Sandip Sen. 2011. Social instruments for robust convention emergence. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI’11). 420--425. Google Scholar
Digital Library
- Adam Walker and Michael Wooldridge. 1995. Understanding the emergence of conventions in multi-agent systems. In Proceedings of the International Conference on Multiagent Systems (ICMAS’95). 384--389.Google Scholar
- Chao Yu, Minjie Zhang, Fenghui Ren, and Xudong Luo. 2013. Emergence of social norms through collective learning in networked agent societies. In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS’13). 475--482. Google Scholar
Digital Library
Index Terms
Online Automated Synthesis of Compact Normative Systems
Recommendations
Automated synthesis of normative systems
AAMAS '13: Proceedings of the 2013 international conference on Autonomous agents and multi-agent systemsNormative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems. The automated synthesis of norms for coordination remains an open and complex problem, which we tackle in this paper. We propose a novel mechanism ...
Evolutionary Synthesis of Stable Normative Systems
AAMAS '17: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent SystemsNormative systems are a widely used framework to coordinate interdependent activities in multi-agent systems. Most research in this area has focused on how to compute normative systems that effectively accomplish a coordination task, as well as ...
Off-line synthesis of evolutionarily stable normative systems
Within the area of multi-agent systems, normative systems are a widely used framework for the coordination of interdependent activities. A crucial problem associated with normative systems is that of synthesising norms that will effectively accomplish a ...






Comments