Intensional Programming for Agent Communication

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

[1]  Ai Hua Wu,et al.  The translator generation in the general intensional programming complier , 2004, 8th International Conference on Computer Supported Cooperative Work in Design.

[2]  Michael Wooldridge,et al.  Verifiable semantics for agent communication languages , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

[3]  John Yen,et al.  The Semantics of MALLET-An Agent Teamwork Encoding Language , 2004, DALT.

[4]  Andrea Omicini,et al.  Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.

[5]  John Plaice,et al.  Distributed Communities on the Web , 2002, Lecture Notes in Computer Science.

[6]  Peter G. Kropf,et al.  The GIPSY Architecture , 2000, DCW.

[7]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[8]  Yun Peng,et al.  Agent communication languages: the current landscape , 1999, IEEE Intell. Syst..

[9]  Frank Dignum,et al.  Dynamics of Declarative Goals in Agent Programming , 2004, DALT.

[10]  Tim Finin,et al.  Using KQML as an agent communication language , 1994, CIKM 1994.

[11]  John Plaice,et al.  Introduction to Intensional Programming , 1996 .

[12]  Johann Wolfgang,et al.  AN INFRASTRUCTURE FOR MOBILE AGENTS : REQUIREMENTS AND ARCHITECTURE , 1995 .

[13]  Nicolas Halbwachs,et al.  LUSTRE: A declarative language for programming synchronous systems* , 1987 .

[14]  Kaiyu Wan,et al.  Real Time Reactive Programming in Lucid Enriched with Contexts , 2004, ICTAC.

[15]  Iskender Agi,et al.  GLU: A High-Level System for Granular Data-Parallel Programming , 1997, Concurr. Pract. Exp..

[16]  Zhiming Liu,et al.  Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers , 2005, ICTAC.

[17]  R. Guha.  Contexts: a formalization and some applications , 1992 .

[18]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.

[19]  W. Wadge.  Intensional Programming Languages ∗ , 1998 .

[20]  William W. Wadge,et al.  Lucid, the dataflow programming language , 1985 .

[21]  Martin L. Griss,et al.  Multi-agent cooperation, dynamic workflow and XML for e-commerce automation , 2000, AGENTS '00.