Abstract platforms of computation

Spencer, M. C., Roesch, E. B., Nasuto, S. J. ORCID: https://orcid.org/0000-0001-9414-9049, Tanay, T. and Bishop, J. M. (2013) Abstract platforms of computation. In: AISB 2013, 3-5 April 2013, Exeter, pp. 25-32.

Abstract/Summary

Computational formalisms have been pushing the boundaries of the field of computing for the last 80 years and much debate has surrounded what computing entails; what it is, and what it is not. This paper seeks to explore the boundaries of the ideas of computation and provide a framework for enabling a constructive discussion of computational ideas. First, a review of computing is given, ranging from Turing Machines to interactive computing. Then, a variety of natural physical systems are considered for their computational qualities. From this exploration, a framework is presented under which all dynamical systems can be considered as instances of the class of abstract computational platforms. An abstract computational platform is defined by both its intrinsic dynamics and how it allows computation that is meaningful to an external agent through the configuration of constraints upon those dynamics. It is asserted that a platform’s computational expressiveness is directly related to the freedom with which constraints can be placed. Finally, the requirements for a formal constraint description language are considered and it is proposed that Abstract State Machines may provide a reasonable basis for such a language.

Additional Information	Published in: The 6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation? Mark Bishop and Yasemin J. Erden (editors) AISB Convention 2013, University of Exeter, 3rd–5th April, 2013. Published by The Society for the Study of Artificial Intelligence and the Simulation of Behaviour http://www.aisb.org.uk ISBN: 9781908187314
Item Type	Conference or Workshop Item (Paper)
URI	https://reading-clone.eprints-hosting.org/id/eprint/35696
Item Type	Conference or Workshop Item
Refereed	Yes
Divisions	Life Sciences > School of Biological Sciences > Department of Bio-Engineering Interdisciplinary Research Centres (IDRCs) > Centre for Integrative Neuroscience and Neurodynamics (CINN)
Additional Information	Published in: The 6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation? Mark Bishop and Yasemin J. Erden (editors) AISB Convention 2013, University of Exeter, 3rd–5th April, 2013. Published by The Society for the Study of Artificial Intelligence and the Simulation of Behaviour http://www.aisb.org.uk ISBN: 9781908187314
Download/View statistics	View download statistics for this item