Tensors and compositionality in neural systems

Neither neurobiological nor process models of meaning composition specify the operator through which constituent parts are bound together into compositional structures. In this paper, we argue that a neurophysiological computation system cannot achieve the compositionality exhibited in human thought and language if it were to rely on a multiplicative operator to perform binding, as the tensor product (TP)-based systems that have been widely adopted in cognitive science, neuroscience and artificial intelligence do. We show via simulation and two behavioural experiments that TPs violate variable-value independence, but human behaviour does not. Specifically, TPs fail to capture that in the statements fuzzy cactus and fuzzy penguin, both cactus and penguin are predicated by fuzzy(x) and belong to the set of fuzzy things, rendering these arguments similar to each other. Consistent with that thesis, people judged arguments that shared the same role to be similar, even when those arguments themselves (e.g., cacti and penguins) were judged to be dissimilar when in isolation. By contrast, the similarity of the TPs representing fuzzy(cactus) and fuzzy(penguin) was determined by the similarity of the arguments, which in this case approaches zero. Based on these results, we argue that neural systems that use TPs for binding cannot approximate how the human mind and brain represent compositional information during processing. We describe a contrasting binding mechanism that any physiological or artificial neural system could use to maintain independence between a role and its argument, a prerequisite for compositionality and, thus, for instantiating the expressive power of human thought and language in a neural system. This article is part of the theme issue ‘Towards mechanistic models of meaning composition’.

[1]  John E. Hummel,et al.  Computational Models of Higher Cognition , 2012 .

[2]  J. Fodor,et al.  Connectionism and the problem of systematicity: Why Smolensky's solution doesn't work , 1990, Cognition.

[3]  K. Holyoak,et al.  A symbolic-connectionist theory of relational inference and generalization. , 2003, Psychological review.

[4]  Dag Westerståhl,et al.  Compositionality I: Definitions and Variants , 2010 .

[5]  Andrea E Martin,et al.  A mechanism for the cortical computation of hierarchical linguistic structure , 2017, PLoS biology.

[6]  John E. Hummel,et al.  Distributed representations of structure: A theory of analogical access and mapping. , 1997 .

[7]  C. Malsburg Binding in models of perception and brain function , 1995, Current Opinion in Neurobiology.

[8]  Jeffrey Dean,et al.  Distributed Representations of Words and Phrases and their Compositionality , 2013, NIPS.

[9]  Giosu Baggio,et al.  Meaning in the Brain , 2018 .

[10]  G. Buzsáki Rhythms of the brain , 2006 .

[11]  Stephen Clark,et al.  Mathematical Foundations for a Compositional Distributional Model of Meaning , 2010, ArXiv.

[12]  Leonidas A. A. Doumasa,et al.  SIX Learning structured representations from experience , 2018 .

[13]  Tony Plate,et al.  Holographic Reduced Representations: Convolution Algebra for Compositional Distributed Representations , 1991, IJCAI.

[14]  Charles P. Dolan,et al.  Tensor Product Production System: a Modular Architecture and Representation , 1989 .

[15]  Andrea E. Martin,et al.  Learning structured representations from experience , 2018 .

[16]  Andrea E. Martin,et al.  Language Processing as Cue Integration: Grounding the Psychology of Language in Perception and Neurophysiology , 2016, Front. Psychol..

[17]  Ineke Sluiter,et al.  The Emergence of Semantics in Four Linguistic Traditions: Hebrew, Sanskrit, Greek, Arabic , 1997 .

[18]  Andrea E Martin,et al.  Predicate learning in neural systems: using oscillations to discover latent structure , 2019, Current Opinion in Behavioral Sciences.

[19]  Z. Harris,et al.  Foundations of language , 1941 .

[20]  J. Fodor,et al.  Connectionism and cognitive architecture: A critical analysis , 1988, Cognition.

[21]  J. Hummel,et al.  Modeling Human Mental Representations: What Works, What doesn't and Why? , 2005 .

[22]  Wolf Singer,et al.  Neuronal Synchrony: A Versatile Code for the Definition of Relations? , 1999, Neuron.

[23]  Dedre Gentner,et al.  Why we’re so smart , 2003 .

[24]  Jean M. Mandler,et al.  A summary of The foundations of mind: Origins of conceptual thought , 2004 .

[25]  Steven Phillips,et al.  Sheaving—a universal construction for semantic compositionality , 2019, Philosophical Transactions of the Royal Society B.

[26]  Irene Heim,et al.  Semantics in generative grammar , 1998 .

[27]  Geoffrey E. Hinton Tensor Product Variable Binding and the Representation of Symbolic Structures in Connectionist Systems , 1991 .

[28]  B. Partee Montague Grammar and Transformational Grammar. , 1975 .

[29]  Barbara H. Partee,et al.  Quantificational Structures and Compositionality , 1995 .

[30]  John E. Hummel,et al.  Getting symbols out of a neural architecture , 2011, Connect. Sci..

[31]  R. Jackendoff Foundations of Language: Brain, Meaning, Grammar, Evolution , 2002 .

[32]  Joe Pater The harmonic mind : from neural computation to optimality-theoretic grammar , 2009 .

[33]  John E. Hummel,et al.  The Proper Treatment of Symbols in a Connectionist Architecture , 2000 .

[34]  G. Murphy,et al.  The Big Book of Concepts , 2002 .

[35]  Tony A. Plate,et al.  Holographic reduced representations , 1995, IEEE Trans. Neural Networks.

[36]  Leonidas A A Doumas,et al.  A theory of the discovery and predication of relational concepts. , 2008, Psychological review.