no code implementations • 25 Jan 2023 • Vincent Wang-Mascianica, Jonathon Liu, Bob Coecke
When passing to DisCoCirc's text circuits, some `grammatical bureaucracy' is eliminated, that is, DisCoCirc displays a significant degree of (7) inter- and intra-language independence.
no code implementations • 11 Aug 2022 • Muhammad Hamza Waseem, Jonathon Liu, Vincent Wang-Maścianica, Bob Coecke
There is a simple translation from English grammar to Urdu grammar, and vice versa.
1 code implementation • 10 Nov 2021 • Eduardo Reck Miranda, Richie Yeung, Anna Pearson, Konstantinos Meichanetzidis, Bob Coecke
In particular, we are importing methods from the Distributional Compositional Categorical (DisCoCat) modelling framework for Natural Language Processing (NLP), motivated by musical grammars.
no code implementations • 11 Oct 2021 • Bob Coecke
Inspired by work on compositionality in quantum theory, and categorical quantum mechanics in particular, we propose the notions of Schrodinger, Whitehead, and complete compositionality.
1 code implementation • 8 Oct 2021 • Dimitri Kartsaklis, Ian Fan, Richie Yeung, Anna Pearson, Robin Lorenz, Alexis Toumi, Giovanni De Felice, Konstantinos Meichanetzidis, Stephen Clark, Bob Coecke
We present lambeq, the first high-level Python library for Quantum Natural Language Processing (QNLP).
no code implementations • 14 Sep 2021 • Vincent Wang-Mascianica, Bob Coecke
We also how how linguistic model of space can interact with other such models related to our senses and/or embodiment, such as the conceptual spaces of colour, taste and smell, resulting in a rich compositional model of meaning that is close to human experience and embodiment in the world.
no code implementations • 14 Jul 2021 • Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke
Negation in natural language does not follow Boolean logic and is therefore inherently difficult to model.
no code implementations • 2 Jul 2021 • Bob Coecke, Giovanni De Felice, Konstantinos Meichanetzidis, Alexis Toumi
This is a story about making quantum computers speak, and doing so in a quantum-native, compositional and meaning-aware manner.
no code implementations • 30 Jun 2021 • Camilo Miguel Signorelli, Quanlong Wang, Bob Coecke
We cast aspects of consciousness in axiomatic mathematical terms, using the graphical calculus of general process theories (a. k. a symmetric monoidal categories and Frobenius algebras therein).
no code implementations • ACL (SemSpace, IWCS) 2021 • Bob Coecke, Vincent Wang
Diagrammatically speaking, grammatical calculi such as pregroups provide wires between words in order to elucidate their interactions, and this enables one to verify grammatical correctness of phrases and sentences.
no code implementations • 2 Apr 2021 • Yu Zhang, Martijn Tennekes, Tim De Jong, Lyana Curier, Bob Coecke, Min Chen
Because QA4ML users have to view a non-trivial amount of data and perform many input actions to correct errors made by the ML model, an optimally-designed user interface (UI) can reduce the cost of interactions significantly.
2 code implementations • 25 Feb 2021 • Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke
Our aim in doing this is to take the first small steps in this unexplored research territory and pave the way for practical Quantum Natural Language Processing.
no code implementations • 22 Feb 2021 • Bob Coecke, Dominic Horsman, Aleks Kissinger, Quanlong Wang
This paper is a `spiritual child' of the 2005 lecture notes Kindergarten Quantum Mechanics, which showed how a simple, pictorial extension of Dirac notation allowed several quantum features to be easily expressed and derived, using language even a kindergartner can understand.
1 code implementation • 7 Dec 2020 • Bob Coecke, Giovanni De Felice, Konstantinos Meichanetzidis, Alexis Toumi
We recall how the quantum model for natural language that we employ canonically combines linguistic meanings with rich linguistic structure, most notably grammar.
no code implementations • 7 Dec 2020 • Konstantinos Meichanetzidis, Alexis Toumi, Giovanni De Felice, Bob Coecke
In this work, we focus on the capabilities of noisy intermediate-scale quantum (NISQ) hardware and perform the first implementation of an NLP task on a NISQ processor, using the DisCoCat framework.
no code implementations • 14 Sep 2020 • John Baez, Bob Coecke
Applied Category Theory is a new conference series.
Logic in Computer Science
no code implementations • 8 May 2020 • Konstantinos Meichanetzidis, Stefano Gogioso, Giovanni de Felice, Nicolò Chiappori, Alexis Toumi, Bob Coecke
In this work, we describe a full-stack pipeline for natural language processing on near-term quantum computers, aka QNLP.
3 code implementations • 6 May 2020 • Giovanni de Felice, Alexis Toumi, Bob Coecke
We introduce DisCoPy, an open source toolbox for computing with monoidal categories.
Category Theory
no code implementations • 3 Jan 2020 • Bob Coecke, Konstantinos Meichanetzidis
This result is of interest to quantum foundations, as it bridges the work in Categorical Quantum Mechanics (CQM) with that on conditional quantum states.
1 code implementation • 6 Apr 2019 • Bob Coecke
While in DisCoCat all meanings are fixed as states (i. e. have no input), in DisCoCirc word meanings correspond to a type, or system, and the states of this system can evolve.
no code implementations • 8 Nov 2018 • Bob Coecke, Giovanni De Felice, Dan Marsden, Alexis Toumi
Categorical compositional distributional semantics provide a method to derive the meaning of a sentence from the meaning of its individual words: the grammatical reduction of a sentence automatically induces a linear map for composing the word vectors obtained from distributional semantics.
no code implementations • 8 Nov 2018 • Bob Coecke, Martha Lewis, Dan Marsden
Categorical compositional distributional semantics (CCDS) allows one to compute the meaning of phrases and sentences from the meaning of their constituent words.
no code implementations • 6 Nov 2018 • Martha Lewis, Bob Coecke, Jules Hedges, Dimitri Kartsaklis, Dan Marsden
Moreover, the interaction between the three disciplines of cognitive science, linguistics and game theory is a fertile ground for research.
no code implementations • 24 Mar 2017 • Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu
We show how this approach can be generalized to conceptual space models of cognition.
no code implementations • 12 Aug 2016 • Yaared Al-Mehairi, Bob Coecke, Martha Lewis
We accommodate the Integrated Connectionist/Symbolic Architecture (ICS) of [32] within the categorical compositional semantics (CatCo) of [13], forming a model of categorical compositional cognition (CatCog).
1 code implementation • 4 Aug 2016 • Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu
We propose applying the categorical compositional scheme of [6] to conceptual space models of cognition.
no code implementations • 4 Aug 2016 • Daniela Ashoush, Bob Coecke
We demonstrate the use of dual density operators within a grammatical-compositional distributional framework for natural language meaning.
1 code implementation • 4 Aug 2016 • William Zeng, Bob Coecke
We address the value of quantum RAM (Giovannetti, 2008) for this model and extend an algorithm from Wiebe, Braun and Lloyd (2012) into a quantum algorithm to categorize sentences in CSC.
no code implementations • 22 Feb 2016 • Bob Coecke
In this paper we argue for a paradigmatic shift from `reductionism' to `togetherness'.
no code implementations • 5 Feb 2016 • Martha Lewis, Bob Coecke
The model of cognition developed in (Smolensky and Legendre, 2006) seeks to unify two levels of description of the cognitive process: the connectionist and the symbolic.
no code implementations • 19 Jan 2016 • Desislava Bankova, Bob Coecke, Martha Lewis, Daniel Marsden
In this paper we solve the problem of entailment for categorical compositional distributional semantics.
no code implementations • 22 Sep 2015 • Bob Coecke, Martha Lewis
The `pet fish' phenomenon is often cited as a paradigm example of the `non-compositionality' of human concept use.
no code implementations • 22 Jun 2015 • Esma Balkir, Mehrnoosh Sadrzadeh, Bob Coecke
Categorical compositional distributional model of Coecke et al. (2010) suggests a way to combine grammatical composition of the formal, type logical models with the corpus based, empirical word representations of distributional semantics.
no code implementations • 3 Feb 2015 • Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh
Moreover, just like CQM allows for varying the model in which we interpret quantum axioms, one can also vary the model in which we interpret word meaning.
no code implementations • 28 Dec 2014 • Bob Coecke, Ichiro Hasuo, Prakash Panangaden
The first QPL under the new name Quantum Physics and Logic was held in Reykjavik (2008), followed by Oxford (2009 and 2010), Nijmegen (2011), Brussels (2012) and Barcelona (2013).
no code implementations • 18 Jun 2014 • Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke
Within the categorical compositional distributional model of meaning, we provide semantic interpretations for the subject and object roles of the possessive relative pronoun `whose'.
no code implementations • 21 Apr 2014 • Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke
This paper develops a compositional vector-based semantics of subject and object relative pronouns within a categorical framework.
no code implementations • 23 Jan 2014 • Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke
They also provide semantics for Lambek's pregroup algebras, applied to formalizing the grammatical structure of natural language, and are implicit in a distributional model of word meaning based on vector spaces.
no code implementations • 15 Jul 2013 • Bob Coecke
We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school.
no code implementations • 2 May 2013 • Stephen Clark, Bob Coecke, Edward Grefenstette, Stephen Pulman, Mehrnoosh Sadrzadeh
We discuss an algorithm which produces the meaning of a sentence given meanings of its words, and its resemblance to quantum teleportation.
no code implementations • 16 Apr 2012 • Bob Coecke
We put forward a new take on the logic of quantum mechanics, following Schroedinger's point of view that it is composition which makes quantum theory what it is, rather than its particular propositional structure due to the existence of superpositions, as proposed by Birkhoff and von Neumann.
2 code implementations • 23 Mar 2010 • Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, for which we rely on the algebra of Pregroups, introduced by Lambek.