Abstract
Systems intended to operate in dynamic, complex environments – without intervention from their designers or significant amounts of domain-dependent information provided at design time – must be equipped with a sufficient level of existential autonomy. This feature of naturally intelligent systems has largely been missing from cognitive architectures created to date, due in part to the fact that high levels of existential autonomy require systems to program themselves; good principles for self-programming have remained elusive. Achieving this with the major programming methodologies in use today is not likely, as these are without exception designed to be used by the human mind: Producing self-programming systems that can grow from first principles using these therefore requires first solving the AI problem itself – the very problem we are trying to solve. Advances in existential autonomy call for a new programming paradigm, withself-programming squarely at its center. The principles of such a paradigm are likely to be fundamentally different from prevailing approaches; among the desired features for a programming language designed for automatic self-programming are (a) support for autonomous knowledge acquisition, (b) real-time and any-time operation, (c) reflectivity, and (d) massive parallelization. With these and other requirements guiding our work, we have created a programming paradigm and language called Replicode. Here we discuss the reasoning behind our approach and the main motivations and features that set this work from apart from prior approaches.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Drescher, G.L.: Made-up minds - a constructivist approach to artificial intelligence, pp. I–X, 1–220. MIT Press (1991) ISBN 978-0-262-04120-1
Helgason, H.P., Nivel, E., Thórisson, K.R.: On Attention Mechanisms for AGI Architectures: A Design Proposal. In: Bach, J., Goertzel, B., Iklé, M. (eds.) AGI 2012. LNCS, vol. 7716, pp. 89–98. Springer, Heidelberg (2012)
Nivel, E., Thórisson, K.R.: Replicode: A Constructivist Programming Paradigm and Language. Reykjavik University Tech Report RUTR-SCS13001 (2013)
Schiffel, S., Thielscher, M.: Reconciling Situation Calculus and Fluent Calculus. In: Proc. of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI 2006 (2006)
Schmidhuber, J.: Optimal Ordered Problem Solver. Machine Learning 54, 211–254 (2004)
Thórisson, K.R.: A New Constructivist AI: From Manual Construction to Self-Constructing Systems. In: Wang, Goertzel (eds.) Theoretical Foundations of Artificial General Intelligence. Atlantis Thinking Machines, vol. 4, pp. 145–171 (2012)
Wang, P.: Rigid Flexibility – The Logic of Intelligence. Applied Logic Series, vol. 34. Springer (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nivel, E., Thórisson, K.R. (2013). Towards a Programming Paradigm for Control Systems with High Levels of Existential Autonomy. In: Kühnberger, KU., Rudolph, S., Wang, P. (eds) Artificial General Intelligence. AGI 2013. Lecture Notes in Computer Science(), vol 7999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39521-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-39521-5_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39520-8
Online ISBN: 978-3-642-39521-5
eBook Packages: Computer ScienceComputer Science (R0)