The Grail theorem prover: Type theory for syntax and semantics

02/02/2016
by   Richard Moot, et al.
0

As the name suggests, type-logical grammars are a grammar formalism based on logic and type theory. From the prespective of grammar design, type-logical grammars develop the syntactic and semantic aspects of linguistic phenomena hand-in-hand, letting the desired semantics of an expression inform the syntactic type and vice versa. Prototypical examples of the successful application of type-logical grammars to the syntax-semantics interface include coordination, quantifier scope and extraction.This chapter describes the Grail theorem prover, a series of tools for designing and testing grammars in various modern type-logical grammars which functions as a tool . All tools described in this chapter are freely available.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

05/31/2019

Constructive Type-Logical Supertagging with Self-Attention Networks

We propose a novel application of self-attention networks towards gramma...
10/24/2019

GF + MMT = GLF – From Language to Semantics through LF

These days, vast amounts of knowledge are available online, most of it i...
09/06/2019

Extracting and Learning a Dependency-Enhanced Type Lexicon for Dutch

This thesis is concerned with type-logical grammars and their practical ...
12/29/2019

ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch

We present ÆTHEL, a semantic compositionality dataset for written Dutch....
12/13/2021

Plurality and Quantification in Graph Representation of Meaning

In this thesis we present a semantic representation formalism based on d...
02/10/2017

Universal Dependencies to Logical Forms with Negation Scope

Many language technology applications would benefit from the ability to ...
02/11/2018

Syntax and Semantics of Italian Poetry in the First Half of the 20th Century

In this paper we study, analyse and comment rhetorical figures present i...

Code Repositories

GrailLight

Light-weight chart parser for multimodal type-logical grammars


view repo
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.