An intensional programming approach to multi-agent coordination in a distributed network of agents

Authors:
Kaiyu Wan;Vasu S. Alagar
Affiliations:
Department of Computer Science, Concordia University, Montreal, Quebec, Canada;Department of Computer Science, Concordia University, Montreal, Quebec, Canada
Venue:
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Year:
2005

Citing 10
Cited 2

Tcl and the Tk toolkit

Tcl and the Tk toolkit
JavaScript (2nd ed.): the definitive guide

JavaScript (2nd ed.): the definitive guide
Agent coordination via scripting languages

Coordination of Internet agents
Python reference manual

Python reference manual
A Programming Model for the Orchestration of Web Services

SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Lucx: lucid enriched with context

Lucx: lucid enriched with context
LAIMA: a multi-agent platform using ordered choice logic programming

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A distributed architecture for norm-aware agent societies

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Real time reactive programming in lucid enriched with contexts

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Intensional programming for agent communication

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

A Component-Based Architecture for Multi-Agent Systems

IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems

Service-Oriented Computing --- ICSOC 2008 Workshops

Quantified Score

Hi-index	0.00

Visualization

Abstract

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