A Common Semantic Basis for BDI Languages

Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to provide a common semantic basis for a number of BDI programming languages in order to support both formal verification and the transfer of concepts and developments. We examine some of the key features of AIL, unifying a wide variety of structures appearing in the operational semantics of BDI programming languages. In particular, we highlight issues in the treatment of events, goals, and intentions, which are central to the design of these languages.

• Type: Conference
• Year: 2007
• Where: PROMAS
• Authors: Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge
• Keywords: Artificial Intelligence, BDI Programming Languages, BDIstyle Programming Languages, Programming Languages, PROMAS 2007