Can(Plan)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information

Kim Bauters, Weiru Liu, Jun Hong, Carles Sierra, Lluis Godo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)

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 and 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 are affected by uncertainty and we define an appropriate form of lookahead planning.
Original languageEnglish
Title of host publicationUncertainty in Artificial Intelligence: Proceedings of the Thirtieth Conference (UAI 2014)
PublisherAUAI Press
Pages52-61
Number of pages10
ISBN (Print)978-0-9749039-1-0
Publication statusPublished - Jul 2014
EventThe 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014) - Quebec, Quebec City, Quebec, Canada
Duration: 23 Jul 201427 Jul 2014

Conference

ConferenceThe 30th Conference on Uncertainty in Artificial Intelligence (UAI 2014)
CountryCanada
CityQuebec City, Quebec
Period23/07/201427/07/2014

Keywords

  • belief revision
  • uncertainty
  • BDI
  • AgentSpeak
  • multi-agent programming

Fingerprint Dive into the research topics of 'Can(Plan)+: Extending the Operational Semantics of the BDI Architecture to deal with Uncertain Information'. Together they form a unique fingerprint.

Cite this