Abstract
The classic theory of computation initiated by Turing and his contemporaries provides a theory of effective procedures—algorithms that can be executed by the human mind, deploying cognitive processes constituting the conscious rule interpreter. The cognitive processes constituting the human intuitive processor potentially call for a different theory of computation. Assuming that important functions computed by the intuitive processor can be described abstractly as symbolic recursive functions and symbolic grammars, we ask which symbolic functions can be computed by the human intuitive processor, and how those functions are best specified—given that these functions must be computed using neural computation. Characterizing the automata of neural computation, we begin the construction of a class of recursive symbolic functions computable by these automata, and the construction of a class of neural networks that embody the grammars defining formal languages.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Hofstadter, D.R.: Waking up from the Boolean dream, or, subcognition as computation. In: Hofstadter, D.R. (ed.) Metamagical Themas: Questing for the Essence of Mind and Pattern, pp. 631–665. Bantam Books (1986)
Kimoto, M., Takahashi, M.: On Computable Tree Functions. In: He, J., Sato, M. (eds.) ASIAN 2000. LNCS, vol. 1961, pp. 273–289. Springer, Heidelberg (2000)
McClelland, J., Botvinick, M., Noelle, D., Plaut, D., Rogers, T., Seidenberg, M., Smith, L.: Letting structure emerge: Connectionist and dynamical systems approaches to cognition. Trends in Cognitive Sciences 14(8), 348–356 (2010)
McCulloch, W., Pitts, W.: A logical calculus of the ideas immanent in nervous activity. Bulletin of Mathematical Biology 5(4), 115–133 (1943)
Newell, A.: Physical symbol systems. Cognitive Science 4(2), 135–183 (1980)
Prince, A., Smolensky, P.: Optimality Theory: Constraint interaction in generative grammar. Blackwell (1993/2004)
Prince, A., Smolensky, P.: Optimality: From neural networks to universal grammar. Science 275(5306), 1604–1610 (1997)
Rumelhart, D., McClelland, J., The PDP Research Group: Parallel distributed processing: Explorations in the microstructure of cognition. Foundations, vol. 1. MIT Press, Cambridge (1986)
Rutgers Optimality Archive, http://roa.rutgers.edu
Smolensky, P.: On the proper treatment of connectionism. Behavioral and Brain Sciences 11(01), 1–23 (1988)
Smolensky, P.: Cognition: Discrete or continuous computation? In: Cooper, S., van Leeuwen, J. (eds.) Alan Turing — His Work and Impact. Elsevier (2012)
Smolensky, P.: Symbolic functions from neural computation. Philosophical Transactions of the Royal Society – A: Mathematical, Physical and Engineering Sciences (in press, 2012)
Smolensky, P., Goldrick, M., Mathis, D.: Optimization and quantization in gradient symbol systems: A framework for integrating the continuous and the discrete in cognition. Cognitive Science (in press, 2012)
Smolensky, P., Legendre, G.: The harmonic mind: From neural computation to Optimality-Theoretic grammar, vol. 1: Cognitive architecture, vol. 2: Linguistic and philosophical implications. MIT Press, Cambridge (2006)
Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42, 230–265 (1936)
Turing, A.M.: Intelligent machinery: A report by Turing, A.M. National Physical Laboratory (1948)
Turing, A.M.: Computing machinery and intelligence. Mind 59(236), 433–460 (1950)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Smolensky, P. (2012). Subsymbolic Computation Theory for the Human Intuitive Processor. In: Cooper, S.B., Dawar, A., Löwe, B. (eds) How the World Computes. CiE 2012. Lecture Notes in Computer Science, vol 7318. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30870-3_68
Download citation
DOI: https://doi.org/10.1007/978-3-642-30870-3_68
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30869-7
Online ISBN: 978-3-642-30870-3
eBook Packages: Computer ScienceComputer Science (R0)