Skip to main content Accessibility help
×
Home
Hostname: page-component-559fc8cf4f-6f8dk Total loading time: 6.301 Render date: 2021-03-03T03:18:55.795Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": false, "newCiteModal": false, "newCitedByModal": true }

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

Published online by Cambridge University Press:  24 September 2012

AGOSTINO DOVIER
Affiliation:
Dipartimento di Matematica e Informatica, Università di Udine, Udine, Italy (e-mail: dovier@dimi.uniud.it
ANDREA FORMISANO
Affiliation:
Dipartimento di Matematica e Informatica, Università di Perugia, Perugia, Italy (e-mail: formis@dmi.unipg.it
ENRICO PONTELLI
Affiliation:
Department of Computer Science, New Mexico State University, University Park, NM, USA (e-mail: epontell@cs.nmsu.edu

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.

Type
Regular Papers
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.

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, 525530.Google Scholar
Bellifemine, F., Caire, G. and Greenwood, D. 2007. Developing Multi-Agent Systems with JADE. John Wiley, Chichester, UK.CrossRefGoogle 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, 444458.CrossRefGoogle Scholar
Cheyer, A. and Martin, D. 2001. The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems 4, 1, 143148.CrossRefGoogle Scholar
Dastani, M., Dignum, F. and Meyer, J.-J. 2003. 3APL: A programming language for cognitive agents. ERCIM News 53, 2829.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, 277302.CrossRefGoogle 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, 109169.CrossRefGoogle 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, 423429.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, 167235.CrossRefGoogle 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, 193210.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, 9093.CrossRefGoogle Scholar
Mascardi, V., Martelli, M. and Sterling, L. 2004. Logic-based specification languages for intelligent agents. Theory and Practice of Logic Programming 4, 4, 495537.CrossRefGoogle 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, 149174.CrossRefGoogle 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, 4255.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, 99114.Google 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, 249256.CrossRefGoogle 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.Google 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, 157164.Google Scholar

Dovier Supplementary Material

Appendix

PDF 97 KB

Full text views

Full text views reflects PDF downloads, PDFs sent to Google Drive, Dropbox and Kindle and HTML full text views.

Total number of HTML views: 0
Total number of PDF views: 17 *
View data table for this chart

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

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

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

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

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

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

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

Reply to: Submit a response


Your details


Conflicting interests

Do you have any conflicting interests? *