These: M. Amblard, Calculs de representations semantiques et syntaxe generative

[Thierry Hamon]

Date: Thu, 8 Nov 2007 09:30:19 +0100
From: "Maxime Amblard" <maxime.amblard at gmail.com>
Message-ID: <1f3f236a0711080030ofcedb11t481ec9168219941c at mail.gmail.com>
X-url: http://maxime.amblard.googlepages.com/these
X-url: http://tel.archives-ouvertes.fr/tel-00185844/fr/
X-url: http://maxime.amblard.googlepages.com/


Bonjour,

J'ai le plaisir de vous annoncer que la soutenance de ma thèse dont le
titre est :
  "Calculs de représentations sémantiques et syntaxe générative : les
Grammaires Minimalistes Catégorielles"

s'est déroulée le vendredi 21 septembre 2007, à l'université Bordeaux 1.

devant le jury, composé de :
Président
  M. Géraud Sénizergues - Professeur, Université Bordeaux 1

Rapporteurs
  Mme Isabelle Tellier - Maître de conférence HDR , université Lille 3
  M. Uwe Mönnich -  Universität Tübingen

Directeurs de thèse
  M. Christian Retoré - Professeur, Université Bordeaux 1
  M. Alain Lecomte - Professeur, Université de Paris 8

Examinateurs
  M. Nicholas Asher - Directeur de Recherches CNRS
  M. Gregory Kobele -  Maître de conférence, Universität Berlin


Le résumé est donné en fin de mail.
(détails et téléchargement sur :
http://maxime.amblard.googlepages.com/these ou
http://tel.archives-ouvertes.fr/tel-00185844/fr/ )


Par ailleurs, j'ai commencé le 1er octobre un stage post-doctoral chez
Orange labs (ex FT R&D).
Vous trouverez tous les renseignements sur ma nouvelle page:
http://maxime.amblard.googlepages.com/

Désormais, pouvez me contacter à cette adresse :
maxime.amblard at gmail.com


Cordialement,

Maxime Amblard
---
Orange Labs TECH/EASY/LN
post-doctorant
2 avenue Pierre Marzin
22307 Lannion cedex
------------------------------
+33(0)2 96 05 16 62
maxime.amblard at gmail.com
------------------------------
Mots-clés de la thèse :
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.



résumé de thèse :

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


-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------