Introduction of Quantification in Frame Semantics

01/25/2020
by   Valentin D. Richard, et al.
0

Feature Structures (FSs) are a widespread tool used for decompositional frameworks of Attribute-Value associations. Even though they thrive in simple systems, they lack a way of representing higher-order entities and relations. This is however needed in Frame Semantics, where semantic dependencies should be able to connect groups of individuals and their properties, especially to model quantification. To answer this issue, this master report introduces wrappings as a way to envelop a sub-FS and treat it as a node. Following the work of [Kallmeyer, Osswald 2013], we extend its syntax, semantics and some properties (translation to FOL, subsumption, unification). We can then expand the proposed pipeline. Lexical minimal model sets are generated from formulas. They unify by FS value equations obtained by LTAG parsing to an underspecified sentence representation. The syntactic approach of quantifiers allows us to use existing methods to produce any possible reading. Finally, we give a transcription to type-logical formulas to interact with the context in the view of dynamic semantics. Supported by ideas of Frame Types, this system provides a workable and tractable tool for higher-order relations with FS.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/16/2020

On Reductions of Hintikka Sets for Higher-Order Logic

Steen's (2018) Hintikka set properties for Church's type theory based on...
research
10/05/2022

Denotational semantics of general store and polymorphism

We contribute the first denotational semantics of polymorphic dependent ...
research
05/18/2021

A Spatial Logic for a Simplicial Complex Model

Collective adaptive systems (CAS) consist of many heterogeneous componen...
research
11/26/2018

Sentence Encoding with Tree-constrained Relation Networks

The meaning of a sentence is a function of the relations that hold betwe...
research
09/12/2023

Modeling Reachability Types with Logical Relations

Reachability types are a recent proposal to bring Rust-style reasoning a...
research
12/29/2019

ÆTHEL: Automatically Extracted Type-Logical Derivations for Dutch

We present ÆTHEL, a semantic compositionality dataset for written Dutch....
research
05/02/2018

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates

In this paper, we propose a variant of Answer Set Programming (ASP) with...

Please sign up or login with your details

Forgot password? Click here to reset