Subsymbolic Computation Theory for the Human Intuitive Processor
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.
KeywordsBinary Tree Symbolic Function Human Language Neural Computation Grid State
Unable to display preview. Download preview PDF.
- 1.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)Google Scholar
- 6.Prince, A., Smolensky, P.: Optimality Theory: Constraint interaction in generative grammar. Blackwell (1993/2004)Google Scholar
- 8.Rumelhart, D., McClelland, J., The PDP Research Group: Parallel distributed processing: Explorations in the microstructure of cognition. Foundations, vol. 1. MIT Press, Cambridge (1986)Google Scholar
- 9.Rutgers Optimality Archive, http://roa.rutgers.edu
- 11.Smolensky, P.: Cognition: Discrete or continuous computation? In: Cooper, S., van Leeuwen, J. (eds.) Alan Turing — His Work and Impact. Elsevier (2012)Google Scholar
- 12.Smolensky, P.: Symbolic functions from neural computation. Philosophical Transactions of the Royal Society – A: Mathematical, Physical and Engineering Sciences (in press, 2012)Google Scholar
- 13.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)Google Scholar
- 14.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)Google Scholar
- 16.Turing, A.M.: Intelligent machinery: A report by Turing, A.M. National Physical Laboratory (1948)Google Scholar