Using the Experimental Method to Produce Reliable
By: Bruce Edmonds
Date: 30th March 2004
CPM Report No.: CPM-04-131
at: The 2nd
International Workshop on Engineering Self-Organising Applications
(ESOA 2004) at 3rd AAMAS, New York, July 2004.
Published as: Edmonds, B. (2004)
Using the Experimental Method to Produce Reliable Self-Organised
Systems. In Brueckner, S. et al. (eds.) Engineering Self Organising
Sytems: Methodologies and Applications, Springer, Lecture Notes in Artificial Intelligence,
‘engineering’ and ‘adaptive’ approaches to
system production are distinguished. It is argued that producing
self-organised software systems (SOSS) will necessarily involve
use of adaptive approaches. A class of
apparently simple multi-agent systems is defined, which however has all
power of a Turing machine, and hence is beyond formal specification and
methods (in general). It is then shown
that such systems can be evolved to perform simple tasks.
This highlights how we may be faced with
systems whose workings we have not wholly designed and hence that we
to treat them more as natural science treat the systems it encounters,
using the classic experimental method.
An example is briefly discussed. A system for annotating such
with hypotheses, and conditions of application is proposed that would
natural extension of current methods of open source code development.
Presentation accessible as:
Paper accessible as: