Structures de traits pour les Grammaires Catégorielles Abstraites
Abstract Categorial Grammars and Feature Structures
Jury
Directeur de these_DE GROOTE_Philippe_Inria Nancy - Grand Est
CoDirecteur de these_SALMON_Raphaël_Yseop
Examinateur_GARDENT_Claire_CNRS
Examinateur_RANTA_Aarne_University of Gothenburg
Examinateur_FORÊT_Annie_IRISA - ISTIC
Rapporteur_MOOT_Richard_CNRS
Rapporteur_KALLMEYER_Laura_Heinrich-Heine-University
école doctorale
IAEM - INFORMATIQUE - AUTOMATIQUE - ELECTRONIQUE - ELECTROTECHNIQUE - MATHEMATIQUES
Laboratoire
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Mention de diplôme
Informatique
A006
Loria
Campus scientifique
BP 239
54506 Vandœuvre-lès-Nancy Cedex
Mots clés
Structure de traits,ACG,Théorie des types,,
Résumé de la thèse
Les Grammaires Catégorielles Abstraites (ACG) constituent un formalisme grammatical puissant reposant sur le λ‑calcul linéaire simplement typé, capable de représenter de manière unifiée plusieurs niveaux d'analyse linguistique.
Toutefois, elles souffrent d'une faiblesse pratique: l'absence de mécanismes intrinsèques pour gérer les structures de traits, pourtant essentielles à la modélisation des phénomènes morphosyntaxiques des langues naturelles.
Keywords
Feature structures,ACG,Type Theory,,
Abstract
Abstract Categorial Grammars (ACGs) are a powerful grammatical formalism based on the simply typed linear λ-calculus, capable of uniformly representing several levels of linguistic analysis.
However, they suffer from a practical weakness: the lack of intrinsic mechanisms for handling feature structures, which are essential for modeling the morphosyntactic phenomena of natural languages.
This thesis introduces Affix Abstract Categorial Grammars (AACGs), an extension of ACGs enriched by the integration of feature structures.
First, we introduce an enriched λ-calculus that extends t
