Skip to main content
SpringerLink
Log in

Intensional Programming for Agent Communication

  • Conference paper
Declarative Agent Languages and Technologies II (DALT 2004)

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

Included in the following conference series:

Abstract

This article investigates the intensional programming paradigm for agent communication by introducing context as a first class object in the intensional programming language Lucid. For the language thus extended, a calculus of contexts and a logic of contexts are provided. The paper gives definitions, syntax, and operators for context, and introduces an operational semantics for evaluating expressions in extended Lucid. It is shown that the extended Lucid language, called Agent Intensional Programming Language(AIPL), has the generality and the expressiveness for being an Agent Communication Language(ACL).

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. Alagar, V.S., Paquet, J., Wan, K.: Contexts in Intensional Programming. Technical Report, Department of Computer Science, Concordia University, Montreal, Canada (April 2004)

    Google Scholar 

  2. Alagar, V.S., Holliday, J., Thiyagarajan, P.V., Zhou, B.: Agent Types and Their Formal Descriptions. Technical Report, Department of Computer Engineering, Santa Clara University, Santa Clara, CA, U.S.A. (May 2002)

    Google Scholar 

  3. van Riemsdijk, M.B., Dastani, M., Dignum, F., Meyer, J.J.: Dynamics of Declarative Goals in Agent Programming. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 1–18. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an Agent Communication Language. In: Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM 1994). ACM Press, New York (November 1994)

    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. Fan, X., Yen, J., Miller, M., Volz, R.: The Semantics of MALLET - An Agent Teamwork Encoding Language. In: Leite, J., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 69–91. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Guha, R.V.: Contexts: A Formalization and Some Applications. PhD thesis, Stanford University (February 10, 1995)

    Google Scholar 

  8. Labrou, Y., Finin, T., Peng, Y.: Agent Communication Languages: The Current Landscape. IEEE Journal on Intelligent Agents, 45–52 (March/April 1999)

    Google Scholar 

  9. Paquet, J., Kropf, P.: The GIPSY Architecture. In: Kropf, P.G., Babin, G., Plaice, J., Unger, H. (eds.) DCW 2000. LNCS, vol. 1830, pp. 144–153. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Paquet, J.: Intensional Scientific Programming. Ph.D. Thesis, Departement d’Informatique, Universite Laval, Quebec, Canada (1999)

    Google Scholar 

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

  12. Wadge, W.W., Ashcroft, E.A.: Lucid, the dataflow programming language. Academic Press, London (1985)

    MATH  Google Scholar 

  13. Wooldridge, M.: Verifiable Semantics for Agent Communication Languages. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS 1998) (1998)

    Google Scholar 

  14. Wu, A.H., Paquet, J., Grogono, P.: Design of a compiler framework in the GIPSY system. In: Parallel and Distributed Computing and Systems - PDCS 2003, Marina Del Rey, California, USA (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Vasu S. Alagar, Joey Paquet & Kaiyu Wan

Authors
  1. Vasu S. Alagar
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joey Paquet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kaiyu Wan
    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

Alagar, V.S., Paquet, J., Wan, K. (2005). Intensional Programming for Agent Communication. 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_14

Download citation

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

  • 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