Interpretation linguistique et computationnelle des valeurs par defaut dans le domaine syntaxique

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.

Alternate abstract:

This research in computational linguistics concerns an aspect of the representation of syntactic information, in particular the specification of default values (DV).

The problem is considered in the context of unification grammars (UG), characterized by representations in terms of feature-value pairs (attribute-value structures or SAVs) describing various linguistic properties, and an operation of comparison and combination of SAVs (unification) whose formal semantics is firmly established.

This thesis first demonstrates that certain syntactic phenomena benefit from being described by DVs. She then seeks an interpretation for these DVs that is grounded in linguistic theory, to give them a linguistic status of their own rather than merely empirically justified. Finally, it tackles the question of the computational interpretation of DV in UGs. DVs raise questions of interpretation and implementation that this research aims to resolve.

The first chapter establishes the theoretical bases. It presents the problem of DVs in computer science, artificial intelligence and computational linguistics as well as the syntactic theoretical framework retained; it also exposes GUs, as well as recent developments using typed SAVs (SAT) with increased descriptive power. A first outline of French phenomena whose description by VD is optimal is presented in Chapter 2.

Chapter 3 is devoted to the study of previous syntactic approaches that incorporate some notion of DV: essentially Generalized Syntagmatic Grammar (GSG), Word Grammar (WG) theory and Head-Driven Phrase Structure Grammar (HPSG) theory ( even if this limits the use of VD to the lexicon). Although stemming from different syntactic traditions, WG and HPSG share interesting characteristics, making it possible to express generalizations in a way that is sometimes more flexible than GSG.

The representation chosen for the syntactic DVs retains from WG the idea of specifying default syntactic properties and from HPSG its formal framework based on the SATs; it is presented in Chapter 4.

Chapter 5 describes in formal terms a range of syntactic phenomena with VD, from the correspondence between semantic and syntactic arguments to the phenomena of agreement and auxiliary selection in French, including syntactic combination and linear order

Chapter 6 discusses issues of linguistic interpretation, primarily in terms of the mark. The representation of the SATs, which express elementary syntactic properties through features, allows a vision of the brand that is similar to the original formulation for phonology. The DVs in Chapter 5 are examined one by one to determine if they also match the unmarked term of an opposition. For this purpose, evaluation criteria for the syntactic mark are identified.

A computational interpretation for DVs is proposed in Chapter 7. Based on previous work on defining the default unification operation, the described approach extends the power of DVs as constraints. It proceeds by circumscribing exceptional statements that cancel a given DV and force it to be respected elsewhere.