English
Related papers

Related papers: A CCG-Based Version of the DisCoCat Framework

200 papers

Although neural sequence-to-sequence models have been successfully applied to semantic parsing, they fail at compositional generalization, i.e., they are unable to systematically generalize to unseen compositions of seen components.…

Computation and Language · Computer Science 2021-09-10 Hao Zheng , Mirella Lapata

We present a compositional semantics for various types of polar questions and wh-questions within the framework of Combinatory Categorial Grammar (CCG). To assess the explanatory power of our proposed analysis, we introduce a…

Computation and Language · Computer Science 2023-12-25 Hayate Funakura , Koji Mineshima

Natural language processing (NLP) is at the forefront of great advances in contemporary AI, and it is arguably one of the most challenging areas of the field. At the same time, in the area of Quantum Computing (QC), with the steady growth…

Quantum Physics · Physics 2023-02-15 Konstantinos Meichanetzidis , Alexis Toumi , Giovanni de Felice , Bob Coecke

This report describes the parsing problem for Combinatory Categorial Grammar (CCG), showing how a combination of Transformer-based neural models and a symbolic CCG grammar can lead to substantial gains over existing approaches. The report…

Computation and Language · Computer Science 2021-09-29 Stephen Clark

This paper concerns the structure of meanings within natural language. Earlier, a framework named DisCoCirc was sketched that (1) is compositional and distributional (a.k.a. vectorial); (2) applies to general text; (3) captures linguistic…

Computation and Language · Computer Science 2023-01-26 Vincent Wang-Mascianica , Jonathon Liu , Bob Coecke

A categorial grammar assigns one of several syntactic categories to each symbol of the alphabet, and the category of a string is then deduced from the categories assigned to its symbols using two simple reduction rules. This paper…

Logic · Mathematics 2025-05-21 Maxim Vishnikin , Alexander Okhotin

We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)}…

Logic · Mathematics 2020-08-04 Sergey Slavnov

There is a significant disconnect between linguistic theory and modern NLP practice, which relies heavily on inscrutable black-box architectures. DisCoCirc is a newly proposed model for meaning that aims to bridge this divide, by providing…

Computation and Language · Computer Science 2023-11-30 Jonathon Liu , Razin A. Shaikh , Benjamin Rodatz , Richie Yeung , Bob Coecke

In [4], the authors present the DisCoCirc (Distributed Compositional Circuits) formalism for the English language, a grammar-based framework derived from the production rules that incorporates circuit-like representations in order to give a…

Computation and Language · Computer Science 2025-11-13 Nazmoon Falgunee Moon

Previous CCG supertaggers usually predict categories using multi-class classification. Despite their simplicity, internal structures of categories are usually ignored. The rich semantics inside these structures may help us to better handle…

Computation and Language · Computer Science 2021-03-16 Yufang Liu , Tao Ji , Yuanbin Wu , Man Lan

Recent vision-language models excel at large-scale image-text alignment but often neglect the compositional structure of language, leading to failures on tasks that hinge on word order and predicate-argument structure. We introduce…

Computation and Language · Computer Science 2025-09-26 Kin Ian Lo , Hala Hawashin , Mina Abbaszadeh , Tilen Limback-Stokin , Hadi Wazni , Mehrnoosh Sadrzadeh

A well-known approach to treating syntactic island constraints in the setting of Lambek grammars consists in adding specific bracket modalities to the logic. We adapt this approach to abstract categorial grammars (ACG). Thus we define…

Logic · Mathematics 2020-05-21 Sergey Slavnov

Discovering pattern sets or global patterns is an attractive issue from the pattern mining community in order to provide useful information. By combining local patterns satisfying a joint meaning, this approach produces patterns of higher…

Machine Learning · Computer Science 2011-07-19 Patrice Boizumault , Bruno Crémilleux , Mehdi Khiari , Samir Loudni , Jean-Philippe Métivier

Category theory has been successfully applied in various domains of science, shedding light on universal principles unifying diverse phenomena and thereby enabling knowledge transfer between them. Applications to machine learning have been…

Machine Learning · Computer Science 2023-03-09 Eli Sennesh , Tom Xu , Yoshihiro Maruyama

In this paper, we propose a general framework for image classification using the attention mechanism and global context, which could incorporate with various network architectures to improve their performance. To investigate the capability…

Computer Vision and Pattern Recognition · Computer Science 2022-06-08 Keke Tang , Guodong Wei , Runnan Chen , Jie Zhu , Zhaoquan Gu , Wenping Wang

In relatively free word order languages, grammatical functions are intricately related to case marking. Assuming an ordered representation of the predicate-argument structure, this work proposes a Combinatory Categorial Grammar formulation…

cmp-lg · Computer Science 2007-05-23 Cem Bozsahin

As part of the recent research effort on quantum natural language processing (QNLP), variational quantum sentence classifiers (VQSCs) have been implemented and supported in lambeq / DisCoPy, based on the DisCoCat model of sentence meaning.…

Computation and Language · Computer Science 2023-03-07 Daniel T. Chang

We introduce functorial language models: a principled way to compute probability distributions over word sequences given a monoidal functor from grammar to meaning. This yields a method for training categorical compositional distributional…

Computation and Language · Computer Science 2021-03-29 Alexis Toumi , Alex Koziell-Pipe

Although unification can be used to implement a weak form of $\beta$-reduction, several linguistic phenomena are better handled by using some form of $\lambda$-calculus. In this paper we present a higher order feature description calculus…

cmp-lg · Computer Science 2008-02-03 Luis Damas , Nelma Moreira

This paper describes a computational framework for a grammar architecture in which different linguistic domains such as morphology, syntax, and semantics are treated not as separate components but compositional domains. Word and phrase…

cmp-lg · Computer Science 2008-02-03 Cem Bozsahin , Elvan Gocmen