Validation of BDI MASs via Simulation

Several development methodologies (and abstractions) are available to simplify development of real-time and autonomous software systems. A widely adopted approach is MAS engineering for which several abstractions were proposed over the years; one example is the BDI programming model for cognitive ag...

Full description

Saved in:
Bibliographic Details
Published in2024 28th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) pp. 128 - 129
Main Author Baiardi, Martina
Format Conference Proceeding
LanguageEnglish
Published IEEE 07.10.2024
Subjects
BDI Agents
Beliefs Desires Intentions
Modeling
Multi-agent systems
Multi-Agent Systems Engineering
Multi-Agent Systems Simulation
Multi-Agent Systems Testing
Programming
Real-time systems
Software systems
Testing
Online AccessGet full text
ISSN2767-8652
DOI10.1109/DS-RT62209.2024.00029

Cover

More Information
Summary:Several development methodologies (and abstractions) are available to simplify development of real-time and autonomous software systems. A widely adopted approach is MAS engineering for which several abstractions were proposed over the years; one example is the BDI programming model for cognitive agents, well-recognized to manage the agents' behaviour and interaction. For these systems, unit testing is not enough to appreciate the emerging behaviour obtained from a configuration, therefore, simulation could represent a step forward to guarantee the correctness of the design. However, the literature shows two diverging directions: the first one focuses on the simulation, leaving agents abstractions simpler than the complete BDI notation, while the second mostly focuses on full-fledged BDI frameworks. What is currently missing is an integration between simulation, as a foundational development validation tool, and BDI systems, allowing engineers define a MAS and then, using the same configuration, simulate it, or vice versa.
ISSN:2767-8652
DOI:10.1109/DS-RT62209.2024.00029