Skip to main content

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.

Hide All
Barták, R. and Toropila, D. 2008. Reformulating constraint models for classical planning. In Proc. of the International Florida AI Research Society Conference, Wilson, D., Ed. AAAI Press, Menlo Park, CA, 525530.
Bellifemine, F., Caire, G. and Greenwood, D. 2007. Developing Multi-Agent Systems with JADE. John Wiley, Chichester, UK.
Bordini, R., Hübner, J. and Wooldridge, M. 2007. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley, Chichester, UK.
Carriero, N. and Gelernter, D. 1989. Coordination languages and their significance. Communications of the ACM 32, 4, 444458.
Cheyer, A. and Martin, D. 2001. The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems 4, 1, 143148.
Dastani, M., Dignum, F. and Meyer, J.-J. 2003. 3APL: A programming language for cognitive agents. ERCIM News 53, 2829.
de Boer, F., Hindriks, K., van der Hoek, W. and Meyer, J. 2005. A verification framework for agent programming with declarative goals. Journal of Applied Logic, 5, 277302.
De Giacomo, G., Lespèrance, Y. and Levesque, H. 2000. ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121, 1–2, 109169.
Dovier, A., Formisano, A. and Pontelli, E. 2009. Representing multi-agent planning in CLP. In Proc. LPNMR, Lecture Notes in Computer Science, Erdem, E., Lin, F. and Schaub, T., Eds. vol. 5753. Springer, Berlin, 423429.
Dovier, A., Formisano, A. and Pontelli, E. 2010. Multivalued action languages with constraints in CLP(FD). Theory and Practice of Logic Programming 10, 2, 167235.
Fagin, R., Halpern, J. Y., Moses, Y. and Vardi, M. Y. 1995. Reasoning About Knowledge. The MIT Press, Cambridge, MA, USA.
Gelfond, M. and Lifschitz, V. 1998. Action languages. Electronic Transactions on Artificial Intelligence 2, 193210.
Gerbrandy, J. 2006. Logics of propositional control. In Nakashima et al. (2006), 193–200.
Hayzelden, A. and Bourne, R. 2001. Agent Technology for Communication Infrastructures. John Wiley, Chichester, UK.
Mallya, A. and Huhns, M. 2003. Commitments among agents. IEEE Internet Computing 7, 4, 9093.
Mascardi, V., Martelli, M. and Sterling, L. 2004. Logic-based specification languages for intelligent agents. Theory and Practice of Logic Programming 4, 4, 495537.
Nakashima, H., Wellman, M. P., Weiss, G. and Stone, P., Eds. 2006. In Proc. of the International Joint Conference on Autonomous Agents and Multiagent Systems. ACM Press, New York.
Pokahr, A., Braubach, L. and Lamersdorf, W. 2005. Jadex: A BDI reasoning engine. In Multi-Agent Programming: Languages, Platforms and Applications. Bordini, R. H., Dastani, M., Dix, J. and El Fallah-Seghrouchni, A., Eds. Multiagent Systems, Artificial Societies, and Simulated Organizations Vol. 15, Springer, Berlin, 149174.
Rao, A. 1996. AgentSpeak: BDI agents speak out in a logical computable language. In Proc. of the European Workshop on Modeling Autonomous Agents in a Multi-Agent World, de Velde, W. V. and Perram, J. W., Eds. Eindhoven, The Netherlands, January 22–25, Lecture Notes in Computer Science, vol. 1038, Springer, Berlin, 4255.
Sauro, L., Gerbrandy, J., van der Hoek, W. and Wooldridge, M. 2006. Reasoning about action and cooperation. See Nakashima et al. (2006), 185–192.
Son, T., Pontelli, E. and Sakama, C. 2009. Logic programming for multiagent planning with negotiation. In Proc. of the International Conference on Logic Programming. Hill, P. M. and Warren, D. S., Eds. Springer, Berlin, 99114.
Spaan, M. T. J., Gordon, G. J. and Vlassis, N. A. 2006. Decentralized planning under uncertainty for teams of communicating agents. In Proc. AAMAS. Nakashima, al., Eds. ACM Press, New York, 249256.
Subrahmanian, V. S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F. and Ross, R. 2000. Heterogeneous Agent Systems: Theory and Implementation. MIT Press, Cambridge, MA, USA.
van der Hoek, W., Jamroga, W. and Wooldridge, M. 2005. A logic for strategic reasoning. In Proc. AAMAS, Dignum, F., Dignum, V., Koenig, S., Kraus, S., Singh, M. P. and Wooldridge, M., 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: 8 *
Loading metrics...

Abstract views

Total abstract views: 141 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 23rd March 2018. This data will be updated every 24 hours.