Skip to main content
    • Aa
    • Aa

Autonomous agents coordination: Action languages meet CLP($\mathcal {FD}$) and Linda*


The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language (ADL) for multi-agent systems, where autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository. In their interactions through shared portions of the world, the agents deal with problems of synchronization and concurrency; the action language allows the description of strategies to ensure a consistent global execution of the agents’ autonomously derived plans. A distributed planning problem is formalized by providing the declarative specifications of the portion of the problem pertaining to a single agent. Each of these specifications is executable by a stand-alone CLP-based planner. The coordination among agents exploits a Linda infrastructure. The proposal is validated in a prototype implementation developed in SICStus Prolog.

Hide All

Research partially funded by GNCS-INdAM projects, MUR-PRIN: Innovative and multidisciplinary approaches for constraint and preference reasoning project; NSF grants IIS-0812267 and HRD-0420407; and grants 2009.010.0336 and 2010.011.0403.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

F. Bellifemine , G. Caire and D. Greenwood 2007. Developing Multi-Agent Systems with JADE. John Wiley, Chichester, UK.

R. Bordini , J. Hübner and M. Wooldridge 2007. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley, Chichester, UK.

N. Carriero and D. Gelernter 1989. Coordination languages and their significance. Communications of the ACM 32, 4, 444458.

A. Cheyer and D. Martin 2001. The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems 4, 1, 143148.

F. de Boer , K. Hindriks , W. van der Hoek and J. Meyer 2005. A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5, 277302.

G. De Giacomo , Y. Lespèrance and H. Levesque 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121, 1–2, 109169.

A. Hayzelden and R. Bourne 2001. Agent Technology for Communication Infrastructures. John Wiley, Chichester, UK.

A. Mallya and M. Huhns 2003. Commitments among agents. IEEE Internet Computing 7, 4, 9093.

V. Mascardi , M. Martelli and L. Sterling 2004. Logic-based specification languages for intelligent agents. Theory and Practice of Logic Programming 4, 4, 495537.

H. Nakashima , M. P. Wellman , G. Weiss and P. Stone , Eds. 2006. In Proc. of the International Joint Conference on Autonomous Agents and Multiagent Systems. ACM Press, New York.

A. Pokahr , L. Braubach and W. Lamersdorf 2005. Jadex: A BDI reasoning engine. In Multi-Agent Programming: Languages, Platforms and Applications. R. H. Bordini , M. Dastani , J. Dix and A. El Fallah-Seghrouchni , Eds. Multiagent Systems, Artificial Societies, and Simulated Organizations Vol. 15, Springer, Berlin, 149174.

M. T. J. Spaan , G. J. Gordon and N. A. Vlassis 2006. Decentralized planning under uncertainty for teams of communicating agents. In Proc. AAMAS. H. Nakashima et al., Eds. ACM Press, New York, 249256.

W. van der Hoek , W. Jamroga and M. Wooldridge 2005. A logic for strategic reasoning. In Proc. AAMAS, F. Dignum , V. Dignum , S. Koenig , S. Kraus , M. P. Singh and M. Wooldridge , Eds. ACM Press, New York, 157164.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Type Description Title
Supplementary Materials

Dovier Supplementary Material

 PDF (97 KB)
97 KB


Full text views

Total number of HTML views: 0
Total number of PDF views: 5 *
Loading metrics...

Abstract views

Total abstract views: 104 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 25th September 2017. This data will be updated every 24 hours.