The University of Southampton
University of Southampton Institutional Repository

The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System

The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System
The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control. The theory of PRS-like systems has also been widely studied: within the intelligent agents research community, the belief-desire-intention (BDI) model of practical reasoning that underpins PRS is arguably the dominant force in the theoretical foundations of rational agency. Despite the interest in PRS and BDI agents, no complete attempt has yet been made to precisely specify the behaviour of real PRS systems. This has led to the development of a range of systems that claim to conform to the PRS model, but which differ from it in many important respects. Our aim in this paper is to rectify this omission. We provide an abstract formal model of an idealised dMARS system (the most recent implementation of the PRS architecture), which precisely defines the key data structures present within the architecture and the operations that manipulate these structures. We focus in particular on dMARS plans, since these are the key tool for programming dMARS agents. The specification we present will enable other implementations of PRS to be easily developed, and will serve as a benchmark against which future architectural enhancements can be evaluated.
agent architectures, procedural reasoning system, BDI, formal specification
5-53
d'Inverno, Mark
b1563095-1be5-462e-a0ad-3f7d7ab587c7
Luck, Michael
94f6044f-6353-4730-842a-0334318e6123
Georgeff, M
7365ee86-a80e-4266-8389-9cc86fa5384d
Kinny, D
fbc40075-f160-4a2d-b761-71fc07d7970d
Wooldridge, M
711a6c61-aec7-492d-bcf6-e08cb07d9286
d'Inverno, Mark
b1563095-1be5-462e-a0ad-3f7d7ab587c7
Luck, Michael
94f6044f-6353-4730-842a-0334318e6123
Georgeff, M
7365ee86-a80e-4266-8389-9cc86fa5384d
Kinny, D
fbc40075-f160-4a2d-b761-71fc07d7970d
Wooldridge, M
711a6c61-aec7-492d-bcf6-e08cb07d9286

d'Inverno, Mark, Luck, Michael, Georgeff, M, Kinny, D and Wooldridge, M (2004) The dMARS Architechure: A Specification of the Distributed Multi-Agent Reasoning System. Journal of Autonomous Agents and Multi-Agent Systems, 5-53.

Record type: Article

Abstract

The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault diagnosis on the space shuttle to air traffic management and business process control. The theory of PRS-like systems has also been widely studied: within the intelligent agents research community, the belief-desire-intention (BDI) model of practical reasoning that underpins PRS is arguably the dominant force in the theoretical foundations of rational agency. Despite the interest in PRS and BDI agents, no complete attempt has yet been made to precisely specify the behaviour of real PRS systems. This has led to the development of a range of systems that claim to conform to the PRS model, but which differ from it in many important respects. Our aim in this paper is to rectify this omission. We provide an abstract formal model of an idealised dMARS system (the most recent implementation of the PRS architecture), which precisely defines the key data structures present within the architecture and the operations that manipulate these structures. We focus in particular on dMARS plans, since these are the key tool for programming dMARS agents. The specification we present will enable other implementations of PRS to be easily developed, and will serve as a benchmark against which future architectural enhancements can be evaluated.

Text
jaamas04-dm.pdf - Other
Restricted to Registered users only
Download (927kB)

More information

Published date: July 2004
Keywords: agent architectures, procedural reasoning system, BDI, formal specification
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 260224
URI: http://eprints.soton.ac.uk/id/eprint/260224
PURE UUID: db8ff8cd-2220-4fae-b9a9-98e84022f515

Catalogue record

Date deposited: 02 Mar 2005
Last modified: 23 Sep 2020 16:35

Export record

Contributors

Author: Mark d'Inverno
Author: Michael Luck
Author: M Georgeff
Author: D Kinny
Author: M Wooldridge

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×