Skip to main content
SpringerLink
Log in

An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents

  • Conference paper
Declarative Agent Languages and Technologies III (DALT 2005)

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

Included in the following conference series:

Abstract

We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent system. We extend our previous work on Lucx, an Intensional Programming Language extended with context as first class object, to support coordination activities in a distributed network of agents. We study coordination constructs which can be applied to sequential programs and distributed transactions. We give formal syntax and semantics for coordination constructs. The semantics for transaction expressions is given on top of the existing operational semantics in Lucx. The extended Lucx can be used for Internet-based agent applications.

This work is supported by grants from Natural Sciences and Engineering Research Council, Canada.

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. Ashcroft, E., Faustini, A., Jagannathan, R., Wadge, W.: Multidimensional, Declarative Programming. Oxford University Press, London (1995)

    MATH  Google Scholar 

  2. Alagar, V.S., Paquet, J., Wan, K.: Intensional Programming for Agent Communication. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS, vol. 3476, pp. 239–255. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  3. Bourne, S.: An Introduction to the UNIX Shell. Bell Systems Technical Journal 57(6), 1971–1990 (1978)

    Article  Google Scholar 

  4. De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O., Needham, J.: LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol. 3904, pp. 72–88. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  5. FIPA Semantic Language Specification. FIPA Specification repository, FIPA-specification identifier XC00008G, Foundation for Intelligent Physical Agents, Geneva, Switzerland (September 2000)

    Google Scholar 

  6. FIPA CCL Content Language Specification. FIPA TC C, Document Number: XC00009B, http://www.fipa.org/specs/fipa00009/XC00009B.html,08/10/2001

  7. Flanagan, D.: Javascript: The Definitive Guide, 2nd edn. Associates. O’Reilly, Sebastopol (1997)

    MATH  Google Scholar 

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

    Chapter  Google Scholar 

  9. Misra, J.: A Programming Model for the Orchestration of Web Services. In: Proceedings of the Second International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China (September 2004)

    Google Scholar 

  10. Ousterhout, J.K.: Tcl and the Tck Toolkit. Addison-Wesley, Reading (1994)

    MATH  Google Scholar 

  11. Schneider, J.-G., Lumpe, M., Nierstrasz, O.: Agent Coordination via Scripting Language. In: Omicini, Zambonelli, Klusch, Tolksdorf (eds.) Coordination of Internet Agents, pp. 153–175. Springer, Heidelberg (2001), ISBN 3-540-41613-7

    Chapter  Google Scholar 

  12. van Rossum, G.: Python Reference Manual. Technical Report, Corporation of National Research Institute, CNRI (1996)

    Google Scholar 

  13. Wall, L., Christiansen, T., Schwartz, R.L.: Programming Perl., 2nd edn. O’Reilly & Associates, Sebastopol (1996)

    MATH  Google Scholar 

  14. Wan, K., Alagar, V.S., Paquet, J.: Real Time Reactive Programming Enriched with Context. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 387–402. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Wan, K.: Lucx: Lucid Enriched With Contexts, Ph.d Thesis, Department of Computer Science, Concordia University, Montreal, Canada (January 2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Concordia University, Montreal, Quebec, H3G 1M8, Canada

    Kaiyu Wan & Vasu S. Alagar

Authors
  1. Kaiyu Wan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vasu S. Alagar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Via Pessinetto 12, 10149, Turin, Italy

    Matteo Baldoni

  2. Artificial Intelligence Programme, University of Amsterdam, The Netherlands

    Ulle Endriss

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

    Andrea Omicini

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

    Paolo Torroni

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wan, K., Alagar, V.S. (2006). An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds) Declarative Agent Languages and Technologies III. DALT 2005. Lecture Notes in Computer Science(), vol 3904. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11691792_13

Download citation

  • DOI: https://doi.org/10.1007/11691792_13

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-33107-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation