Plurality and Quantification in Graph Representation of Meaning

12/13/2021
by   Yu Cao, et al.
0

In this thesis we present a semantic representation formalism based on directed graphs and explore its linguistic adequacy and explanatory benefits in the semantics of plurality and quantification. Our graph language covers the essentials of natural language semantics using only monadic second-order variables. We define its model-theoretical interpretation in terms of graph traversal, where the relative scope of variables arises from their order of valuation. We present a unification-based mechanism for constructing semantic graphs at a simple syntax-semantics interface, where syntax as a partition function on discourse referents is implemented with categorial grammars by establishing a partly deterministic relation between semantics and syntactic distribution. This mechanism is automated to facilitate future exploration. The present graph formalism is applied to linguistic issues in distributive predication, cross-categorial conjunction, and scope permutation of quantificational expressions, including the exceptional scoping behaviors of indefinites.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

12/29/2020

DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs

Discourse Representation Theory (DRT) is a formal account for representi...
03/28/2019

An Improved Approach for Semantic Graph Composition with CCG

This paper builds on previous work using Combinatory Categorial Grammar ...
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...
09/20/2021

Intensionalizing Abstract Meaning Representations: Non-Veridicality and Scope

Abstract Meaning Representation (AMR) is a graphical meaning representat...
12/17/2021

Can we Fix the Scope for Coreference? Problems and Solutions for Benchmarks beyond OntoNotes

Current work on automatic coreference resolution has focused on the Onto...
08/04/2019

Separating Argument Structure from Logical Structure in AMR

The AMR (Abstract Meaning Representation) formalism for representing mea...
02/13/2018

Extending the DEVS Formalism with Initialization Information

DEVS is a popular formalism to model system behaviour using a discrete-e...
This week in AI

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