Calculs de représentations sémantiques et syntaxe générative : les grammaires
minimalistes catégorielles

Maxime Amblard 1, 2
2 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
INRIA Futurs, Université Sciences et Technologies - Bordeaux 1, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université Bordeaux Montaigne, CNRS - Centre National de la Recherche Scientifique : UMR5800
Abstract : These works are parts of the framework of computational linguistic. We focus on the syntax/semantic interface based on generative grammars.
The first part treats of syntax analysis. We introduce Generative Grammars, which are a theoretical approach of syntax, and, then, Stabler minimalist grammars which are a formalism based on generative theory. We analyse the merge operation and we define equivalence for merge and an abstract modelling of lexicon.
The aim of the second part is now the syntax/semantic interface. We introduce a new logic formalism based on mixed logic (both commutative and non-commutative connectors). This formalism is equivalent to GM without SMC. We propose a normalisation (a non canonical one) for mixed logic which checks the sub-formula property. Then, these properties are both checked for Lambek calculus with product.
Syntactic analysis is performed by proof. On this proof, we synchronise a semantic calculus, using Curry-Howard isomorphism. Terms are based on lambda mu-calculus, and include DRT properties (Discourse Representative Theory).
The last part treats some linguistic phenomena. We focus on the cliticisation in french and propose a categorial minimalist grammar for french.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00185844
Contributor : Maxime Amblard <>
Submitted on : Wednesday, November 7, 2007 - 12:30:50 PM
Last modification on : Tuesday, July 9, 2019 - 10:04:59 AM
Long-term archiving on : Monday, September 24, 2012 - 2:56:17 PM

Identifiers

  • HAL Id : tel-00185844, version 1

Collections

Citation

Maxime Amblard. Calculs de représentations sémantiques et syntaxe générative : les grammaires
minimalistes catégorielles. Autre [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2007. Français. ⟨tel-00185844⟩

Share

Metrics

Record views

550

Files downloads

4600