Cognitive science research

 

Working on a practical connectionist compositional memory

 

I am attempting to develop a practical connectionist mechanism for compositional and analogical memory.  This is concerned with the ability to recognise and predict situations and objects in terms of the pattern of relationships between their component parts independently of the precise identity of the component parts.  Current standard connectionist techniques have limited capacity to deal with patterns of relationships and consequently have difficulty recognising novel configurations of familiar components or recognising familiar patterns of relationship when the components being related are novel.  Human analogical reasoning is the extreme example of the neural functionality I am striving for.  I believe that cognition is based on sensorimotor planning and that analogical retrieval is needed to allow the application of sensorimotor schemas to novel and abstract situations.  I argue that high-level perception and all cognition are fundamentally the same process and are implemented by this neural mechanism of compositional, analogical memory.

 

The memory mechanisms I am investigating are based on Vector Symbolic Architectures (VSAs), Predictive State Representations (PSRs), and Map-Seeking Circuits (MSCs).  VSAs are systems of distributed representations and operations on them in high-dimensional vector spaces (http://cogprints.org/3983/).  They enable the principled representation, storage, and manipulation of structured data (e.g. trees and graphs) in vector spaces of fixed dimension.  Because VSAs are based on simple vector operations they can be readily mapped to a neural implementation.  (See Pentti Kanerva (http://citeseer.ist.psu.edu/247558.html), and Tony Plate (http://citeseer.ist.psu.edu/32374.html) for related research on VSAs.)

 

Given VSA as the mechanism for representation and processing of representations, what should be represented?  PSRs represent an agent’s state entirely in terms of observable experience (the temporal stream of the agent’s actions and observations), e.g. see Richard Sutton (http://www.cs.ualberta.ca/~sutton/Talks/McGill_2005.pdf) or Michael James (http://www.eecs.umich.edu/~mrjames/memory_psr_paper.pdf).  A PSR represents the current state of the agent as a set of predictions of future experience (observations conditional on the agent’s actions).  This makes PSRs directly relevant to sensorimotor integration and planning.  Current PSR research has noted the desirability of composing multiple PSRs to allow the agent to exploit its knowledge in novel situations.

 

David Arathorn has proposed MSCs (http://books.nips.cc/papers/files/nips18/NIPS2005_0176.pdf) as a neurobiologically inspired mechanism for discovering/generating the composition of transformations that maximise the similarity between a cue and an item in memory.  An MSC is a recurrent network that searches simultaneously over a space of transformations to apply to the cue and a space of memory items to be recalled in response to the transformed cue.  The MSC is similar to attentional mechanisms that have been proposed for the construction of invariant perceptual representations (e.g. Bruno Olshausen (http://redwood.berkeley.edu/bruno/papers/jneurosci93.pdf)).

 

The VSAs are the basic processing units, connected in recurrent circuits to form an MSC, with PSRs as the information processed by the system.  My work can be construed as a generalisation of MSCs.  Whereas Arathorn’s MSCs use localist representations and a fixed palette of geometric transformations, my objective is to use distributed connectionist representations and arbitrary systematic substitutions as the transformations.  Using VSAs as the primitives from which the MSC is constructed allows the distributed connectionist representation and manipulation of composite structures (such as PSRs).  One extremely useful feature of VSAs is that the representations can be applied as substitution operators to transform other representations.  This opens the way for transformations to be composed on the fly by the MSC.  I am also attempting to generalise the MSC by allowing it to recall multiple items simultaneously (rather than only one) and to find transformations between recalled items (rather than only between a cue and a recalled item).  This would allow the recognition of novel composite objects and situations in terms of familiar components and the discovered relationships between them.

 

When I get time I will add some more strands to this overview, in particular:

  • The role of reflexes and anticipation in establishing representations (Bernd Porr)
  • The role of episodic fragments in enabling productivity (Rens Bod)

 

Selected publications

 

Levy, S.D., & Gayler, R.W. (in press). A distributed basis for analogical mapping. Proceedings of the Second International Analogy Conference (Analogy 09). [PDF]

 

Levy, S.D., & Gayler, R.W. (in press). "Lateral inhibition" in a fully distributed connectionist architecture. Proceedings of the Ninth International Conference on Cognitive Modeling (ICCM 2009). [PDF]

 

Phua, C., Gayler, R., Lee, V., & Smith-Miles, K. (2009). On the communal analysis suspicion scoring for identity crime in streaming credit applications. European Journal of Operational Research, 195, 595-612, doi:10.1016/j.ejor.2008.02.015 . [ScienceDirect][PDF]

 

Levy, S.D., & Gayler, R.W. (2008). Vector Symbolic Architectures: A new building material for Artificial General Intelligence. Proceedings of the First Conference on Artificial General Intelligence (AGI-08). IOS Press. [AGI-08][PDF][video]


Gayler, R.W. (2006). Comment: Classifier technology and the illusion of progress - Credit scoring.  Statistical Science, 21(1), 19-23.  Commentary on: Hand, D.J. (2006) "Classifier technology and the illusion of progress", Statistical Science, 21(1), 1-15. [arXiv][PDF]

 

Gayler, R.W. (2006).  Vector Symbolic Architectures are a viable alternative for Jackendoff’s challenges.  Behavioral and Brain Sciences, 29(1), 78-79,doi:10.1017/S0140525X06309028 . Commentary on: van der Velde, F. & de Kamps, M. (2006) "Neural blackboard architectures of combinatorial structures in cognition", Behavioral and Brain Sciences, 29(1), 37-70. [prepublication PDF]

 

Gayler, R.W. (2003). Vector Symbolic Architectures answer Jackendoff’s challenges for cognitive neuroscience.  In Peter Slezak (Ed.), ICCS/ASCS International Conference on Cognitive Science (pp. 133-138). Sydney, Australia: University of New South Wales. [CogPrints][PDF]

 

Gayler, R.W. (1999).  Holographic networks are hiking the foothills of analogy.  In Arun Jagota, Tony Plate, Lokendra Shastri, & Ron Sun (Eds.), Connectionist symbol processing: Dead or alive? Neural Computing Surveys, 2, 1-40.[PDF]

 

Gayler, R.W. (1998).  Multiplicative binding, representation operators, and analogy.  In Keith Holyoak, Dedre Gentner, & Boicho Kokinov (Eds.), Advances in analogy research: Integration of theory and data from the cognitive, computational, and neural sciences (p. 405).  Sofia, Bulgaria: New Bulgarian University.

[CogPrints][PDF]

  

Gayler, R.W., & Wales, R. (1998).  Connections, binding, unification, and analogical promiscuity.  In Keith Holyoak, Dedre Gentner, & Boicho Kokinov (Eds.), Advances in analogy research: Integration of theory and data from the cognitive, computational, and neural sciences (pp. 181-190).  Sofia, Bulgaria: New Bulgarian University. [CogPrints][PDF]

 

Halford, G.S., Wilson, W.H., Guo, J., Gayler, R.W., Wiles, J., & Stewart, J.E.M. (1994).  Connectionist implications for processing capacity limitations in analogies.  In K.J. Holyoak & J. Barnden (Eds.), Advances in connectionist and neural computation theory, Vol. 2: Analogical connections (pp.  363-415). Norwood, NJ: Ablex.

 

Gayler, R. W. (1988). Development of a methodology and theoretical framework for melodic discrimination. Doctoral dissertation, University of Queensland, Brisbane, Australia. [ProQuest, Publication Number: AAT 8904966, ProQuest document ID: 745800051 (This PDF is a searchable image. The pages are scanned and linked to OCR text - so the searchable terms will have occasional errors.  I have also attached the Examiners' comments and my response, because it is useful to see the inner workings occasionally.)

  

Selected talks

 

Development of an application fraud scorecard: A case study of design Presentation given at Credit Scoring and Credit Control IX, Edinburgh, 9 September, 2005.

 

Vector Symbolic Architectures Answer Jackendoff’s Challenges Seminar given at Redwood Neuroscience Institute, Menlo Park, 15 October 2004.

 

Compositional memory for recognition of complex objects: A proposal Seminar given at Redwood Neuroscience Institute, Menlo Park, 22 October, 2003.

 

Multiplicative binding, representation operators and analogical inference Presentation given at 5th Australasian Cognitive Science Conference, Melbourne, 1 February, 2000.

 

Signal Detection for credit scoring practitioners Presentation given at Credit Scoring and Credit Control VI, Edinburgh, 30 September, 1999. 

 

 

Professional service

 

Co-chair (with Simon Levy) of the symposium "Compositional Connectionism in Cognitive Science", American Association for Artificial Intelligence, Fall Symposium Series 2004, Washington D.C., USA.

 

Referee for: AusDM conferences, Australian Computer Journal, Behavioural and Brain Sciences, Cognitive Science, Cognitive Systems Research, CogSci 2006, Data Mining and Knowledge Discovery, International Journal of Forecasting, Journal of Information Science and Engineering, Journal of the OR Society, Natural Sciences and Engineering Research Council of Canada, Neural Computation

 

 

Juvenilia

 

My 1977 Honours thesis show the direction I was heading when I started my doctoral research.  It also shows my unfortunate tendency to build all the required infrastructure from scratch.

 

This is the write-up of my entry in the Science Teachers Association of Queensland 1973 science contest.  The work was done without any guidance, so the writing does not adhere to the minutiae of any scientific style guide.  Sadly, the robot I built is long gone and there are no photographs or circuit diagrams.  The only useful conclusion that can be drawn from this work is that I have been interested in cognitive science since before the field was named.

 

These two documents are searchable PDF image files. The pages are scanned and linked to OCR text - so the searchable terms will have occasional OCR errors.