Operational Semantics for BDI Modules in Multi-agent Programming

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 programm...

Full description

Saved in:
Bibliographic Details
Published inComputational Logic in Multi-Agent Systems Vol. 6214; pp. 83 - 101
Main Authors Dastani, Mehdi, Steunebrink, Bas R.
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2010
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Information Hiding
Operational Semantic
Return Action
Transition Rule
Work Agent
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9783642168666
3642168663
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-16867-3_5