Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Rapid Prototyping of Large Multi-Agent Systems through Logic Programming
Authors: Wamberto W Vasconcelos ; Dave Robertson ; Carles Sierra ; Marc Esteva ; Jordi Sabater ; Michael J Wooldridge
Date: 2004
Publication Title:Annals of Mathematics and Artificial Intelligence
Publication Type:Journal Article Publication Status:Published
Volume No:41(2-4) Page Nos:135-169
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for rapidly building prototypes of large multi-agent systems using logic programming. Our method advocates the use of a description of all permitted interactions among the components of the system, that is, the protocol, as the starting specification. The protocol is represented in a way that allows us to automatically check for desirable properties of the system to be built. We then employ the same specification to synthesise agents that will correctly follow the protocol. These synthesised agents are simple logic programs that engineers can further customise into more sophisticated software. Our choice of agents as logic programs allows us to provide semi-automatic support for the customisation activity. In our method, a prototype is a protocol with a set of synthesised and customised agents. Executing the prototype amounts to having these agents enact the protocol. We have implemented and described a distributed platform to simulate prototypes.
Links To Paper
1st link
Bibtex format
author = { Wamberto W Vasconcelos and Dave Robertson and Carles Sierra and Marc Esteva and Jordi Sabater and Michael J Wooldridge },
title = {Rapid Prototyping of Large Multi-Agent Systems through Logic Programming},
journal = {Annals of Mathematics and Artificial Intelligence},
publisher = {Springer},
year = 2004,
volume = {41(2-4)},
pages = {135-169},
doi = {10.1023/B:AMAI.0000031194.57352.e7},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh