Concurrency Model of BDI Programming Frameworks: Why Should We Control It?
Authors:
Martina Baiardi,
Samuele Burattini,
Giovanni Ciatto,
Danilo Pianini,
Andrea Omicini,
Alessandro Ricci
Abstract:
We provide a taxonomy of concurrency models for BDI frameworks, elicited by analysing state-of-the-art technologies, and aimed at hel** both BDI designers and developers in making informed decisions. Comparison among BDI technologies w.r.t. concurrency models reveals heterogeneous support, and low customisability.
We provide a taxonomy of concurrency models for BDI frameworks, elicited by analysing state-of-the-art technologies, and aimed at hel** both BDI designers and developers in making informed decisions. Comparison among BDI technologies w.r.t. concurrency models reveals heterogeneous support, and low customisability.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
On the external concurrency of current BDI frameworks for MAS
Authors:
Martina Baiardi,
Samuele Burattini,
Giovanni Ciatto,
Danilo Pianini,
Alessandro Ricci,
Andrea Omicini
Abstract:
The execution of Belief-Desire-Intention (BDI) agents in a Multi-Agent System (MAS) can be practically implemented on top of low-level concurrency mechanisms that impact on efficiency, determinism, and reproducibility. We argue that developers should specify the MAS behaviour independently of the execution model, and choose or configure the concurrency model later on, according to the specific nee…
▽ More
The execution of Belief-Desire-Intention (BDI) agents in a Multi-Agent System (MAS) can be practically implemented on top of low-level concurrency mechanisms that impact on efficiency, determinism, and reproducibility. We argue that developers should specify the MAS behaviour independently of the execution model, and choose or configure the concurrency model later on, according to the specific needs of their target domain, leaving the MAS specification unaffected. We identify patterns for map** the agent execution over the underlying concurrency abstractions, and investigate which concurrency models are supported by some of the most commonly used BDI platforms. Although most frameworks support multiple concurrency models, we find that they mostly hide them under the hood, making them opaque to the developer, and actually limiting the possibility of fine-tuning the MAS.
△ Less
Submitted 29 May, 2024; v1 submitted 16 April, 2024;
originally announced April 2024.