Intensional Programming for Agent Communication [chapter]

Vasu S. Alagar, Joey Paquet, Kaiyu Wan
2005 Lecture Notes in Computer Science  
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
more » ... amming Language(AIPL), has the generality and the expressiveness for being an Agent Communication Language(ACL).
doi:10.1007/11493402_14 fatcat:uz332cbfnrenjgzus4oo52h2yq