These: Florent Pompigne, Modelisation logique de la langue et Grammaires Categorielles Abstraites

[Thierry Hamon]

Date: Fri, 6 Dec 2013 15:24:14 +0100 (CET)
From: Florent Pompigne <florent.pompigne at loria.fr>
Message-ID: <692013726.115461.1386339854164.JavaMail.root at loria.fr>

Bonjour, 

j'ai le plaisir de vous inviter à la soutenance de ma thèse qui 
s'intitule "Modélisation logique de la langue et Grammaires
Catégorielles Abstraites". 
La soutenance aura lieu le lundi 11 décembre à 10h30 au LORIA (Campus
scientifique Vandoeuvre-lès-Nancy), en salle C005 . 
Vous êtes également conviés au pot, qui aura lieu à 16h. 

Cordialement, 
Florent Pompigne 

--- 
Composition du jury : 

Rapporteurs : 
Christian Retoré, Professeur, Université de Bordeaux 1 
Annie Foret, Maître de conférences, Université de Rennes 1 

Examinateurs : 
Michael Moortgat, Professeur, Université d'Utrecht 
Laurent Vigneron, Professeur, Université de Lorraine 

Directeurs : 
Philippe de Groote, Directeur de recherches, INRIA Nancy 
Sylvain Pogodalla, Chargé de recherches, INRIA Nancy 

--- 
Résumé 

Cette thèse s'intéresse à la modélisation de la syntaxe et de
l'interface syntaxe-sémantique de la phrase, et explore la possibilité
de contrôler au niveau des structures de dérivation la surgénération que
produit le traitement des dépendances à distance par des types d'ordre
supérieur. À cet effet, nous étudions la possibilité d'étendre le
système de typage des Grammaires Catégorielles Abstraites avec les
constructions de la somme disjointe, du produit cartésien et du produit
dépendant, permettant d'étiqueter les catégories syntaxiques par des
structures de traits. Nous prouvons dans un premier temps que le calcul
résultant de cette extension bénéficie des propriétés de confluence et
de normalisation, permettant d'identifier les termes beta-équivalents
dans le formalisme grammatical. Nous réduisons de plus le même problème
pour la beta-eta-équivalence à un ensemble d'hypothèse de départ. Dans
un second temps, nous montrons comment cette introduction de structures
de traits peut être appliquée au contrôle des dépendances à distances, à
travers les exemples des contraintes de cas, des îlots d'extraction pour
les mouvements explicites et implicites, et des extractions
interrogatives multiples, et nous discutons de la pertinence de placer
ces contrôles sur les structures de dérivation.


-------------------------------------------------------------------------
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/

ATALA décline toute responsabilité concernant le contenu des
messages diffusés sur la liste LN
-------------------------------------------------------------------------