Operational semantics for BDI modules in multi-agent programming

  • Authors:
  • Mehdi Dastani;Bas R. Steunebrink

  • Affiliations:
  • Utrecht University, The Netherlands;Utrecht University, The Netherlands

  • Venue:
  • CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implementation of agents, agent roles, and agent profiles. Moreover, the introduced concept of modules enables common programming techniques such as encapsulation and information hiding for BDI-based multi-agent programs. This vision is applied to a BDI-based multi-agent programming language to which specific programming constructs are added to allow the implementation of modules. The syntax and operational semantics of this programming language are provided and some properties of the module related programming constructs are discussed. An example is presented to illustrate how modules can be used to implement BDI-based multi-agent systems.