Skip to main content
SpringerLink
Log in

A Rule Language for Modelling and Monitoring Social Expectations in Multi-agent Systems

  • Conference paper
Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems (AAMAS 2005)

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

Included in the following conference series:

Abstract

This paper proposes a rule language for defining social expectations based on a metric interval temporal logic with past and future modalities and a current-time binding operator. An algorithm for run-time monitoring compliance of rules in this language based on formula progression is also presented.

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. Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.): DALT 2004. LNCS, vol. 3476. Springer, Heidelberg (2005)

    Google Scholar 

  3. Huget, M.P., Esteva, M., Phelps, S., Sierra, C., Wooldridge, M.: Model checking electronic institutions. In: Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), 15th European Conference on Artificial Intelligence (2002)

    Google Scholar 

  4. Cliffe, O., Padget, J.: A framework for checking agent interaction within institutions. In: Proceedings of the Workshop on Model Checking and Artificial Intelligence (MoChArt-2002), 15th European Conference on Artificial Intelligence (2002)

    Google Scholar 

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

    Chapter  Google Scholar 

  6. Verdicchio, M., Colombetti, M.: A commitment-based communicative act library. In: Proceedings of the 4nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 755–761. ACM Press, New York (2005)

    Chapter  Google Scholar 

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

  8. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

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

  10. Verdicchio, M., Colombetti, M.: Dealing with time in content language expressions. In: Proceedings of the Workshop on Agent Communication, Third International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 90–104 (2004)

    Google Scholar 

  11. Haslum, P.: Partial state progression: An extension to the Bacchus-Kabanza algorithm, with applications to prediction and MITL consistency. In: Proceedings of the Workshop on Planning via Model-Checking, Sixth International Conference on AI Planning and Scheduling, pp. 64–71 (2002)

    Google Scholar 

  12. Bacchus, F., Kabanza, F.: Planning for temporally extended goals. Annals of Mathematics and Artificial Intelligence 22, 5–27 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  13. 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 2004, vol. II, pp. 570–575. Austrian Society for Cybernetics Studies (2004)

    Google Scholar 

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

    Chapter  Google Scholar 

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

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

    Chapter  Google Scholar 

  17. 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, vol. 3904, pp. 89–105. Springer, Heidelberg (2006), http://www.doc.ic.ac.uk/~ue/DALT-2005/papers/24.pdf.

  18. Endriss, U.: Temporal logics for representing agent communication protocols. In: Proceedings of the Workshop on Agent Communication, 4th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 33–47 (2005)

    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

Editors and Affiliations

  1. SMA/G2I/ENSM.SE, 158 Cours Fauriel, 42023, Saint-Etienne, Cedex, France

    Olivier Boissier

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

    Julian Padget

  3. Dept. Information and Computing Sciences, Utrecht University, The Netherlands

    Virginia Dignum

  4. Institute for Computer Science, Humboldt-University Berlin, Berlin, Germany

    Gabriela Lindemann

  5. Department of Computer Science, University of Cincinnati, Cincinnati, OH, USA

    Eric Matson

  6. Centre for Intelligent Information Technologies (CETINIA), Universidad Rey Juan Carlos, Calle Tulipán s/n, 28933, Móstoles (Madrid), Spain

    Sascha Ossowski

  7. Laboratório de Técnicas Inteligentes (LTI) Escola Politécnica (EP), Universidade de São Paulo (USP),  

    Jaime Simão Sichman

  8. Department of Software, Polytechnic University of Catalonia, Barcelona, Spain

    Javier Vázquez-Salceda

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cranefield, S. (2006). A Rule Language for Modelling and Monitoring Social Expectations in Multi-agent Systems. In: Boissier, O., et al. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. AAMAS 2005. Lecture Notes in Computer Science(), vol 3913. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11775331_17

Download citation

  • DOI: https://doi.org/10.1007/11775331_17

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-35176-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation