BAAC: A Prolog System for Action Description and Agents Coordination

Authors Agostino Dovier, Andrea Formisano, Enrico Pontelli

Thumbnail PDF


  • Filesize: 0.5 MB
  • 11 pages

Document Identifiers

Author Details

Agostino Dovier
Andrea Formisano
Enrico Pontelli

Cite AsGet BibTex

Agostino Dovier, Andrea Formisano, and Enrico Pontelli. BAAC: A Prolog System for Action Description and Agents Coordination. In Technical Communications of the 27th International Conference on Logic Programming (ICLP'11). Leibniz International Proceedings in Informatics (LIPIcs), Volume 11, pp. 187-197, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)


The paper presents a system for knowledge representation and coordination, where autonomous agents reason and act in a shared environment. Agents autonomously pursue individual goals, but can interact through a shared knowledge repository. In their interactions, agents deal with problems of synchronization and concurrency, and have to realize coordination by developing proper strategies in order to ensure a consistent global execution of their autonomously derived plans. This kind of knowledge is modeled using an extension of the action description language B. A distributed planning problem is formalized by providing a number of 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 platform, implemented in Prolog, is easily modifiable and extensible. New user-defined interaction protocols can be integrated.
  • Knowledge Representation
  • Multi-Agent Systems
  • Planning
  • CLP


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail