loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04)
The Insufficiency of Formal Design Methods — The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS
New York City, New York, USA
July 19-July 23
ISBN: 0-7695-2092-8
ASCII Text
x 
 
Bruce Edmonds, Joanna J. Bryson, "The Insufficiency of Formal Design Methods — The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS," Autonomous Agents and Multiagent Systems, International Joint Conference on, vol. 2, pp. 938-945, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/AAMAS.2004.10081,
author = {Bruce Edmonds and Joanna J. Bryson},
title = {The Insufficiency of Formal Design Methods — The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS},
journal ={Autonomous Agents and Multiagent Systems, International Joint Conference on},
volume = {2},
year = {2004},
isbn = {0-7695-2092-8},
pages = {938-945},
doi = {http://doi.ieeecomputersociety.org/10.1109/AAMAS.2004.10081},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Autonomous Agents and Multiagent Systems, International Joint Conference on
TI - The Insufficiency of Formal Design Methods — The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS
SN - 0-7695-2092-8
SP938
EP945
A1 - Bruce Edmonds,
A1 - Joanna J. Bryson,
PY - 2004
KW - null
VL - 2
JA - Autonomous Agents and Multiagent Systems, International Joint Conference on
ER -
 
Bruce Edmonds, Manchester Metropolitan University
Joanna J. Bryson, University of Bath
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given formal specification; or checking that a program meets a specification. We exhibit a simple MAS which has all the power of a Turing machine. We argue that any pure design methodology will face insurmountable difficulties in today?s open and complex MAS. We recommend instead a methodology based on experimental method — scientific foundations for MAS construction and control.
Citation:
Bruce Edmonds, Joanna J. Bryson, "The Insufficiency of Formal Design Methods — The Necessity of an Experimental Approach - for the Understanding and Control of Complex MAS," aamas, vol. 2, pp.938-945, Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2 (AAMAS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.