Extracting and Learning a Dependency-Enhanced Type Lexicon for Dutch

09/06/2019
by   Konstantinos Kogkalidis, et al.
0

This thesis is concerned with type-logical grammars and their practical applicability as tools of reasoning about sentence syntax and semantics. The focal point is narrowed to Dutch, a language exhibiting a large degree of word order variability. In order to overcome difficulties arising as a result of that variability, the thesis explores and expands upon a type grammar based on Multiplicative Intuitionistic Linear Logic, agnostic to word order but enriched with decorations that aim to reduce its proof-theoretic complexity. An algorithm for the conversion of dependency-annotated sentences into type sequences is then implemented, populating the type logic with concrete, data-driven lexical types. Two experiments are ran on the resulting grammar instantiation. The first pertains to the learnability of the type-assignment process by a neural architecture. A novel application of a self-attentive sequence transduction model is proposed; contrary to established practices, it constructs types inductively by internalizing the type-formation syntax, thus exhibiting generalizability beyond a pre-specified type vocabulary. The second revolves around a deductive parsing system that can resolve structural ambiguities by consulting both word and type information; preliminary results suggest both excellent computational efficiency and performance.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/31/2019

Constructive Type-Logical Supertagging with Self-Attention Networks

We propose a novel application of self-attention networks towards gramma...
research
02/02/2016

The Grail theorem prover: Type theory for syntax and semantics

As the name suggests, type-logical grammars are a grammar formalism base...
research
06/17/2022

Making first order linear logic a generating grammar

It is known that different categorial grammars have surface representati...
research
12/31/2021

First order linear logic and tensor type calculus for categorial grammars

We study relationship between first order multiplicative linear logic (M...
research
09/20/2023

Assessment of Pre-Trained Models Across Languages and Grammars

We present an approach for assessing how multilingual large language mod...
research
07/16/2020

Game semantics of Martin-Löf type theory, part III: its consistency with Church's thesis

We prove consistency of intensional Martin-Löf type theory (MLTT) with f...

Please sign up or login with your details

Forgot password? Click here to reset