Thèse

post-doctorant,  MdC, Nancy2 et Loria, Nancy, France

 

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


Soutenue le 24 Septembre 2007 à l'université Bordeaux 1.
Mention très honorable. (pas de félicitations du jury à l'université Bordeaux 1)
[manuscrit.pdf][diaporama_de_soutenance.pdf]


Composition du jury

Président :

  • M. Géraud SÉNIZERGUES, Professeur, LaBRI / université Bordeaux 1

Rapporteurs :

  • Mme Isabelle TELLIER, maîtyre de conférence, habilitée à diriger des recherches, université Lille 3
  • M. Uwe MÖNNICH, professeur, université de Tübingen

Directeurs de thèse :

  • M. Christian RETORÉ, Professeur, université Bordeaux 1
  • M. Alain LECOMTE, Professeur, université Paris 8

Examinateur :

  • M. Nicholas ASHER, directeur de recherche CNRS / Irit

Invité :

  • M. Gregory KOBELE, maître de conférence, université de Berlin

Mots Clés :
grammaires génératives, interface syntaxe/sémantique, isomomrphisme de Curry-Howard, lambda-calcul, lambda mu-calcul, logique linéaire, langages formels, grammaires catégorielles, grammaires minimalistes, types de Montague

Key Words:
generative syntax, syntax/semantic interface, Curry-Howard isomorphism, lambda-calculus, lambda mu-calculus, linear logic, formal languages, categorial grammars, minimalist grammars, Montague semantic.


 

Résumé:

Les travaux de cette thèse se situent dans le cadre de la linguistique computationnelle. La problématique est de définir une interface syntaxe / sémantique basée sur les théories de la grammaire générative.

Une première partie, concernant le problème de l'analyse syntaxique, présente tout d'abord, la syntaxe générative, puis un formalisme la réalisant: les grammaires minimalistes de Stabler.
À partir de ces grammaires, nous réalisons une étude sur les propriétés de l'opération de fusion pour laquelle nous définissons des notions d'équivalence, ainsi qu'une modélisation abstraite des lexiques.

Une seconde partie revient sur le problème de l'interface. Pour cela, nous proposons un formalisme de type logique, basé sur la logique mixte (possédant des connecteurs commutatifs et non-commutatifs), qui équivaut, sous certaines conditions, aux grammaires de Stabler.
Dans ce but, nous introduisons une normalisation des preuves de cette logique, normalisation permettant de vérifier la propriété de la sous-formule. Ces propriétés sont également étendues au calcul de Lambek avec produit.

À partir de l'isomorphisme de Curry-Howard, nous synchronisons un calcul sémantique avec les preuves réalisant l'analyse syntaxique. Les termes de notre calcul font appel aux propriétés du lambda mu-calcul, ainsi qu'à celles de la DRT (
Discourse Representative Theory).
Une dernière partie applique ces formalismes à des cas concrets. Nous établissons des fragments d'une grammaire du français autour du problème des clitiques

 

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.