Author(s): Kaiyu Wan and Vasu Alagar
Title: An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
Abstract: 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 operators which can be applied to sequential programs and distributed transactions. We give formal syntax and semantics for coordination operators. 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.
Download: PDF
Thursday, 19-May-2005 20:51:10 CEST