Grammaire catégorielle du français : étude théorique et implantation : le système GraCE (Grammaire Catégorielle Etendue)

French categorial grammar : theoretical studyand implementation : the GraCE system (extended categorial grammar)

• Auteur / Autrice : Frédérique Segond
• Direction : Jean-Pierre Desclès
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques appliquées
• Date : Soutenance en 1990
• Etablissement(s) : Paris, EHESS

Mots clés

Mots clés contrôlés

Systèmes informatiques

Formalisme (mathématiques)

Syntaxe

Français (langue)

Grammaire catégorielle

Résumé

Ce travail se situe dans le cadre des grammaires catégorielles. Le but de départ a été de "pousser" jusqu'au bout la théorie des types catégoriels et de fournir une implémentation de ce modèle pour l'analyse morpho-syntaxique du français (construction du système GraCE). Dans un premier temps, nous exposons différents modèles grammaticaux (GPSG, ATN, lexique grammaire de Gross). Ensuite, nous présentons les différents courants actuels qui utilisent un formalisme catégoriel : calcul de Lambek, calcul de Lambek enrichi, grammaire applicative. Le reste de la thèse est consacré à nos propres travaux. Une première partie, plus théorique, est l'occasion de présenter les outils formels que nous utilisons ainsi que les extensions que nous proposons (choix de types, métarègles, règles lexicales) ; une deuxième partie est consacrée à l'implémentation ; nous y exposons l'architecture de notre programme. En annexe, sont proposées quelques unes des analyses obtenues à l'aide du système GraCE.

The frame of this work is the categorial grammars model. Our goal is to use the categorial theory and build a french categorial parser (the GraCE system). First, we present the variou grammatical models (GPSG, ATN, Gross "lexique-grammaire"). Then we distincts currents in categorial grammars : the Lambek calculus models, the extended Lambek calculus models, the applicative grammar model. The rest of the work is our personal contribution in the domain. A theoretical part present our formal tools and a "practical" part presents the computing architecture. Some obtained parses are given at the end the thesis.