Skip to Main content Skip to Navigation

Modélisation logique de la langue et Grammaires Catégorielles Abstraites

Florent Pompigne 1
1 SEMAGRAMME - Semantic Analysis of Natural Language
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : This thesis focuses on the modelisation of syntax and syntax-semantics interface of sentences, and investigate how the control of the surgeneration caused by the treatment of linguistics movements with higher order types can take place at the level of derivation structures. For this purpose, we look at the possibility to extend the type system of Abstract Categorial Grammars with the constructions of disjoint sum, cartesian product and dependent product, which enable syntactic categories to be labeled by feature structures. At first, we demonstrate that the calculus associated with this extension enjoy the properties of confluence and normalization, by which beta-equivalence can be computed in the grammatical formalism. We also reduce the same problem for beta-eta-equivalence to a few hypothesis. Then, we show how this feature structures can be used to control linguistics movements, through the examples of case constraints, extraction islands for overt and covert movements and multiples interrogative extractions, and we discuss the relevancy of operating these controls on the derivation structures.
Complete list of metadatas
Contributor : Florent Pompigne <>
Submitted on : Thursday, December 19, 2013 - 3:37:59 PM
Last modification on : Tuesday, December 18, 2018 - 4:38:01 PM
Long-term archiving on: : Thursday, March 20, 2014 - 11:56:06 AM


  • HAL Id : tel-00921040, version 1


Florent Pompigne. Modélisation logique de la langue et Grammaires Catégorielles Abstraites. Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français. ⟨tel-00921040⟩



Record views


Files downloads