Autonomous agents coordination: action languages meet CLP( FD) and Linda

DOI10.1017/S1471068411000615MaRDI QIDQ5299582zbMATH OpenOpenAlexFDO

Authors Agostino Dovier, Andrea Formisano, Enrico Pontelli

Publication date 26 June 2013

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1110.0624

zbMATH Keywords

action languagesconstraint logic programmingmulti-agent systems

Mathematics Subject Classification ID

Logic programming (68N17)

Abstract: The paper presents a knowledge representation formalism, in the form of a high-level Action Description Language 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 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. To appear in Theory and Practice of Logic Programming (TPLP).

Recommendations

• BAAC: a Prolog system for action description and agents coordination
• Representing Multi-agent Planning in CLP
• Planning for multiagent using ASP-Prolog
• An investigation of multi-agent planning in CLP
• Reasoning and planning with cooperative actions for multiagents using answer set programming

Cites work

• ConGolog, a concurrent programming language based on the situation calculus
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14--17, 2009. Proceedings
• Multi-Agent Programming
• Multivalued action languages with constraints in CLP(FD)
• Transformations of logic programs with goals as arguments

Cited in

(7)

• Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs
• Reactive computing as model generation
• BAAC: a Prolog system for action description and agents coordination
• Solving distributed constraint optimization problems using logic programming
• scientific article; zbMATH DE number 2087380 (Why is no real title available?)
• Modelling multi-agent epistemic planning in ASP
• Timed concurrent language for argumentation with maximum parallelism

Describes a project that uses

Uses Software

• Jason
• AgentSpeak

This page was built for publication: Autonomous agents coordination: action languages meet CLP(\(\mathcal {FD}\)) and Linda

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5299582)