Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Declarative Agent Languages and Technologies

DALT 2004: Declarative Agent Languages and Technologies II pp 166–182Cite as

Norm Verification and Analysis of Electronic Institutions

  • Conference paper

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

Abstract

Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of norms for electronic institutions and investigate how these norms can be employed for verification and analysis. We offer automatic means to perform the extraction of sub-parts of an electronic institution in which norms hold true or can safely be avoided. These sub-parts can be used to synthesise norm-aware agents that will pursue or avoid commitments to norms.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dignum, F.: Autonomous Agents with Norms. Artificial Intelligence and Law 7, 69–79 (1999)

    Article  Google Scholar 

  2. López y López, F., Luck, M., d’Inverno, M.: Constraining Autonomy Through Norms. In: Proceedings of the 1st Int’l Joint Conf. on Autonomous Agents and Multiagent Systems (AAMAS). ACM Press, New York (2002)

    Google Scholar 

  3. Verhagen, H.: Norm Autonomous Agents. PhD thesis, Stockholm University (2000)

    Google Scholar 

  4. Esteva, M., Rodríguez-Aguilar, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS (LNAI), vol. 1991, p. 126. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Rodríguez-Aguilar, J.A.: On the Design and Construction of Agent-mediated Electronic Institutions. PhD thesis, IIIA-CSIC, Spain (2001)

    Google Scholar 

  6. Vasconcelos, W.W., Robertson, D., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M.: Rapid Prototyping of Large Multi-Agent Systems through Logic Programming. Annals of Mathematics and Artificial Intelligence 41, 135–169 (2004)

    Article  MATH  Google Scholar 

  7. Fuchs, N.E.: Specifications are (Preferably) Executable. Software Engineering Journal, 323–334 (1992)

    Google Scholar 

  8. Lloyd, J.W.: Practical Advantages of Declarative Programming. In: Joint Conference on Declarative Programming, GULP-PRODE 1994 (1994) (Invited Paper)

    Google Scholar 

  9. Vasconcelos, W.W., Sierra, C., Esteva, M.: An Approach to Rapid Prototyping of Large Multi-Agent Systems. In: Proc. 17th IEEE Int’l Conf. on Automated Software Engineering (ASE 2002), Edinburgh, UK, pp. 13–22. IEEE Computer Society, Los Alamitos (2002)

    Chapter  Google Scholar 

  10. Apt, K.R.: From Logic Programming to Prolog. Prentice-Hall, U.K. (1997)

    Google Scholar 

  11. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 2nd edn. Addison-Wesley, U.S.A (2001)

    MATH  Google Scholar 

  12. Esteva, M., Vasconcelos, W., Sierra, C., Rodríguez-Aguilar, J.A.: Verifying Norm Consistency in Electronic Institutions. In: Proc. AAAI 2004 Workshop on Agent Organizations: Theory and Practice, San Jose, California, U.S.A. AAAI Press, Menlo Park (2004)

    Google Scholar 

  13. Esteva, M., Padget, J., Sierra, C.: Formalizing a Language for Institutions and Norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 348. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Hill, P.M., Gallagher, J.: Meta-Programming in Logic Progamming. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 5, pp. 421–498. Oxford University Press, Oxford (1998)

    Google Scholar 

  15. Sterling, L.S., Beer, R.D.: Meta-Interpreters for Expert System Construction. Journal of Logic Programming 6, 163–178 (1989)

    Article  Google Scholar 

  16. Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: AMELI: an Agent-Based Middleware for Electronic Institutions. In: Proc. 3rd Int’l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS). ACM Press, New York (2004)

    Google Scholar 

  17. Ibrahim, I.K., Kotsis, G., Schwinger, W.: Mapping Abstractions of Norms in Electronic Institutions. In: 12th. Int’l Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE 2003), Linz, Austria. IEEE Computer Society, Los Alamitos (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Aberdeen, Aberdeen, AB24 3UE, United Kingdom

    Wamberto W. Vasconcelos

Authors
  1. Wamberto W. Vasconcelos
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    João Leite

  2. Alma Mater Studiorum Università di Bologna a Cesena, via Venezia 52, 47023, Cesena, Italy

    Andrea Omicini

  3. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paolo Torroni

  4. Department of Computer Engineering, Boğaziçi University, Bebek, 34342, Istanbul, Turkey

    pInar Yolum

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vasconcelos, W.W. (2005). Norm Verification and Analysis of Electronic Institutions. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds) Declarative Agent Languages and Technologies II. DALT 2004. Lecture Notes in Computer Science(), vol 3476. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11493402_10

Download citation

  • DOI: https://doi.org/10.1007/11493402_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-26172-8

  • Online ISBN: 978-3-540-31927-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation