Many Valued Generalised Quantifiers for Natural Language in the DisCoCat Model

DisCoCat refers to the Categorical compositional distributional model of natural language, which combines the statistical vector space models of words with the compositional logic-based models of grammar. It is fair to say that despite existing work on incorporating notions of entailment, quantification, and coordination in this setting, a uniform modelling of logical operations is still an open problem. In this report, we take a step towards an answer. We show how one can generalise our previous DisCoCat model of generalised quantifiers from category of sets and relations to category of sets and many valued rations. As a result, we get a fuzzy version of these quantifiers. Our aim is to extend this model to all other logical connectives and develop a fuzzy logic for DisCoCat. The main contributions are showing that category of many valued relations is compact closed, defining appropriate bialgebra structures over it, and demonstrating how one can compute within this setting many valued meanings for quantified sentences.

[1]  Stephen Clark,et al.  The Frobenius anatomy of word meanings I: subject and object relative pronouns , 2013, J. Log. Comput..

[2]  Anne Preller,et al.  Bell States and Negative Sentences in the Distributed Model of Meaning , 2011, Electron. Notes Theor. Comput. Sci..

[3]  Mehrnoosh Sadrzadeh.  Quantifier Scope in Categorical Compositional Distributional Semantics , 2016, SLPCS@QPL.

[4]  Filippo Bonchi,et al.  Interacting Bialgebras Are Frobenius , 2014, FoSSaCS.

[5]  Stephen Clark,et al.  The Frobenius Anatomy of Relative Pronouns , 2013, MOL.

[6]  Mehrnoosh Sadrzadeh,et al.  Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus , 2013, Ann. Pure Appl. Log..

[7]  Dimitri Kartsaklis,et al.  Evaluating Neural Word Representations in Tensor-Based Compositional Settings , 2014, EMNLP.

[8]  G. M. Kelly,et al.  Coherence for compact closed categories , 1980 .

[9]  A. Kock.  Strong functors and monoidal monads , 1972 .

[10]  Mehrnoosh Sadrzadeh,et al.  Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning , 2015, CL.

[11]  Micah Blake McCurdy,et al.  Graphical Methods for Tannaka Duality of Weak Bialgebras and Weak Hopf Algebras in Arbitrary Braided Monoidal Categories , 2011, 1110.5542.

[12]  S. Clark,et al.  A Compositional Distributional Model of Meaning , 2008 .

[13]  Dimitri Kartsaklis,et al.  A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments , 2012, COLING.

[14]  Mehrnoosh Sadrzadeh,et al.  A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras , 2016, Mathematical Structures in Computer Science.

[15]  J. Barwise,et al.  Generalized quantifiers and natural language , 1981 .

[16]  Mehrnoosh Sadrzadeh,et al.  Multi-Step Regression Learning for Compositional Distributional Semantics , 2013, IWCS.

[17]  Mehrnoosh Sadrzadeh,et al.  Experimental Support for a Categorical Compositional Distributional Model of Meaning , 2011, EMNLP.

[18]  B. Coecke,et al.  Classical and quantum structuralism , 2009, 0904.1997.

[19]  Lotfi A. Zadeh,et al.  A COMPUTATIONAL APPROACH TO FUZZY QUANTIFIERS IN NATURAL LANGUAGES , 1983 .