Skip to main content
SpringerLink
Log in

Modelling and Monitoring Social Expectations in Multi-agent Systems

  • Conference paper
Coordination, Organizations, Institutions, and Norms in Agent Systems II (COIN 2006)

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

Abstract

This paper reports on issues confronted and solutions developed while implementing the author’s previously proposed hyMITL± logic for expressing social expectations as conditional rules. A high level overview of hyMITL± is presented, along with a discussion of new features and implementation issues. In particular, the importance of using human-oriented descriptions of time points is argued, along with the need to explicitly take time zones into consideration when defining rules, and a syntax for date/time expressions based on ISO standard 8601 is proposed. A new, more detailed, model for tracking the state of social expectations is also presented, based on the utility of enabling clients of a monitoring service to be notified of multiple instances of the violation or fulfilment of an expectation.

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. Cortés, U.: Electronic institutions and agents. AgentLink News 15, 14–15 (2004)

    Google Scholar 

  2. Cranefield, S.: A rule language for modelling and monitoring social expectations in multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI), vol. 3913, pp. 246–258. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence 116, 123–191 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  4. Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, vol. 1, pp. 236–243. ACM Press, New York (2004)

    Google Scholar 

  5. Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 189–208 (1971)

    Article  MATH  Google Scholar 

  6. McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 4, pp. 463–502. Edinburgh University Press (1969)

    Google Scholar 

  7. Miller, R., Shanahan, M.: The event-calculus in classical logic - alternative axiomatizations. Electronic Transactions on Artificial Intelligence 3, 77–105 (1999)

    MathSciNet  Google Scholar 

  8. 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 

  9. Mallya, A.U., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 166–182. Springer, Heidelberg (2004)

    Google Scholar 

  10. Verdicchio, M., Colombetti, M.: Dealing with time in content language expressions. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol. 3396, pp. 91–105. Springer, Heidelberg (2005)

    Google Scholar 

  11. Vázquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313–327. Springer, Heidelberg (2004)

    Google Scholar 

  12. Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1045–1052. ACM Press, New York (2002)

    Chapter  Google Scholar 

  13. IIIA-CSIC: Electronic Institutions Development Environment Web site (accessed 2006-02-01), http://e-institutions.iiia.csic.es/software.html

  14. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. In: Trappl, R. (ed.) Cybernetics and Systems, vol. II. Austrian Society for Cybernetics Studies, pp. 570–575 (2004)

    Google Scholar 

  15. García-Camino, A., Rodríguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 89–105. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Wikipedia: ISO 8601 (accessed 2006-02-01), http://en.wikipedia.org/wiki/ISO_8601

  17. Klyne, G., Newman, C.: Date and time on the internet: Timestamps. Request for Comments 3339. The Internet Society (2002)

    Google Scholar 

  18. W3C: XML schema part 2: Datatypes 2nd edn. (2004), http://www.w3.org/TR/2004/REC-xmlschema-2-20041028/

  19. Joda.org: Joda Time - Java date and time API (accessed 2006-02-01), http://joda-time.sourceforge.net/

  20. Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence 18, 853–866 (2004)

    Article  Google Scholar 

  21. Yolum, P., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, pp. 235–247. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  22. Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols: Enabling open web-based multiagent systems. Autonomous Agents and Multi-Agent Systems 2, 217–236 (1999)

    Article  Google Scholar 

  23. Kaminka, G., Pynadath, D., Tambe, M.: Monitoring teams by overhearing: A multi-agent plan-recognition approach. Journal of Artificial Intelligence Research 17, 83–135 (2002)

    MATH  Google Scholar 

  24. Cranefield, S.: Reliable group communication and institutional action in a multi-agent trading scenario. In: Dignum, F., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol. 3859, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  25. Heard, J., Kremer, R.C.: Practical issues in detecting broken social commitments. In: Dignum, F., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol. 3859, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  26. Kerjean, S., Kabanza, F., St-Denis, R., Thiébaux, S.: Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress). Electronic Notes in Theoretical Computer Science 149, 91–104 (2006)

    Article  Google Scholar 

  27. Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: AAMAS 2003. Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 528–535. ACM Press, New York (2003)

    Chapter  Google Scholar 

  28. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM 43, 116–146 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  29. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, pp. 436–447. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  30. 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 

  31. Stratulat, T., Clerin-Debart, F., Enjalbert, P.: Temporal reasoning: an application to normative systems. In: TIME 2001. Proceedings of the 8th International Symposium on Temporal Representation and Reasoning, pp. 41–47. IEEE Computer Society Press, Los Alamitos (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Science, University of Otago, PO Box 56, Dunedin, New Zealand

    Stephen Cranefield

Authors
  1. Stephen Cranefield
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Pablo Noriega Javier Vázquez-Salceda Guido Boella Olivier Boissier Virginia Dignum Nicoletta Fornara Eric Matson

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cranefield, S. (2007). Modelling and Monitoring Social Expectations in Multi-agent Systems. In: Noriega, P., et al. Coordination, Organizations, Institutions, and Norms in Agent Systems II. COIN 2006. Lecture Notes in Computer Science(), vol 4386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74459-7_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-74459-7_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-74457-3

  • Online ISBN: 978-3-540-74459-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation