skip to main content
research-article

Online Automated Synthesis of Compact Normative Systems

Published:09 March 2015Publication History
Skip Abstract Section

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.

Skip Supplemental Material Section

Supplemental Material

References

  1. Agnar Aamodt and Enric Plaza. 1994. Case-based reasoning: Foundational issues, methodological variations, and system approaches. Artificial Intelligence Communications 7, 1, 39--59. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Cristina Bicchieri. 2006. The Grammar of Society: The Nature and Dynamics of Social Norms. Cambridge University Press.Google ScholarGoogle Scholar
  3. Ken Binmore. 2005. Natural Justice. Oxford University Press.Google ScholarGoogle Scholar
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. Frank Dignum. 1999. Autonomous agents with norms. Artificial Intelligence and Law 7, 1, 69--79. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. David Fitoussi and Moshe Tennenholtz. 1998. Minimal social laws. In Proceedings of the National Conference on Artificial Intelligence (AAAI). 26--31. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. 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 ScholarGoogle Scholar
  11. John-Jules Ch. Meyer, and Roel J. Wieringa. 1993. Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, Chichester, UK.Google ScholarGoogle Scholar
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle Scholar
  14. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  17. Stephen Muggleton and Luc De Raedt. 1994. Inductive logic programming: Theory and methods. Journal of Logic Programming 19, 20, 629--679.Google ScholarGoogle ScholarCross RefCross Ref
  18. Shan-Hwei Nienhuys-Cheng and Ronald de Wolf. 1997. Foundations of Inductive Logic Programming. Springer-Verlag, New York, NY. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Christopher K. Riesbeck and Roger C. Schank. 1989. Inside Case-Based Reasoning. Lawrence Erlbaum Associates, Hillsdale, NJ. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Norman Salazar, Juan A. Rodriguez-Aguilar, and Josep L. Arcos. 2010. Robust coordination in large convention spaces. AI Communications 23, 4, 357--372. Google ScholarGoogle ScholarCross RefCross Ref
  21. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  22. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  23. Yoav Shoham and Kevin Leyton-Brown. 2009. Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, New York, NY. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  25. 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 ScholarGoogle Scholar
  26. Richard S. Sutton and Andrew G. Barto. 1998. Introduction to Reinforcement Learning. MIT Press, Cambridge, MA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  28. 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 ScholarGoogle Scholar
  29. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Online Automated Synthesis of Compact Normative Systems

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM Transactions on Autonomous and Adaptive Systems
      ACM Transactions on Autonomous and Adaptive Systems  Volume 10, Issue 1
      March 2015
      178 pages
      ISSN:1556-4665
      EISSN:1556-4703
      DOI:10.1145/2744297
      Issue’s Table of Contents

      Copyright © 2015 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 9 March 2015
      • Accepted: 1 January 2015
      • Revised: 1 November 2014
      • Received: 1 December 2013
      Published in taas Volume 10, Issue 1

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • research-article
      • Research
      • Refereed

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!