Paper
Quantitative modelling and analysis of BDI agents
Published Aug 28, 2023 · B. Archibald, Muffy Calder, Michele Sevegnani
Softw. Syst. Model.
5
Citations
0
Influential Citations
Abstract
Abstract 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.
Plan selection has limited effect on intention selection in BDI agents, and action failures can have minimal impact due to smarter choices.
Full text analysis coming soon...