Quantum Logic of Word Meanings : Concept Lattices in Vector Space Models

This paper systematically develops the logical and algebraic possibilities inherent in vector space models for language, considerably beyond those which are customarily used in semantic applications such as information retrieval and word sense disambiguation. The cornerstone of the approach lies in a simple implementation of the connectives of quantum logic as introduced by Birkhoff and von Neumann (1936), which defines the negation of a concept as the projection onto its orthogonal subspace, and the disjunction and conjunction of two concepts as the vector sum and intersection of their subspaces. This enables us to use the full lattice structure of a vector space, bringing these models much closer to traditional semantic lattice representations such as taxonomic concept hierarchies. We describe selected examples of this process with both negation and disjunction, and summarise experiments which show that the non-local nature of these connectives has clear advantages over their Boolean counterparts in removing the synonyms and neighbours of negated terms in information retrieval, as well as removing the negated terms themselves. Having thus validated the approach, we explore its implications for assigning semantics to some compositional phrases, showing cases where a quantum interpretation is preferable to a traditional Boolean formulation (and vice versa). Finally, we draw attention to the danger that quantum connectives may overgeneralise, and suggest another (also non-Boolean) alternative.

[1]  H. Dishkant,et al.  Logic of Quantum Mechanics , 1976 .

[2]  Michael McGill,et al.  Introduction to Modern Information Retrieval , 1983 .

[3]  G. Salton,et al.  Extended Boolean information retrieval , 1983, CACM.

[4]  D. W. Cohen,et al.  An Introduction to Hilbert Space and Quantum Logic , 1989 .

[5]  James Pustejovsky,et al.  The Generative Lexicon , 1995, CL.

[6]  T. Landauer,et al.  A Solution to Plato's Problem: The Latent Semantic Analysis Theory of Acquisition, Induction, and Representation of Knowledge. , 1997 .

[7]  Mark D. Dunlop The effect of accessing nonmatching documents on relevance feedback , 1997, TOIS.

[8]  Hinrich Schütze,et al.  Automatic Word Sense Discrimination , 1998, Comput. Linguistics.

[9]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[10]  Christiane Fellbaum,et al.  Book Reviews: WordNet: An Electronic Lexical Database , 1999, CL.

[11]  Hinrich Schütze,et al.  Book Reviews: Foundations of Statistical Natural Language Processing , 1999, CL.

[12]  Diederik Aerts,et al.  Contextualizing concepts using a mathematical generalization of the quantum formalism , 2002, J. Exp. Theor. Artif. Intell..

[13]  Dominic Widdows,et al.  Unsupervised methods for developing taxonomies by combining syntactic and statistical information , 2003, NAACL.

[14]  Dominic Widdows A Mathematical Model for Context and Word-Meaning , 2003, CONTEXT.

[15]  Tony A. Plate,et al.  Holographic Reduced Representation: Distributed Representation for Cognitive Structures , 2003 .

[16]  Dominic Widdows,et al.  Orthogonal Negation in Vector Spaces for Modelling Word-Meanings and Document Retrieval , 2003, ACL.

[17]  N. Foo Conceptual Spaces—The Geometry of Thought , 2022 .