Download PDFOpen PDF in browserCurrent version

A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description

EasyChair Preprint 1516, version 1

Versions: 12history
10 pagesDate: September 14, 2019

Abstract

The paper presents NLC, a new formalism for modeling natural language (NL) compositionality. NLC is a functional type system (i.e. one based on mathematical functions and their types). Its main features include a close correspondence with NL and an integrated modeling of morphological, syntactic and semantic compositionality. The paper also presents an implementation of NLC in Coq. The implementation formalizes a diverse fragment of NL, with NLC expressions type checking and failing to type check in exactly the same ways that NL expressions pass and fail their acceptability tests. Among other things, this demonstrates the possibility of reducing morphological, syntactic and semantic compositionality to a single level of description. The level is tentatively identified with semantic compositionality — an interpretation which, besides being supported by results from language processing, has interesting implications on NL structure and modeling.

Keyphrases: Coq, compositionality, morphology, natural language, semantics, syntax, type theory

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
@booklet{EasyChair:1516,
  author    = {Erkki Luuk},
  title     = {A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description},
  howpublished = {EasyChair Preprint 1516},
  year      = {EasyChair, 2019}}
Download PDFOpen PDF in browserCurrent version