Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-23T11:15:15.282Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  24 September 2012

AGOSTINO DOVIER ,
ANDREA FORMISANO  and
ENRICO PONTELLI
AGOSTINO DOVIER
Affiliation:
Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy (e-mail: [email protected]
ANDREA FORMISANO
Affiliation:
Dipartimento di Matematica e Informatica, Università di Perugia, Perugia, Italy (e-mail: [email protected]
ENRICO PONTELLI
Affiliation:
Department of Computer Science, New Mexico State University, University Park, NM, USA (e-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

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.

Keywords

Action languagesMulti-agent systemsConstraint logic programming
Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 13 , Issue 2: 25th Annual GULP Conference , March 2013 , pp. 149 - 173
Copyright
Copyright © Cambridge University Press 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

*

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.

References

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, 525–530.Google Scholar
Bellifemine, F., Caire, G. and Greenwood, D. 2007. Developing Multi-Agent Systems with JADE. John Wiley, Chichester, UK.Google Scholar
Bordini, R., Hübner, J. and Wooldridge, M. 2007. Programming Multi-Agent Systems in AgentSpeak Using Jason. John Wiley, Chichester, UK.Google Scholar
Carriero, N. and Gelernter, D. 1989. Coordination languages and their significance. Communications of the ACM 32, 4, 444–458.Google Scholar
Cheyer, A. and Martin, D. 2001. The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems 4, 1, 143–148.Google Scholar
Dastani, M., Dignum, F. and Meyer, J.-J. 2003. 3APL: A programming language for cognitive agents. ERCIM News 53, 28–29.Google Scholar
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, 277–302.Google Scholar
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, 109–169.Google Scholar
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, 423–429.Google Scholar
Dovier, A., Formisano, A. and Pontelli, E. 2010. Multivalued action languages with constraints in CLP(FD). Theory and Practice of Logic Programming 10, 2, 167–235.Google Scholar
Fagin, R., Halpern, J. Y., Moses, Y. and Vardi, M. Y. 1995. Reasoning About Knowledge. The MIT Press, Cambridge, MA, USA.Google Scholar
Gelfond, M. and Lifschitz, V. 1998. Action languages. Electronic Transactions on Artificial Intelligence 2, 193–210.Google Scholar
Gerbrandy, J. 2006. Logics of propositional control. In Nakashima et al. (2006), 193–200.Google Scholar
Hayzelden, A. and Bourne, R. 2001. Agent Technology for Communication Infrastructures. John Wiley, Chichester, UK.CrossRefGoogle Scholar
Mallya, A. and Huhns, M. 2003. Commitments among agents. IEEE Internet Computing 7, 4, 90–93.Google Scholar
Mascardi, V., Martelli, M. and Sterling, L. 2004. Logic-based specification languages for intelligent agents. Theory and Practice of Logic Programming 4, 4, 495–537.Google Scholar
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.Google Scholar
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, 149–174.Google Scholar
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, 42–55.Google Scholar
Sauro, L., Gerbrandy, J., van der Hoek, W. and Wooldridge, M. 2006. Reasoning about action and cooperation. See Nakashima et al. (2006), 185–192.Google Scholar
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, 99–114.CrossRefGoogle Scholar
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, H.et al., Eds. ACM Press, New York, 249–256.Google Scholar
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.CrossRefGoogle Scholar
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, 157–164.CrossRefGoogle Scholar
Supplementary material: PDF

Dovier Supplementary Material

Appendix

Download Dovier Supplementary Material(PDF)
PDF 96.5 KB