Browse by author
Lookup NU author(s): Dr Mengwei XuORCiD
This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).
Belief–desire–intention (BDI) agents are a popular agent architecture. We extend conceptual agent notation (Can)—a BDI programming language with advanced features such as failure recovery and declarative goals—to include probabilistic action outcomes, e.g. to reflect failed actuators, and probabilistic policies, e.g. for probabilistic plan and intention selection. The extension is encoded in Milner’s bigraphs. Through application of our BigraphER tool and the PRISM model checker, the probability of success (intention completion) under different probabilistic outcomes and plan/event/intention selection strategies can be investigated and compared. We present a smart manufacturing use case. A significant result is that plan selection has limited effect compared with intention selection. We also see that the impact of action failures can be marginal— even when failure probabilities are large—due to the agent making smarter choices
Author(s): Archibald B, Calder M, Sevegnani M, Xu M
Publication type: Article
Publication status: Published
Journal: Software and Systems Modeling
Year: 2024
Volume: 23
Pages: 343-367
Print publication date: 01/04/2024
Online publication date: 28/08/2023
Acceptance date: 17/07/2023
Date deposited: 06/12/2024
ISSN (print): 1619-1366
ISSN (electronic): 1619-1374
Publisher: Springer Nature
URL: https://doi.org/10.1007/s10270-023-01121-5
DOI: 10.1007/s10270-023-01121-5
Altmetrics provided by Altmetric
