Quantification in Frame Semantics with Hybrid Logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Quantification in Frame Semantics with Hybrid Logic

Résumé

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 develop a type theoretic compositional semantics using this approach, formulated within Abstract Categorial Grammar.
Fichier principal
Vignette du fichier
kallmeyer-et-al.pdf (499.55 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01151641 , version 1 (13-05-2015)
hal-01151641 , version 2 (01-06-2015)
hal-01151641 , version 3 (01-06-2015)
hal-01151641 , version 4 (04-09-2015)

Identifiants

  • HAL Id : hal-01151641 , version 4

Citer

Laura Kallmeyer, Timm Lichte, Rainer Osswald, Sylvain Pogodalla, Christian Wurm. Quantification in Frame Semantics with Hybrid Logic. Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain. ⟨hal-01151641v4⟩
276 Consultations
423 Téléchargements

Partager

Gmail Facebook X LinkedIn More