Vers les grammaires de configuration

Towards configuration grammars

• Auteur / Autrice : Mathieu Estratat
• Direction : Laurent Henocque
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2006
• Etablissement(s) : Aix-Marseille 3

Mots clés

Mots clés contrôlés

Configuration (linguistique)

Langues

Syntaxe

Sémantique

Résumé

Cette thèse a pour objet d’utiliser la recherche de modèles finis comme un cadre unique pour l’analyse de langages naturels du double point de vue syntaxique et sémantique. Pour la syntaxe, les grammaires de configuration que nous proposons offrent un cadre formel de représentation et d’étude de grammaires. Elles autorisent notamment la réalisation d’un analyseur syntaxique par simple définition de la grammaire. Le traitement de la sémantique est envisagé, quant à lui, sur des textes descriptifs (décrivant des objets). Ces traitements syntaxico-sémantiques sont décrits par des modèles objets contraints, formalisés grâce au langage Z. Cette méthode, nouvelle à notre connaissance dans le domaine de l’analyse du langage naturel, présente l’avantage d’être indépendante des techniques de résolution. Nous avons choisi une méthode de recherche de modèles finis, la configuration, pour la recherche de solutions à partir d’une interprétation du modèle objet contraint.

The goal of this thesis is to use finite models search as a single natural language parsing framework at both syntactical and semantical points of view. For the syntax, the configuration grammars we propose offer a formal framework for the representation and studying of grammars. They allow the implementation of a syntactical parser, just by defining the grammar. The semantics treatment is based on descriptive texts (which describe objects). These syntactico-semantic treatments are described by constrained object models, formalized with the Z language. This method, new to the best of our knowledge in natural language analysis, presents the advantage of being independant from resolution technics. We are using a finite model search method, called configuration, for searching a solution out of an interpretation of the constrained object model.