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

• Type: Conference
• Year: 2004
• Where: DALT
• Authors: Vasu S. Alagar, Joey Paquet, Kaiyu Wan
• Keywords: Agent Communication, DALT 2004, Extended Lucid Language, Intensional Programming