2011/10/04 by Agostino Dovier, Andrea Formisano, Dovier, Agostino +3
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Programming Languages (cs.PL) #Semantic Web and Ontologies #cs.AI #cs.LO #cs.PL
paper · pdf · doi:10.48550/arxiv.1110.0624
arxiv created 2011/10/04 · openalex publication_date 2011/10/04 · arxiv updated 2011/10/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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).