Interprétation linguistique et computationnelle des valeurs par défaut dans le domaine syntaxique

Abstract

Cette recherche en linguistique informatique porte sur un aspect de la représentation des informations syntaxiques, notamment la spécification de valeurs par défaut (VD). La problématique est envisagée dans le cadre des grammaires d'unification (GU), caractérisées par des représentations en termes de paires trait-valeur (structures attribut-valeur ou SAV) décrivant diverses propriétés linguistiques, et une opération de comparaison et de combinaison des SAV (l'unification) dont la sémantique formelle est solidement établie. Cette thèse démontre d'abord que certains phénomènes syntaxiques gagnent à être décrits par des VD. Elle cherche ensuite une interprétation pour ces VD qui soit ancrée dans la théorie linguistique, pour leur conférer un statut linguistique propre plutôt que simplement justifié d'un point de vue empirique. Enfin, elle s'attaque à la question de l'interprétation computationnelle de VD dans les GU. Les VD y soulèvent des questions d'interprétation et d'implantation que cette recherche vise à résoudre. Le premier chapitre établit les bases théoriques. Il présente la problématique des VD en informatique, en intelligence artificielle et en linguistique informatique ainsi que le cadre théorique syntaxique retenu; il expose aussi les GU, ainsi que des développements récents utilisant des SAV typées (SAT) au pouvoir de description accru. Une première esquisse de phénomènes du français dont la description par VD est optimale est présentée au chapitre 2. Le chapitre 3 est consacré à l'étude des approches syntaxiques précédentes qui incorporent une certaine notion de VD : essentiellement la Grammaire syntagmatique généralisée (GSG), la théorie Word Grammar (WG) et la théorie Head-Driven Phrase Structure Grammar (HPSG) (même si celle-ci limite l'utilisation de VD au lexique). Bien qu'issues de traditions syntaxiques différentes, WG et HPSG partagent des caractéristiques intéressantes, permettant d'exprimer des généralisations de façon parfois plus flexible que la GSG. La représentation choisie pour les VD syntaxiques retient de WG l'idée de spécifier des propriétés syntaxiques par défaut et de HPSG son cadre formel basé sur les SAT; elle est présentée au chapitre 4. Le chapitre 5 décrit en termes formels un éventail de phénomènes syntaxiques avec VD, de la correspondance entre les arguments sémantiques et syntaxiques aux phénomènes d'accord et de sélection de l'auxiliaire en français, en passant par les énoncés de combinaison syntaxique et d'ordre linéaire. Le chapitre 6 aborde les questions d'interprétation linguistique, principalement en termes de la marque. La représentation des SAT, qui expriment par les traits des propriétés syntaxiques élémentaires, permet une vision de la marque qui s'apparente à la formulation originale pour la phonologie. Les VD du chapitre 5 sont examinées une à une pour déterminer si elles correspondent également au terme non marqué d'une opposition. À cet effet, des critères d'évaluation pour la marque syntaxique sont identifiés. Une interprétation computationnelle pour les VD est proposée au chapitre 7. Basée sur des travaux antérieurs sur la définition de l'opération d'unification par défaut, l'approche décrite étend le pouvoir des VD en tant que contraintes. Elle procède par la circonscription des énoncés exceptionnels qui annulent une VD donnée et la force à être respectée ailleurs.