Abstract
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessarily involve considerable use of adaptive approaches. A class of apparently simple multi-agent systems is defined, which however has all the power of a Turing machine, and hence is beyond formal specification and design 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 will have to treat them more as natural science treat the systems it encounters, namely using the classic experimental method. An example is briefly discussed. A system for annotating such systems with hypotheses, and conditions of application is proposed that would be a natural extension of current methods of open source code development.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bak, P.: How Nature Works: The Science of Self Organized Criticality. Oxford University Press, Oxford (1997)
Baram, Y., El Yaniv, R., Luz, K.: Online Choice of Active Learning Algorithms. Journal of Machine Learning Research 5, 255–291 (2004), http://www.jmlr.org/papers/v5/baram04a.html
de Castro, L.N., Timmis, J.I.: Artificial Immune Systems: A New Computational Intelligence Approach, September, p. 357. Springer, London (2002)
Conte, R., Paolucci, M.: Reputation in Artificial Societies – Social beliefs for social order. Kluwer, Dordrecht (2002)
Cutland, N.J.: Computability. Cambridge University Press, Cambridge (1990)
Edmonds, B.: Simplicity is Not Truth-Indicative. CPM Report 02-99, MMU (2002), http://cfpm.org/cpmrep99.html
Edmonds, B., Moss, S.: From KISS to KIDS – an ’anti-simplistic’ modeling approach. In: Workshop on Multi-Agent Simulation and Multi-Agent Based Simulation (MAMABS), at AAMAS, New York (July 2004) To be published in LNAI, http://cfpm.org/cpmrep132.html
Edmonds, B., Bryson, J.: The Insufficiency of Formal Design Methods – the necessity of an experimental approach for the understanding and control of complex MAS. In: Jennings, N.R., et al. (eds.) Proceedings of the 3rd International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2004), July 19-23, pp. 938–945. ACM Press, New York (2004)
Fogel, L.J., Owens, A.J., Walsh, M.J.: Artificial Intelligence Through Simulated Evolution. John Wiley & Sons, Chichester (1967)
Gödel, K.: Uber formal unentscheidbare Sätze der Principia Mathematica undverwandter System I. Monatschefte Math. Phys. 38, 173–198 (1931)
Hales, D.: Change Your Tags Fast! - a necessary condition for cooperation? In: Workshop on Multi-Agent Simulation and Multi-Agent Based Simulation (MAMABS), at AAMAS, New York (July 2004) (To be published in LNAI), http://cfpm.org/~david/papers/mabs2004.pdf
Hales, D., Edmonds, B.: Evolving Social Rationality for MAS using ”Tags”. In: Rosenschein, J.S., et al. (eds.) Proc. of the 2nd Int. Conference on Autonomous Agents and Multiagent Systems, AAMAS 2003, Melbourne, July 2003, pp. 497–503. ACM Press, New York (2003)
Koza, J.R.: Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge (1992)
Koza, J.R.: Genetic Programming II: Automatic Discovery of Reusable Subprograms. MIT Press, Cambridge (1994)
Langdon, W.B., Soule, T., Poli, R., Foster, J.A.: The Evolution of Size and Shape. In: pector, L., Langdon, W.B., O’Reilly, U.-M., Angeline, P.J. (eds.) Advances in Genetic Programming, vol. 3, pp. 163–190. MIT Press, Cambridge (1999)
Popper, K.R.: Conjectures and Refutations. Routledge & Kegan Paul, London (1969)
Stanley, K.O., Miikkulainen, R.: Competitive Coevolution through Evolutionary Complexification. Journal of Artificial Intelligence Research 21, 63–100 (2004), http://www.jair.org/abstracts/stanley04a.html
Teller, A.: The Evolution of Mental Models. In: Kinnear Jr., K.E. (ed.) Advances in Genetic Programming, pp. 199–220. MIT Press, Cambridge (1994)
Teller, A.: Evolving Programmers: The Co-evolution of Intelligent Recombination Operators. In: Angeline, P.J., Kinnear Jr., K.E. (eds.) Advances in Genetic Programming, vol. 2, pp. 45–68. MIT Press (1996)
Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42, 230–265 (1936), 43, 5444–546 (1936)
Zambonelli, F., Parunak, H.V.D.: Signs of a Revolution in Computer Science and Software Engineering. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 13–28. Springer, Heidelberg (2002), http://www.ai.univie.ac.at/~paolo/conf/ESAW02/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Edmonds, B. (2005). Using the Experimental Method to Produce Reliable Self-Organised Systems. In: Brueckner, S.A., Di Marzo Serugendo, G., Karageorgos, A., Nagpal, R. (eds) Engineering Self-Organising Systems. ESOA 2004. Lecture Notes in Computer Science(), vol 3464. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11494676_6
Download citation
DOI: https://doi.org/10.1007/11494676_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26180-3
Online ISBN: 978-3-540-31901-6
eBook Packages: Computer ScienceComputer Science (R0)