Engineering emergence
2006
Abstract
Abstract We explore various definitions and characteristics of emergence, how we might recognise and measure emergence, and how we might engineer emergent systems. We discuss the TUNA (Theory Underpinning Nanotech Assemblers) project, which is investigating emergent engineering in the context of molecular nanotechnology, and use the TUNA case study to explore an architecture suitable for emergent complex systems
References (52)
- R. Abbott. Open at the top; open at the bottom; and contin- ually (but slowly) evolving. In IEEE International Confer- ence on System of Systems Engineering, Los Angeles, USA, Apr. 2005.
- R. Abbott. Emergence explained: getting epiphenomena to do real work. Feb. 2006. arXiv:cs/0602045.
- R. H. Abraham. Dynamics and self-organization.
- In F. E. Yates, A. Garfinkel, D. Walter, and G. Yates, editors, Self- organizing Systems: The Emergence of Order, pages 599- 613. Plenum, 1987.
- R. Alexander, M. Hall-May, and T. Kelly. Characterisation of systems of systems failures. In 22nd Int. Systems Safety Conference, Aug. 2004.
- P. W. Anderson. More is different. Science, 177(4047):393- 396, 1972.
- Aristotle. Metaphysics, volume book H (VIII). 350 BC. Translation from W. D. Ross, Aristotle's metaphysics, 2 vols, Oxford University Press, 1924.
- N. A. Baas and C. Emmeche. On emergence and explana- tion.
- Intellectica, 25(2):67-83, 1997. Also published as SFI Working Paper 97-02-008.
- R. Banach, C. Jeske, S. Fraser, R. Cross, M. Poppleton, S. Stepney, and S. King. Approaching the formal design and development of complex systems: The retrenchment posi- tion. In Workshop on Software and Complex Systems, 9th IEEE International Conference on Engineering of Complex Computer Systems, Florence, Italy, 2004.
- R. Banach and M. Poppleton. Retrenchment: An engineer- ing variation on refinement. In D. Bert, editor, 2nd Interna- tional B Conference, Montpellier, France, April 1998, vol- ume 1393 of LNCS, pages 129-147. Springer, 1998.
- M. A. Bedau. Weak emergence. In J. Tomberlin, edi- tor, Philosophical Perspectives 11: Mind, Causation, and World, pages 375-399. Blackwell, 1997.
- R. D. Beer. A dynamical systems perspective on agent- environment interaction. Artificial Intelligence, 72:173-215, 1995.
- E. R. Berlekamp, J. H. Conway, and R. K. Guy. Winning Ways for Your Mathematical Plays Volume 2: games in par- ticular. Academic Press, 1982.
- M. H. Bickhard and D. T. Campbell. Emergence. In P. B. Andersen, C. Emmeche, N. O. Finnemann, and P. V. Christiansen, editors, Downward Causation, pages 322- 348. Aarhus University Press, 2000.
- A. Burns, I. J. Hayes, G. Baxter, and C. J. Fidge. Mod- elling temporal behaviour in complex socio-technical sys- tems. Technical Report YCS-2005-390, Department of Computer Science, University of York, 2005.
- D. T. Campbell. 'Downward Causation' in hierarchically or- ganised biological systems. In F. J. Ayala and T. Dobzhan- sky, editors, Studies in the Philosophy of Biology: reduction and related problems, chapter 11, pages 179-186. Macmil- lan, 1974.
- R. J. Campbell and M. H. Bickhard. Physical- ism, emergence and downward causation. 2001. www.lehigh.edu/˜mhb0/physicalemergence.pdf.
- A. Clark. Being There: putting brain, body and world to- gether again. Oxford University Press, 1997.
- J. P. Crutchfield. The calculi of emergence: Computation, dynamics, and induction. In Physica D special issue on the Proceedings of the Oji International Seminar, 1994.
- G. Despotou and T. Kelly. Extending the safety case con- cept to address dependability. In 22nd Int. Systems Safety Conference, Aug. 2004.
- K. E. Drexler. Engines of Creation. Anchor Books, 1986.
- K. E. Drexler. Nanosystems: Molecular Machinery, Manu- facturing, and Computation. Wiley, 1992.
- C. Emmeche, S. Køppe, and F. Stjernfelt. Explaining emer- gence: towards an ontology of levels. Journal for General Philosophy of Science, 28:83-119, 1997.
- J. Faith. Why gliders don't exist: Anti-reductionism and emergence. In C. Adami, R. Belew, H. Kitano, and C. Tay- lor, editors, Artificial Life VI: Proceedings of the Sixth Inter- national Conference on Artificial Life, pages 389-392, 1998.
- R. P. Feynman. There's plenty of room at the bottom. In A. Hey, editor, Feynman and Computation: exploring the limits of computers, pages 63-76. Perseus Books, 1999.
- R. A. Freitas Jr. Some limits to global ecophagy by biovorous nanoreplicators, with public policy recommenda- tions. Foresight Institute, Apr. 2000.
- M. Gardner. Mathematical games: The fantastic combina- tions of John Conway's new solitaire game "Life". Scientific American, 223(4):120-123, October 1970.
- J. Goldstein. Emergence as a construct: History and issues. Emergence, 1(1):49-72, 1999.
- J. Goldstein. Emergence: A construct amid a thicket of con- ceptual snares. Emergence, 2(1):5-22, 2000.
- J. H. Holland. Emergence: from chaos to order. Oxford University Press, 1998.
- W. Hordijk, J. P. Crutchfield, and M. Mitchell. Mechanisms of emergent computation in cellular automata. In A. E. Eiben, T. Bäck, M. Schoenauer, and H.-P. Schwefel, edi- tors, Parallel Problem Solving from Nature V, pages 613- 622. Springer, 1998.
- S. A. Kauffman. The Origins of Order: self-organization and selection in evolution. Oxford University Press, 1993.
- D. V. Newman. Emergence and strange attractors. Philoso- phy of Science, 63(2):245-261, 1996.
- T. O'Conner. Emergent properties. Americal Philosophical Quarterly, 31:91-104, 1994.
- F. Polack and S. Stepney. Emergent properties do not refine. In REFINE 2005 Workshop, Guildford, UK, April 2005, vol- ume 137 of ENTCS, pages 163-181. Elsevier, 2005.
- F. Polack, S. Stepney, H. Turner, P. Welch, and F. Barnes. An architecture for modelling emergence in CA-like sys- tems.
- In M. S. Capcarrere, A. A. Freitas, P. J. Bentley, C. G. Johnson, and J. Timmis, editors, Advances in Artificial Life: ECAL 2005, Canterbury, UK, September 2005, volume 3630 of LNAI, pages 433-442. Springer, 2005.
- P. Prusinkiewicz and A. Lindenmayer. The Algorithmic Beauty of Plants. Springer, 1990.
- P. Rendell. Turing Universality of the Game of Life. In A. Adamatzky, editor, Collision-Based Computing. Springer, 2002.
- C. W. Reynolds. Flocks, herds, and schools: A distributed behavioral model. Computer Graphics (SIGGRAPH '87
- Conference Proceedings), 21(4):25-34, 1987.
- E. M. A. Ronald, M. Sipper, and M. S. Capcarrère. Testing for emergence in artificial life. In D. Floreano, N. J.-D., and F. Mondada, editors, Advances in Artificial Life: 5th European Conference, volume 1674 of LNCS, pages 13-20. Springer, 1999.
- S. Schneider, A. Cavalcanti, H. Treharne, and J. Woodcock. Bloody CSP: a layered behavioural model of platelets. In ICECCS 2006. IEEE, 2006. (these proceedings).
- S. Stepney, D. Cooper, and J. Woodcock. More powerful Z data refinement: pushing the state of the art in industrial refinement. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, The Z Formal Specification Notation, 11th Inter- national Conference of Z Users, Berlin, Germany, Septem- ber 1998, volume 1493 of LNCS, pages 284-307. Springer, 1998.
- S. Stepney, D. Cooper, and J. Woodcock. An electronic purse: Specification, refinement, and proof. Technical monograph PRG-126, Oxford University Computing Lab- oratory, July 2000.
- H. Turner and S. Stepney. Rule migration: Exploring a de- sign framework for modelling emergence in CA-like sys- tems. In ECAL Workshop on Unconventional Computing, 2005.
- H. Turner, S. Stepney, and F. Polack. A simulation environ- ment for emergent properties (extended abstract). In ECCS 2005: European Conference on Complex Systems, Paris, France, 2005.
- H. Turner, S. Stepney, and F. Polack. Rule migration: A design framework for emergence. International Journal of Unconventional Computing, 2(4), 2006.
- R. Weaver, G. Despotou, T. Kelly, and J. McDermid. Com- bining software evidence -arguments and assurance. In REBSE05, St Louis, USA. ACM, 2005.
- P. Welch and F. Barnes. Mobile Barriers for occam-pi: Se- mantics, Implementation and Application. In J. Broenink, H. Roebbers, J. Sunter, P. Welch, and D. Wood, editors, Communicating Process Architectures 2005, volume 63 of Concurrent Systems Engineering Series, pages 289-316. IOS Press, Sept. 2005.
- P. H. Welch, F. R. M. Barnes, and F. A. C. Polack. Commu- nicating complex systems. In ICECCS 2006. IEEE, 2006. (these proceedings).