Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda

10/04/2011
by   Agostino Dovier, et al.
0

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).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/15/2009

Multi-valued Action Languages in CLP(FD)

Action description languages, such as A and B, are expressive instrument...
research
08/06/2020

The Emergence of Adversarial Communication in Multi-Agent Reinforcement Learning

Many real-world problems require the coordination of multiple autonomous...
research
06/24/2016

Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle

The Knowledge of Preconditions principle (KoP) is proposed as a widely a...
research
02/20/2019

Empathic Autonomous Agents

Identifying and resolving conflicts of interests is a key challenge when...
research
08/07/2020

Modelling Multi-Agent Epistemic Planning in ASP

Designing agents that reason and act upon the world has always been one ...
research
12/03/2019

A Dataset Schema for Cooperative Learning from Demonstration in Multi-robots Systems

Multi-Agent Systems (MASs) have been used to solve complex problems that...
research
05/19/2015

Modular Action Language ALM

The paper introduces a new modular action language, ALM, and illustrates...

Please sign up or login with your details

Forgot password? Click here to reset