Skip to main content
SpringerLink
Log in

Logic-Based Electronic Institutions

  • Conference paper
Declarative Agent Languages and Technologies (DALT 2003)

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

Included in the following conference series:

Abstract

We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and set theory to represent an expressive class of electronic institutions. We also provide a formal semantics for our constructs and present a distributed implementation of a platform to enact electronic institutions specified in our formalism.

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.

Similar content being viewed by others

References

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

  2. Labrou, Y., Finin, T., Peng, Y.: Agent Communication Languages: the Current Landscape. IEEE Intelligent Systems 14, 45–52 (1999)

    Article  Google Scholar 

  3. FIPA: The Foundation for Physical Agents (2002), http://www.fipa.org

  4. Hulstijn, J.: Dialogue Models for Inquiry and Transaction. PhD thesis, University of Twente (2000)

    Google Scholar 

  5. McBurney, P., van Eijk, R., Parsons, S., Amgoud, L.: A Dialogue-Game Protocol for Agent Purchase Negotiations. Journal of Autonomous Agents and Multi-Agent Systems 7, 235–273 (2003)

    Article  Google Scholar 

  6. Wagner, T., Benyo, B., Lesser, V., Xuan, P.: Investigating Interactions between Agent Conversations and Agent Control Components. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication, pp. 314–330. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  7. Halmos, P.R.: Naive Set Theory. Van Nostrand, Princeton (1960)

    MATH  Google Scholar 

  8. Enderton, H.B.: A Mathematical Introduction to Logic, 2nd edn. Harcourt/ Academic Press, Mass., USA (2001)

    MATH  Google Scholar 

  9. Manna, Z.: Mathematical Theory of Computation. McGraw-Hill Kogakusha, Ltd., Tokio (1974)

    MATH  Google Scholar 

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

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

    Google Scholar 

  12. Rodríguez-Aguilar, J.A., Martín, F.J., Noriega, P., Garcia, P., Sierra, C.: Towards a Formal Specification of Complex Social Structures in Multi-Agent Systems. In: Padget, J. (ed.) Collaboration between Human and Artificial Societies 1997. LNCS, vol. 1624, pp. 284–300. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  13. Vasconcelos, W.W., Sabater, J., Sierra, C., Querol, J.: Skeleton-based Agent Development for Electronic Institutions. In: Proc. 1st Int’l Joint Conf. on Autonomous Agents & Multi-Agent Systems (AAMAS 2002), Bologna, Italy, ACM, U.S.A (2002)

    Google Scholar 

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

    Google Scholar 

  15. 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, U.S.A (2002)

    Chapter  Google Scholar 

  16. Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. MIT Press, USA (1990)

    MATH  Google Scholar 

  17. Holzmann, G.J.: The SPIN Model Checker. IEEE Trans. on Software Engineering 23, 279–295 (1997)

    Article  Google Scholar 

  18. Holzmann, G.J., Najm, E., Serhrouchni, A.: SPIN Model Checking: an Introduction. Int. Journal of Software Tools for Technology Transfer 2, 321–327 (2000)

    Article  Google Scholar 

  19. SICS: SICStus Prolog User’s Manual. Swedish Institute of Computer Science (2000), available at http://www.sics.se/isl/sicstus2.html#Manuals

  20. Carriero, N., Gelernter, D.: Linda in Context. Comm. of the ACM 32, 444–458 (1989)

    Article  Google Scholar 

  21. Bochman, G.V.: Finite State Description of Communications Protocols. In: Procs. Computer Network Protocols Symposium, pp. F3.1–F3.11 (1978)

    Google Scholar 

  22. Brand, D., Zafiropulo, P.: On Communicating Finite-State Machines. Journal of the ACM 30, 323–342 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  23. Boigelot, B., Godefroid, P.: Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs. Formal Methods in System Design, 1–2 (1997)

    Google Scholar 

  24. Lin, H.P.: Modeling a Transport Layer Protocol using First-Order Logic. In: Procs. of the ACM SIGCOMM Conf. on Comm. Architectures & Protocols, pp. 92–100. ACM Press, New York (1986)

    Chapter  Google Scholar 

  25. Endriss, U., Maudet, N., Sadri, F., Toni, F.: Protocol conformance for logic-based agents. In: Gottlob, G., Walsh, T. (eds.) Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 679–684. Morgan Kaufmann Publishers, San Francisco (2003)

    Google Scholar 

  26. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Modeling Interactions using Social Integrity Constraints: a Resource Sharing Case Study. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol. 2990, pp. 243–262. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  27. Esteva, M.: Electronic Institutions: from Specification to Development. PhD thesis, Universitat Politècnica de Catalunya, Spain (2003)

    Google Scholar 

  28. Vasconcelos, W.W., Robertson, D., Sierra, C., Esteva, M., Sabater, J., Wooldridge, M.: Rapid Prototyping of Large Multi-Agent Systems through Logic Programming. Accepted in Annals of Mathematics and Artificial Intelligence, special issue on Logic-Based Agent Implementation (2004)

    Google Scholar 

  29. Harland, C.M.: Supply Chain Management: Relationships, Chains and Networks. British Journal of Management 7, 63–80 (1996)

    Article  Google Scholar 

  30. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: an Imperative Approach to Temporal Logic Programming. Formal Aspects of Computing 7, 111–154 (1995)

    Article  Google Scholar 

  31. Manna, Z., Pnuelli, A.: How to Cook a Temporal Proof System for your Pet Language. In: Proc. 10th POPL-ACM, pp. 141–154 (1983)

    Google Scholar 

  32. Rescher, N., Urquhart, A.: Temporal Logic. Springer, Wien (1971)

    MATH  Google Scholar 

  33. Vasconcelos, W.W.: Time as a Model: The Application of Temporal Logics in the Formal Specification of Distributed Systems. MSc Dissertation, COPPE – Federal University of Rio de Janeiro; Rio de Janeiro, Brazil (1989) (in Portuguese)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    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. Department of Computer Science and Software Engineering, The University of Melbourne, 3010, Vic, Australia

    Leon Sterling

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

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vasconcelos, W.W. (2004). Logic-Based Electronic Institutions. In: Leite, J., Omicini, A., Sterling, L., Torroni, P. (eds) Declarative Agent Languages and Technologies. DALT 2003. Lecture Notes in Computer Science(), vol 2990. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25932-9_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25932-9_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22124-1

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation