Skip to main content
SpringerLink
Log in

Initial Steps Towards Run-Time Support for Norm-Governed Systems

  • Conference paper
Coordination, Organizations, Institutions, and Norms in Agent Systems VI (COIN 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6541))

Abstract

We present a knowledge representation framework with an associated run-time support infrastructure that is able to compute, for the benefit of the members of a norm-governed multi-agent system, the physically possible and permitted actions at each time, as well as sanctions that should be applied to violations of prohibitions. To offer the envisioned run-time support we use an Event Calculus dialect for efficient temporal reasoning. Both the knowledge representation framework and its associated infrastructure are highly configurable in the sense that they can be appropriately distributed in order to support real-time responses to agent requests. To exemplify the ideas, we apply the infrastructure on a benchmark scenario for multi-agent systems. Through experimental evaluation we also show how distributing our infrastructure can provide run-time support to large-scale multi-agent systems regulated by norms.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Artikis, A., Sergot, M., Pitt, J.: A logic programming approach to activity recognition. In: Proceedings of ACM Workshop on Events in Multimedia (2010)

    Google Scholar 

  2. Artikis, A., Sergot, M.J., Pitt, J.V.: Specifying norm-governed computational societies. ACM Transactions in Computational Logic 10(1) (2009)

    Google Scholar 

  3. Bromuri, S., Stathis, K.: Situating Cognitive Agents in GOLEM. In: Weyns, D., Brueckner, S.A., Demazeau, Y. (eds.) EEMMAS 2007. LNCS (LNAI), vol. 5049, pp. 115–134. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  4. Bromuri, S., Stathis, K.: Distributed Agent Environments in the Ambient Event Calculus. In: DEBS 2009: Proceedings of the Third International Conference on Distributed Event-Based Systems. ACM, New York (2009)

    Google Scholar 

  5. Chen, W., Warren, D.S.: C-logic of complex objects. In: PODS 1989: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 369–378. ACM, New York (1989)

    Chapter  Google Scholar 

  6. Chittaro, L., Montanari, A.: Efficient temporal reasoning in the cached event calculus. Computational Intelligence 12, 359–382 (1996)

    Article  MathSciNet  Google Scholar 

  7. Chopra, A., Singh, M.: Contextualizing commitment protocols. In: Proceedings of Conference on Autonous Agents and Multi-Agent Systems (AAMAS), pp. 1345–1352. ACM, New York (2006)

    Google Scholar 

  8. Clark, K.L.: Negation as failure. In: Logic and Data Bases, pp. 293–322 (1977)

    Google Scholar 

  9. Esteva, M., de la Cruz, D., Sierra, C.: Islander: an electronic institutions editor. In: Castelfranchi, C., Johnson, L. (eds.) Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 1045–1052. ACM Press, New York (2002)

    Chapter  Google Scholar 

  10. Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 348–366. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Esteva, M., Rodríguez-Aguilar, J., Sierra, C., Vasconcelos, W.: Verifying norm consistency in electronic institutions. In: Proceedings of the AAAI 2004 Workshop on Agent Organizations: Theory and Practice, pp. 8–14 (2004)

    Google Scholar 

  12. Esteva, M., Rosell, B., Rodriguez-Aguilar, J.A., Ll, J.: Ameli: An agent-based middleware for electronic institutions. In: AAMAS 2004: Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 236–243. IEEE Computer Society, Washington, DC, USA (2004)

    Google Scholar 

  13. Farrell, A.D.H., Sergot, M.J., Sall, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems 14, 99–129 (2005)

    Article  Google Scholar 

  14. Fisher, M., Owens, R.: From the past to the future: Executing temporal logic programs. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol. 624, pp. 369–380. Springer, Heidelberg (1992)

    Chapter  Google Scholar 

  15. Fornara, N., Colombetti, M.: Formal specification of artificial institutions using the event calculus. In: Multi-Agent Systems: Semantics and Dynamics of Organizational Models. IGI Global (2009)

    Google Scholar 

  16. Fox, M., Barbuceanu, M., Grüninger, M., Lin, J.: An organizational ontology for enterprise modeling. In: Prietula, M., Carley, K., Gasser, L. (eds.) Simulating Organizations: Computational Models for Institutions and Groups, pp. 131–152. AAAI Press/The MIT Press (1998)

    Google Scholar 

  17. Gaertner, D., Garcia-Camino, A., Noriega, P., Rodriguez-Aguilar, J.A., Vasconcelos, W.: Distributed norm management in regulated multiagent systems. In: AAMAS 2007: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1–8. ACM, New York (2007)

    Google Scholar 

  18. García-Camino, A., Noriega, P., Rodríguez-Aguilar, J.: Implementing norms in electronic institutions. In: Proceedings of the Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), pp. 667–673. ACM Press, New York (2005)

    Google Scholar 

  19. García-Camino, A., Rodríguez-Aguilar, J.A., Vasconcelos, W.: A distributed architecture for norm management in multi-agent systems. In: Sichman, J.S., Padget, J., Ossowski, S., Noriega, P. (eds.) COIN 2007. LNCS (LNAI), vol. 4870, pp. 275–286. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  20. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  21. Jones, A., Sergot, M.: On the characterisation of law and computer systems: the normative systems perspective. In: Deontic Logic in Computer Science: Normative System Specification, pp. 275–307. J. Wiley and Sons, Chichester (1993)

    Google Scholar 

  22. Jones, A., Sergot, M.: A formal characterisation of institutionalised power. Journal of the IGPL 4(3), 429–445 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  23. Kagal, L., Finin, T.: Modeling communicative behavior using permissions and obligations. Journal of Autonomous Agents and Multi-Agent Systems 14(2), 187–206 (2006)

    Article  Google Scholar 

  24. Kesim, F.N., Sergot, M.: A Logic Programming Framework for Modeling Temporal Objects. IEEE Transactions on Knowledge and Data Engineering 8(5), 724–741 (1996)

    Article  Google Scholar 

  25. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)

    Article  Google Scholar 

  26. Minsky, N.: Law-Governed Interaction (LGI): A Distributed Coordination and Control Mechanism (An Introduction and a Reference Manual) (2005), http://www.moses.rutgers.edu/documentation/manual.pdf (retrieved October 24, 2008)

  27. Minsky, N.: Decentralised regulation of distributed systems: Beyond access control (2008) (submitted for publication), http://www.cs.rutgers.edu/~minsky/papers/IC.pdf (retrieved October 24, 2008)

  28. Minsky, N., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Transactions on Software Engineering and Methodology (TOSEM) 9(3), 273–305 (2000)

    Article  Google Scholar 

  29. Mueller, E.: Commonsense Reasoning. Morgan Kaufmann, San Francisco (2006)

    Google Scholar 

  30. Nihan, K., Marek, S.: Implementing an object-oriented deductive database using temporal reasoning. J. Database Manage. 7(4), 21–34 (1996)

    Google Scholar 

  31. Paschke, A., Bichler, M.: Knowledge representation concepts for automated SLA management. Decision Support Systems 46(1), 187–205 (2008)

    Article  Google Scholar 

  32. Pinto, J., Reiter, R.: Temporal reasoning in logic programming: a case for the situation calculus. In: Warren, D. (ed.) Proceedings of Conference on Logic Programming, pp. 203–221. MIT Press, Cambridge (1993)

    Google Scholar 

  33. Pitt, J., Mamdani, A., Charlton, P.: The open agent society and its enemies: a position statement and research programme. Telematics and Informatics 18(1), 67–87 (2001)

    Article  Google Scholar 

  34. Tonti, G., Bradshaw, J., Jeffers, R., Montanari, R., Suri, N., Uszok, A.: Semantic web languages for policy representation and reasoning: A comparison of kAoS, rei, and ponder. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 419–437. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  35. Urovi, V., Stathis, K.: Playing with agent coordination patterns in MAGE. In: Padget, J.A., Artikis, A., Vasconcelos, W.W., Stathis, K., da Silva, V.T., Matson, E.T., Polleres, A. (eds.) COIN 2009. LNCS, vol. 6069, pp. 86–101. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  36. Weyns, D., Helleboogh, A., Holvoet, T.: The packet-world: A testbed for investigating situated multiagent systems. In: Software Agent-Based Applications, Platforms, and Development Kits, pp. 383–408. Birkhauser, Basel (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Royal Holloway, University of London, UK

    Visara Urovi, Stefano Bromuri & Kostas Stathis

  2. Institute of Informatics & Telecommunications, NCSR “Demokritos”, Greece

    Alexander Artikis

Authors
  1. Visara Urovi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefano Bromuri
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kostas Stathis
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alexander Artikis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Bath, BA2 7AY, Bath, UK

    Marina De Vos

  2. Università della Svizzera italiana, via G. Buffi 13, 6900, Lugano, Switzerland

    Nicoletta Fornara

  3. Department of Electrical & Electronic Engineering, Imperial College London, SW7 2BT, UK

    Jeremy V. Pitt

  4. Department of Information and Communication Systems Engineering, University of the Aegean, 83200, Karlovassi, Samos, Greece

    George Vouros

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Urovi, V., Bromuri, S., Stathis, K., Artikis, A. (2011). Initial Steps Towards Run-Time Support for Norm-Governed Systems. In: De Vos, M., Fornara, N., Pitt, J.V., Vouros, G. (eds) Coordination, Organizations, Institutions, and Norms in Agent Systems VI. COIN 2010. Lecture Notes in Computer Science(), vol 6541. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21268-0_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21268-0_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21267-3

  • Online ISBN: 978-3-642-21268-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation