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

We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. 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.

• Type: Conference
• Year: 2005
• Where: DALT
• Authors: Kaiyu Wan, Vasu S. Alagar
• Keywords: Coordination Constructs, DALT 2005, Intensional Programming, Intensional Programming Paradigm