Skip to main content
SpringerLink
Log in

Formalizing a Language for Institutions and Norms

  • Conference paper
  • First Online:
Intelligent Agents VIII (ATAL 2001)

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

Included in the following conference series:

Abstract

One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way in which it may be possible to create that initial trust is through the abstract notion of an institution, defined in terms of norms [19] and the scenes within which (software) agents may play roles in different trading activities, governed by those norms. We present here a case for institutions in electronic trading, a specification language for institutions (covering norms, performative structure, scenes, roles, etc.) and its semantics and how this may be mapped into formal languages such as process algebra and various forms of logic, so that there is a framework within which norms can be stated and proven.

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. Torben Amtoft, Assaf Kfoury, and Santiago Pericas-Geertsen. What are polymorphically-typed ambients? In David Sands, editor, Programming Languages and Systems, 10th European Symposium on Programming, ESOP2001, volume 2028 of Lecture Notes in Computer Science, pages 206–220. Springer Verlag, 2001.

    Google Scholar 

  2. J. L. Austin. How to Do Things With Words. Oxford University Press, 1962.

    Google Scholar 

  3. Mihai Barbuceanu, Tom Gray, and Serge Mankovski. Coordinating with obligations. In Proceedings of the Third International Conference on Autonomous Agents (AGENTS’99), pages 62–69, 1998.

    Google Scholar 

  4. C. Bryce, M. Oriol, and J. Vitek. A Coordination Model for Agents Based on Secure Spaces. In P. Ciancarini and A. Wolf, editors, Proc. 3rd Int. Conf. on Coordination Models and Languages, volume 1594 of Lecture Notes in Computer Science, pages 4–20, Amsterdam, Netherlands, April 1999. Springer-Verlag, Berlin. revised into Coordinating Processes with Secure Spaces and to appear in Science of Computer Programming (Autumn 2001).

    Google Scholar 

  5. Ciaran Bryce and Jan Vitek. The JavaSeal mobile agent kernel. In First International Symposium on Agent Systems and Applications (ASA’99)/Third International Symposium on Mobile Agents (MA’99), Palm Springs, CA, USA, October 1999.

    Google Scholar 

  6. L. Cardelli. Mobile Ambient Synchronization. Technical Report SRC Tech Note 1997-013, Digital, July 1997.

    Google Scholar 

  7. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Ambient groups and mobility types. In J. van Leeuwen, O. Watanabe, M. Hagiya, P. D. Mosses, and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), volume 1872 of LNCS, pages 333–347. IFIP, Springer, August 2000.

    Chapter  Google Scholar 

  8. Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In ACM, editor, POPL’ 99. Proceedings of the 26th ACM SIGPLAN-SIGACT on Principles of programming languages, January 20–22, 1999, San Antonio, TX, ACM SIGPLAN Notices, pages 79–92, New York, NY, USA, 1999. ACM Press.

    Google Scholar 

  9. G. Castagna and J. Vitek. Seal: A framework for secure mobile computations. In H. Bal, B. Belkhouche, and L. Cardelli, editors, Internet Programming Languages, number 1686 in LNCS, pages 47–77. Springer, 1999.

    Google Scholar 

  10. P. Ciancarini, F. Franzè, and C. Mascolo. Using a Coordination Language to Specify and Analyze Systems Containing Mobile Components. ACM Transactions on Software Engineering and Methodology, 9(2):167–198, 2000.

    Article  Google Scholar 

  11. M. Esteva and C. Sierra. Islander1.0 language definition. Technical report, IIIA-CSIC, 2001.

    Google Scholar 

  12. Cédric Fournet, Jean-Jacques Lévy, and Alain Schmitt. An asynchronous distributed implementation fomobile ambients. In J. van Leeuwen, O. Watanabe, M. Hagiya, P. D. Mosses, and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), volume 1872 of LNCS, pages 348–364. IFIP, Springer, August 2000.

    Chapter  Google Scholar 

  13. Michael R. Genesereth and Richard E. Fikes. Knowldege interchange format version 3.0 reference manual. Technical Report Report Logic-92-1, Logic Group, Computer Science Department, Standford University, June 1992.

    Google Scholar 

  14. Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Conference Record of POPL’00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 352–364, Boston, Massachusetts, January 19–21, 2000.

    Google Scholar 

  15. S. Moss and B. Edmonds. A formal preference-state model with qualitative market judgements. Omega — the International Journal of Management Science, 25(2): 155–169, 1997.

    Article  Google Scholar 

  16. Flemming Nielson and Hanne Riis Nielson. Shape analysis for mobile ambients. In Conference Record of POPL’00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, Jan 2000. ACM, ACM Press.

    Google Scholar 

  17. P. Noriega. Agent mediated auctions: The Fishmarket Metaphor. PhD thesis, Universitat Autonoma de Barcelona, 1997.

    Google Scholar 

  18. Pablo Noriega and Carles Sierra. Towards layered dialogical agents. In Third International Workshop on Agent Theories, Architectures, and Languages, ATAL-96, 1996.

    Google Scholar 

  19. Douglass C. North. Institutions, Institutional Change and Economic Performance. Cambridge University Press, 1991.

    Google Scholar 

  20. Julian Padget. Modelling simple market structures in process algebras with locations. Artificial Intelligence and Simulation of Behaviour Journal, 1(1):87–108, 2001. to appear.

    Google Scholar 

  21. Julian Padget. Modelling simple market structures in process algebras with locations. In Luc Moreau, editor, AISB’01 Symposium on Software Mobility and Adaptive Behaviour, pages 1–9. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, AISB, 2001. ISBN 1 902956 22 1.

    Google Scholar 

  22. J-A. Rodríguez. On the Design and Construction of Agent-mediated Institutions. PhD thesis, Universitat Autonoma de Barcelona, July 2001.

    Google Scholar 

  23. J. R. Searle. Speech acts. Cambridge U.P., 1969.

    Google Scholar 

  24. Pawel Wojciechowski and Peter Sewell. Nomadic pict: Language and infrastructure design for mobile agents. In First International Symposium on Agent Systems and Applications (ASA’99)/Third International Symposium on Mobile Agents (MA’99), Palm Springs, CA, USA, October 1999.

    Google Scholar 

  25. Michael Wooldridge, Nicholas R. Jennings, and David Kinny. A methodology for agent-oriented analysis and design. In Proceedings of the Third International Conference on Autonomous Agents (AGENTS’99), May 1999.

    Google Scholar 

  26. G. H. Wright. Deontic logic. Mind, 60:1–15, 1951.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Artificial Intelligence Research Institute, IIIA, Spanish Council for Scientific Research, CSIC, 08193, Bellaterra, Barcelona, Spain

    Marc Esteva & Carles Sierra

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

    Julian Padget

Authors
  1. Marc Esteva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Julian Padget
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carles Sierra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Information and Computing Sciences Intelligent Systems Group, Utrecht University, Padualaan 14 De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Information Sciences Institute, University of Southern California, Henry Salvatori Computer Center 232, Los Angeles, CA, 90089-0781, USA

    Milind Tambe

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Esteva, M., Padget, J., Sierra, C. (2002). Formalizing a Language for Institutions and Norms. In: Meyer, JJ.C., Tambe, M. (eds) Intelligent Agents VIII. ATAL 2001. Lecture Notes in Computer Science(), vol 2333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45448-9_26

Download citation

  • DOI: https://doi.org/10.1007/3-540-45448-9_26

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45448-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation