Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic

Laura Kallmeyer 1 Rainer Osswald 1 Sylvain Pogodalla 2, 1
1 Abteilung für Computerlinguistik [Düsseldorf ]
2 SEMAGRAMME - Semantic Analysis of Natural Language
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : This paper aims at integrating logical operators into frame-based semantics. Frames are semantic graphs that allow to capture lexical meaning in a fine-grained way but that do not come with a natural way to integrate logical operators such as quantifiers. The approach we propose starts from the observation that modal logic is a powerful tool for describing relational structures, hence frames. We use its hybrid logic extension in order to incorporate quantification and thereby allow for inference and reasoning. We integrate our approach to a type theoretic compositional semantics, formulated within Abstract Categorial Grammars. We also show how the key ingredients of hybrid logic, nominals and binders, can be used to model semantic coercion, such as the one induced by the begin predicate. In order to illustrate the effectiveness of the proposed syntax-semantics interface, all the examples can be run and tested with the Abstract Categorial Grammar development toolkit.
Keywords : Abstract Categorial Grammar Quantification Hybrid Logic Frame Semantics
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [39 references]  Display  Hide  Download
https://hal.inria.fr/hal-01417853
Contributor : Sylvain Pogodalla <>
Submitted on : Friday, December 15, 2017 - 10:16:42 AM
Last modification on : Tuesday, December 18, 2018 - 4:38:01 PM

Files

147-1407-1-PB.pdf
Files produced by the author(s)

Identifiers

Collections

INRIA | LORIA | LORIA-NLPKD | UNIV-LORRAINE | INRIA2017

Citation

Laura Kallmeyer, Rainer Osswald, Sylvain Pogodalla. Quantification in Frame Semantics with Binders and Nominals of Hybrid Logic. Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, 5 (2), ⟨10.15398/jlm.v5i2.147⟩. ⟨hal-01417853v4⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

259

Files downloads

110

Contact


archive-ouverte@inria.fr