Concurrency Model of BDI Programming Frameworks: Why Should We Control It?
Authors: 
Martina Baiardi, 
Samuele Burattini, Giovanni Ciatto, 
Danilo Pianini, 
Andrea Omicini, Alessandro RicciAuthors Info & Claims
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Andrea Omicini, Alessandro RicciAuthors Info & ClaimsPages 2147 - 2149
Abstract
We provide a taxonomy of concurrency models for BDI frameworks, elicited by analysing state-of-the-art technologies, and aimed at helping both BDI designers and developers in making informed decisions. Comparison among BDI technologies w.r.t. concurrency models reveals heterogeneous support, and low customisability.
References
[1]
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, and Danilo Pianini. 2023. JaKtA: BDI Agent-Oriented Programming in Pure Kotlin. In Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings (Lecture Notes in Computer Science, Vol. 14282), Vadim Malvone and Aniello Murano (Eds.). Springer, 49--65. https://doi.org/10.1007/978-3-031-43264-4_4
[2]
Stefania Bandini, Sara Manzoni, and Giuseppe Vizzari. 2009. Agent Based Modeling and Simulation: An Informatics Perspective. J. Artif. Soc. Soc. Simul., Vol. 12, 4 (2009). http://jasss.soc.surrey.ac.uk/12/4/4.html
[3]
Rafael H. Bordini, Jomi F. Hübner, and Michael J. Wooldridge. 2007. Programming Multi-Agent Systems in AgentSpeak using Jason. John Wiley & Sons, Ltd. XVII, 292 pages. http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470029005.html
[4]
Rem W. Collier, Sean Edward Russell, and David Lillis. 2015. Reflecting on Agent Programming with AgentSpeak(L). In PRIMA 2015: Principles and Practice of Multi-Agent Systems. Springer International Publishing, 351--366. https://doi.org/10.1007/978-3-319-25524-8_22
[5]
Lavindra de Silva. 2020. An Operational Semantics for True Concurrency in BDI Agent Systems. In AAAI Conference on Artificial Intelligence. https://api.semanticscholar.org/CorpusID:214310595
[6]
Lavindra de Silva, Felipe Meneguzzi, and Brian Logan. 2020. BDI Agent Architectures: A Survey. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, Christian Bessiere (Ed.). ijcai.org, 4914--4921. https://doi.org/10.24963/ijcai.2020/684
[7]
E. W. Dijkstra. 1965. Solution of a Problem in Concurrent Programming Control. Commun. ACM, Vol. 8, 9 (sep 1965), 569. https://doi.org/10.1145/365559.365617
[8]
Fabio D'Urso, Carmelo Fabio Longo, and Corrado Santoro. 2019. Programming Intelligent IoT Systems with a Python-based Declarative Tool (CEUR Workshop Proceedings, Vol. 2502), Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, and Andrea Omicini (Eds.). CEUR-WS.org, 68--81. https://ceur-ws.org/Vol-2502/paper5.pdf
[9]
James J. Odell. 2002. Objects and Agents Compared. Journal of Object Technology, Vol. 1, 1 (May--June 2002), 41--53. http://www.jot.fm/issues/issue_2002_05/column4
[10]
Andrea Omicini, Alessandro Ricci, and Mirko Viroli. 2008. Artifacts in the A&A Meta-Model for Multi-Agent Systems. Autonomous Agents and Multi-Agent Systems, Vol. 17, 3 (Dec. 2008), 432--456. https://doi.org/10.1007/s10458-008-9053-x Special Issue on Foundations, Advanced Topics and Industrial Perspectives of Multi-Agent Systems.
[11]
Javier Palanca, Jaime Andres Rincon, Carlos Carrascosa, Vicente Julián, and Andrés Terrasa. 2022. A Flexible Agent Architecture in SPADE (Lecture Notes in Computer Science, Vol. 13616). Springer, 320--331. https://doi.org/10.1007/978-3-031-18192-4_26
[12]
Alexander Pokahr, Lars Braubach, and Winfried Lamersdorf. 2005. Jadex: A BDI reasoning engine. 149--174. https://doi.org/10.1007/0-387-26350-0_6
[13]
Anand S. Rao. 1996. AgentSpeak(L): BDI agents speak out in a logical computable language. In Agents Breaking Away, Walter Van de Velde and John W. Perram (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 42--55. https://doi.org/10.1007/BFb0031845
[14]
Alessandro Ricci and Andrea Santi. 2013a. Concurrent Object-Oriented Programming with Agent-Oriented Abstractions: The ALOO Approach. In 2013 Workshop on Programming Based on Actors, Agents, and Decentralized Control (AGERE! 2013) (Indianapolis, Indiana, USA). ACM, New York, NY, USA, 127--138. https://doi.org/10.1145/2541329.2541333
[15]
Alessandro Ricci and Andrea Santi. 2013b. From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL. In Concurrent Objects and Beyond - Festschrift in Honor of Akinori Yonezawa, Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, and Kenjiro Taura (Eds.). Springer.
[16]
Maicon R. Zatelli, Alessandro Ricci, and Jomi F. Hübner. 2015. Evaluating Different Concurrency Configurations for Executing Multi-Agent Systems. In Engineering Multi-Agent Systems, Matteo Baldoni, Luciano Baresi, and Mehdi Dastani (Eds.). Springer International Publishing, Cham, 212--230.
Index Terms
- Concurrency Model of BDI Programming Frameworks: Why Should We Control It?
Recommendations
On the External Concurrency of Current BDI Frameworks for MAS
Engineering Multi-Agent SystemsAbstractThe 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 ...
Proving BDI Properties of Agent-Oriented Programming Languages
In this paper, we consider each of the nine BDI principles defined by Rao and Georgeff based on Bratman's asymmetry thesis, and we verify which ones are satisfied by Rao's AgentSpeak(L), a logic programming language inspired by the BDI architecture for ...
Aborting, suspending, and resuming goals and plans in BDI agents
Intelligent agents designed to work in complex, dynamic environments such as e-commerce must respond robustly and flexibly to environmental and circumstantial changes, including the actions of other agents. An agent must have the capability to ...
Comments
Information & Contributors
Information
Published In
May 2024
2898 pages
ISBN:9798400704864
- General Chairs:
- Mehdi Dastani,
- Jaime Simão Sichman,
- Program Chairs:
- Natasha Alechina,
- Virginia Dignum
Sponsors
Publisher
International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC
Publication History
Published: 06 May 2024
Check for updates
Author Tags
Qualifiers
- Extended-abstract
Funding Sources
- Introduzione di un ecosistema di Digital Twin in ambito sanitario a supporto della governance strategica clinica e di processo
- ENGINES-ENGineering INtElligent Systems around intelligent agent technologies
- FAIR-Future Artificial Intelligence Research
- WOOD4.0 - Woodworking Machines for Industry 4.0
Conference
AAMAS '24
Sponsor:
AAMAS '24: International Conference on Autonomous Agents and Multiagent Systems
May 6 - 10, 2024
Auckland, New Zealand
Acceptance Rates
Overall Acceptance Rate 1,155 of 5,036 submissions, 23%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 9Total Downloads
- Downloads (Last 12 months)9
- Downloads (Last 6 weeks)1
Reflects downloads up to 11 Feb 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in