Search Results for author: Bob Coecke

Found 43 papers, 9 papers with code

Distilling Text into Circuits

no code implementations25 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.

A Quantum Natural Language Processing Approach to Musical Intelligence

1 code implementation10 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.

Compositionality as we see it, everywhere around us

no code implementations11 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.

Talking Space: inference from spatial linguistic meanings

no code implementations14 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.

Composing Conversational Negation

no code implementations14 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.

How to make qubits speak

no code implementations2 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.

Question Answering

Reasoning about conscious experience with axiomatic and graphical mathematics

no code implementations30 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).


Grammar Equations

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.

Using Simulation to Aid the Design and Optimization of Intelligent User Interfaces for Quality Assurance Processes in Machine Learning

no code implementations2 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.

QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer

2 code implementations25 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.

Sentence Classification

Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)

no code implementations22 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.

Foundations for Near-Term Quantum Natural Language Processing

1 code implementation7 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.

Grammar-aware sentence classification on quantum computers

no code implementations7 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.

Binary Classification Classification +2

Proceedings Applied Category Theory 2019

no code implementations14 Sep 2020 John Baez, Bob Coecke

Applied Category Theory is a new conference series.

Logic in Computer Science

Quantum Natural Language Processing on Near-Term Quantum Computers

no code implementations8 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.

Language Modelling Quantum Machine Learning

DisCoPy: Monoidal Categories in Python

3 code implementations6 May 2020 Giovanni de Felice, Alexis Toumi, Bob Coecke

We introduce DisCoPy, an open source toolbox for computing with monoidal categories.

Category Theory

Meaning updating of density matrices

no code implementations3 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.

The Mathematics of Text Structure

1 code implementation6 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.

Towards Compositional Distributional Discourse Analysis

no code implementations8 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.

Natural Language Understanding Question Answering

Internal Wiring of Cartesian Verbs and Prepositions

no code implementations8 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.

Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences

no code implementations6 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.

Compositional Distributional Cognition

no code implementations12 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).

Logical Reasoning

Interacting Conceptual Spaces

1 code implementation4 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.

Dual Density Operators and Natural Language Meaning

no code implementations4 Aug 2016 Daniela Ashoush, Bob Coecke

We demonstrate the use of dual density operators within a grammatical-compositional distributional framework for natural language meaning.

Lexical Entailment

Quantum Algorithms for Compositional Natural Language Processing

1 code implementation4 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.

Dimensionality Reduction

From quantum foundations via natural language meaning to a theory of everything

no code implementations22 Feb 2016 Bob Coecke

In this paper we argue for a paradigmatic shift from `reductionism' to `togetherness'.

Harmonic Grammar in a DisCo Model of Meaning

no code implementations5 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.

Graded Entailment for Compositional Distributional Semantics

no code implementations19 Jan 2016 Desislava Bankova, Bob Coecke, Martha Lewis, Daniel Marsden

In this paper we solve the problem of entailment for categorical compositional distributional semantics.

Lexical Entailment

A Compositional Explanation of the Pet Fish Phenomenon

no code implementations22 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.

Distributional Sentence Entailment Using Density Matrices

no code implementations22 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.

Lexical Entailment

Open System Categorical Quantum Semantics in Natural Language Processing

no code implementations3 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.

Proceedings of the 11th workshop on Quantum Physics and Logic

no code implementations28 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).

The Frobenius anatomy of word meanings II: possessive relative pronouns

no code implementations18 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'.


The Frobenius anatomy of word meanings I: subject and object relative pronouns

no code implementations21 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.


Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

no code implementations23 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.

An alternative Gospel of structure: order, composition, processes

no code implementations15 Jul 2013 Bob Coecke

We survey some basic mathematical structures, which arguably are more primitive than the structures taught at school.

A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure

no code implementations2 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.

The logic of quantum mechanics - Take II

no code implementations16 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.

Mathematical Foundations for a Compositional Distributional Model of Meaning

2 code implementations23 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.