×

zbMATH — the first resource for mathematics

Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda. (English) Zbl 1267.68079
Summary: 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.

MSC:
68N17 Logic programming
Software:
AgentSpeak; Jason
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] de Velde, Proc. of the European Workshop on Modeling Autonomous Agents in a Multi-Agent World pp 42– (1996)
[2] DOI: 10.1007/978-3-642-02846-5 · Zbl 1167.68003 · doi:10.1007/978-3-642-02846-5
[3] Proc. of the International Joint Conference on Autonomous Agents and Multiagent Systems (2006)
[4] DOI: 10.1017/S147106840400198X · Zbl 1085.68022 · doi:10.1017/S147106840400198X
[5] DOI: 10.1109/MIC.2003.1215666 · Zbl 05096456 · doi:10.1109/MIC.2003.1215666
[6] Erdem, Proc. LPNMR pp 423– (2009)
[7] Agent Technology for Communication Infrastructures (2001)
[8] DOI: 10.1016/S0004-3702(00)00031-X · Zbl 0948.68175 · doi:10.1016/S0004-3702(00)00031-X
[9] Journal of Applied Logic 5 pp 277– (2005)
[10] Electronic Transactions on Artificial Intelligence 2 pp 193– (1998)
[11] ERCIM News 53 pp 28– (2003)
[12] Reasoning About Knowledge (1995) · Zbl 0839.68095
[13] DOI: 10.1023/A:1010091302035 · Zbl 05387343 · doi:10.1023/A:1010091302035
[14] DOI: 10.1017/S1471068410000013 · Zbl 1191.68653 · doi:10.1017/S1471068410000013
[15] DOI: 10.1145/63334.63337 · doi:10.1145/63334.63337
[16] Programming Multi-Agent Systems in AgentSpeak Using Jason (2007)
[17] Developing Multi-Agent Systems with JADE (2007)
[18] Wilson, Proc. of the International Florida AI Research Society Conference pp 525– (2008)
[19] Dignum, Proc. AAMAS pp 157– (2005)
[20] Heterogeneous Agent Systems: Theory and Implementation (2000)
[21] DOI: 10.1145/1160633 · doi:10.1145/1160633
[22] Bordini, Multi-Agent Programming: Languages, Platforms and Applications pp 149– (2005) · Zbl 1101.68456 · doi:10.1007/b137449
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.