Research Online

Logo

Goldsmiths - University of London

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:

Article

Identification Number (DOI):

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

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
1998Published

Item ID:

8752

Date Deposited:

19 Sep 2013 14:56

Last Modified:

20 Jun 2017 09:59

Peer Reviewed:

Yes, this version has been peer-reviewed.

URI:

http://research.gold.ac.uk/id/eprint/8752

Edit Record Edit Record (login required)