Engineering AgentSpeak(L): A formal computational model

d'Inverno, Mark and Luck, Michael. 1998. Engineering AgentSpeak(L): A formal computational model. Journal of Logic and Computation, 8(3), pp. 233-260. ISSN 0955-792X [Article]

No full text available

Abstract or Description

Perhaps the most successful agent architectures, and certainly the best known, are those based on
the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that has accumulated
on both formal and practical aspects of this framework, however, there remains a gap between
the formal models and the implemented systems. In this paper, we build on earlier work by Rao
aimed at narrowing this gap, by developing a strongly-typed, formal, yet computational model of
the BDI-based AgentSpeak(L) language. AgentSpeak(L) is a programming language, based on the
Procedural Reasoning System (PRS) and the Distributed Multi-Agent Reasoning System (dMARS),
which determines the behaviour of the agents it implements. In developing the model, we add to
Rao's work, identify some omissions, and progress beyond the description of a particular language by
giving a formal specification of a general BDI architecture that can be used as the basis for providing
further formal specifications of more sophisticated systems.

Item Type:


Identification Number (DOI):

Departments, Centres and Research Units:




Item ID:


Date Deposited:

19 Sep 2013 14:56

Last Modified:

20 Jun 2017 09:59

Peer Reviewed:

Yes, this version has been peer-reviewed.


Edit Record Edit Record (login required)