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
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.
Type de document :
Thèse
Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00921040
Contributeur : Florent Pompigne <>
Soumis le : jeudi 19 décembre 2013 - 15:37:59
Dernière modification le : mardi 18 décembre 2018 - 16:38:01
Document(s) archivé(s) le : jeudi 20 mars 2014 - 11:56:06

Identifiants

  • HAL Id : tel-00921040, version 1

Citation

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〉

Partager

Métriques

Consultations de la notice

361

Téléchargements de fichiers

1348