Engineering AgentSpeak(L): A formal computational model

Tools

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:

Article

Identification Number (DOI):

https://doi.org/10.1093/logcom/8.3.233