CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to Deal with Uncertain Information
Abstract
The BDI architecture, where agents are modelled based on their beliefs, desires and intentions, provides a practical approach to develop large scale systems. However, it is not well suited to model complex Supervisory Control And Data Acquisition (SCADA) systems pervaded by uncertainty. In this paper we address this issue by extending the operational semantics of CAN(PLAN) into CAN(PLAN)+. We start by modelling the beliefs of an agent as a set of epistemic states where each state, possibly using a different representation, models part of the agent’s beliefs. These epistemic states are stratified to make them commensurable \nand to reason about the uncertain beliefs of the agent. The syntax and semantics of a BDI agent are extended accordingly and we identify fragments with computationally efficient semantics. Finally, we examine how primitive actions \nare affected by uncertainty and we define an appropriate form of lookahead planning.
Cite
Text
Bauters et al. "CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to Deal with Uncertain Information." Conference on Uncertainty in Artificial Intelligence, 2014.Markdown
[Bauters et al. "CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to Deal with Uncertain Information." Conference on Uncertainty in Artificial Intelligence, 2014.](https://mlanthology.org/uai/2014/bauters2014uai-plan/)BibTeX
@inproceedings{bauters2014uai-plan,
title = {{CAN(PLAN)+: Extending the Operational Semantics of the BDI Architecture to Deal with Uncertain Information}},
author = {Bauters, Kim and Liu, Weiru and Hong, Jun and Sierra, Carles and Godo, Lluís},
booktitle = {Conference on Uncertainty in Artificial Intelligence},
year = {2014},
pages = {52-61},
url = {https://mlanthology.org/uai/2014/bauters2014uai-plan/}
}