A Frobenius Algebraic Analysis for Parasitic Gaps

• URL: http://arxiv.org/abs/2005.05639v2
• Date: Tue, 7 Jul 2020 16:41:57 GMT
• Title: A Frobenius Algebraic Analysis for Parasitic Gaps
• Authors: Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds
• Abstract summary: We identify two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon. For parasitic gaps affecting arguments of the same predicate, the polymorphism is associated with the lexical item that introduces the primary gap. A compositional translation relates syntactic types and derivations to the interpreting compact closed category of finite dimensional vector spaces.
• Score: 4.254099382808598
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combinatory traditions, rely on explicit forms of syntactic copying. We identify two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon. Parasitic gaps in adjuncts are analysed as forms of generalized coordination with a polymorphic type schema for the head of the adjunct phrase. For parasitic gaps affecting arguments of the same predicate, the polymorphism is associated with the lexical item that introduces the primary gap. Our analysis is formulated in terms of Lambek calculus extended with structural control modalities. A compositional translation relates syntactic types and derivations to the interpreting compact closed category of finite dimensional vector spaces and linear maps with Frobenius algebras over it. When interpreted over the necessary semantic spaces, the Frobenius algebras provide the tools to model the proposed instances of lexical polymorphism.

Related papers

• Geometric Signatures of Compositionality Across a Language Model's Lifetime [47.25475802128033]
  We show that compositionality is reflected in representations' intrinsic dimensionality. We also show that the relationship between compositionality and geometric complexity arises due to learned linguistic features over training.
  arXiv  Detail & Related papers  (2024-10-02T11:54:06Z)
• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  This approach allows for the computer-assisted analysis of abstract dialectical frameworks. Exemplary applications include the formal analysis and verification of meta-theoretical properties.
  arXiv  Detail & Related papers  (2023-12-08T09:32:26Z)
• Syntax-semantics interface: an algebraic model [0.046040036610482664]
  We show that methods adopted in the formulation of renormalization in theoretical physics are relevant to describe the extraction of meaning from syntactic expressions. We answer some recent controversies about implications for generative linguistics of the current functioning of large language models.
  arXiv  Detail & Related papers  (2023-11-10T17:12:09Z)
• A Category-theoretical Meta-analysis of Definitions of Disentanglement [97.34033555407403]
  Disentangling the factors of variation in data is a fundamental concept in machine learning. This paper presents a meta-analysis of existing definitions of disentanglement.
  arXiv  Detail & Related papers  (2023-05-11T15:24:20Z)
• From axioms over graphs to vectors, and back again: evaluating the properties of graph-based ontology embeddings [78.217418197549]
  One approach to generating embeddings is by introducing a set of nodes and edges for named entities and logical axioms structure. Methods that embed in graphs (graph projections) have different properties related to the type of axioms they utilize.
  arXiv  Detail & Related papers  (2023-03-29T08:21:49Z)
• Mathematical Foundations for a Compositional Account of the Bayesian Brain [0.0]
  We use the tools of contemporary applied category theory to supply functorial semantics for approximate inference. We define fibrations of statistical games and classify various problems of statistical inference as corresponding sections. We construct functors which explain the compositional structure of predictive coding neural circuits under the free energy principle.
  arXiv  Detail & Related papers  (2022-12-23T18:58:17Z)
• Learning Algebraic Recombination for Compositional Generalization [71.78771157219428]
  We propose LeAR, an end-to-end neural model to learn algebraic recombination for compositional generalization. Key insight is to model the semantic parsing task as a homomorphism between a latent syntactic algebra and a semantic algebra. Experiments on two realistic and comprehensive compositional generalization demonstrate the effectiveness of our model.
  arXiv  Detail & Related papers  (2021-07-14T07:23:46Z)
• Categories of Br\`egman operations and epistemic (co)monads [0.0]
  We construct a categorical framework for nonlinear postquantum inference, with embeddings of convex closed sets of suitable reflexive Banach spaces as objects. It provides a nonlinear convex analytic analogue of Chencov's programme of study of categories of linear positive maps between spaces of states. We show that the bregmanian approach provides some special cases of this setting.
  arXiv  Detail & Related papers  (2021-03-13T23:10:29Z)
• Decomposing lexical and compositional syntax and semantics with deep language models [82.81964713263483]
  The activations of language transformers like GPT2 have been shown to linearly map onto brain activity during speech comprehension. Here, we propose a taxonomy to factorize the high-dimensional activations of language models into four classes: lexical, compositional, syntactic, and semantic representations. The results highlight two findings. First, compositional representations recruit a more widespread cortical network than lexical ones, and encompass the bilateral temporal, parietal and prefrontal cortices.
  arXiv  Detail & Related papers  (2021-03-02T10:24:05Z)
• Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality [3.345437353879255]
  We develop a categorical distributional semantics for Lambek Calculus with a Relevantity!L*. We instantiate this category to finite dimensional vector spaces and linear maps via "quantisation" functors. We apply the model to construct categorical and concrete semantic interpretations for the motivating example of!L*: the derivation of a phrase with a parasitic gap.
  arXiv  Detail & Related papers  (2020-05-06T18:58:21Z)
• Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications [0.0]
  Lambek Calculus relies on unary modalities to allow controlled application of structural rules. Proposals for compositional interpretation of Lambek Calculus in the compact closed category of FVect and linear maps have been made. Our aim is to turn the modalities into first-class citizens of the vectorial interpretation.
  arXiv  Detail & Related papers  (2020-04-08T17:25:11Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.