. Dans-ce-chapitre, nous allons voir comment, concrètement, définir une métagrammairè a portée sémantique, Nous introduirons notamment la syntaxe concrète du formalisme xmg

. La-stratégie-d-'analyse, Celle-ci décrit la façon dont lesétapeslesétapes de calcul sont réalisées En d'autres termes, elle décrit le parcours des sous-arbres lors de l'analyse. Les stratégies les plus courantes peuventêtrepeuventêtre ascendantes (bottom-up), dans ce cas, on part des symboles terminaux de la grammaire et on remonte dans l'arbre dérivé par reconnaissance de sous-arbres, descendantes (top-down), on part de l'axiome de la grammaire et on parcourt l'arbre dérivé en prédisant les sous-arbres menant aux symboles terminaux

. La-stratégie-de-contrôle, Celle-ci décrit la façon dont est traité l'indéterminisme de la grammaire (ce qui inclut le traitement des boucles) En d'autres termes, cette stratégie décrit l'application des r` egles de déduction de la stratégie d'analyse. C'est la stratégie de contrôle qui va utiliser la tabulation pour assurer le partage des résultats intermédiaires

. Enfin, on note que ces deux stratégies sont indépendantes Concernant les stratégies d'analyse pour tag, les implantations les plus connues correspondentàrespondentà des extensions des algorithmes, 1965.

. Earley-(-earleyvijay-shanker and . Joshi, 1985) et utilise une stratégie ascendante combinéè a une technique de tabulation des sous-arbres dérivés reconnus Le second, décrit dans (Schabes et Joshi, 1988), utilise une stratégie hybride, plus précisément, ií etend l'algorithme CKY avec des r` egles de prédiction permettant de réduire l'espace de recherche des sous-arbres dérivés. Tous ces algorithmes d'analyses sont basés sur des invariants d'arbre et présentent des limitations (1) en terme d'efficacité issues de la production de sous-arbres inutiles pour l, 1970.

. Un-autre-type, origine pour traiter demanì ere déterministe une sous-classe des grammaires hors contextes, utilisent des automatesàétatsautomatesàautomatesàétats finis (Tomita, 1987) L'idée est de compiler la grammaire hors-ligne en un automatè a ´ etats finis qui permet de guider l'analyse (il encode la stratégie d'analyse) Cette technique a ´ etéetéétendue aux grammaires d'unification sous la forme des automates logiquesàlogiquesà pile Ces automates utilisent une pile dont lesélémentsleséléments, 1988.

. Dans-ce-chapitre, nous donnons uné evaluation de la plate-forme de construction sémantique proposée. Dans un premier temps, nous introduisons l'objet de cetté evaluation. Nous présentons ensuite la méthodologie d'´ evaluation et finalement commentons les résultats

S. -question and S. , PP-Coordination NP-Wordorder NP-Coordination NP-Complementation NP-Agreement C-Tense-Aspect-Modality C-Passive C-Negation C-Modification C-Coordination C-Complementation C

S. -question and S. , PP-Coordination NP-Wordorder NP-Coordination NP-Complementation NP-Agreement C-Tense-Aspect-Modality C-Passive C-Negation C-Modification C-Coordination C-Complementation C-Agreement AP-Complementation Annexe A Informations complémentaires sur les différents outils A.1 Compilateur de métagrammaire XMG Le compilateur xmg a ´ eté développé en langage Oz-Mozart, et est disponible sous licence CeCILL 198 pour les environnements Linux-Unix, MacOS et MS Windows, 2005.

X. Analyseur and . La-référence-en-terme, Cet environnement inclut un analyseur syntaxique développé en langage C, et disponible sous licence GPLàGPLà l'adresse suivante, analyse en tag correspond au projet XTAG de l'université de Pennsylvanie, 2001.

L. Loria and . Parser, LLP2) L'analyseur LLP2 a ´ eté présenté en section 7.2.2 page 193. Rappelons que cet analyseur a ´ eté développé en Java et est disponible librement via la page

. Système-dyalog-le-système-dyalog, Villemonte de la Clergerie, 1993) est un compilateur tabulaire de programmes logiques. L'une de ses applications est la compilation d'analyseurs syntaxiques pour grammaires tag. Ce système a ´ eté introduit en section 7.3.4 page 205. Pour plus d'informations, voir la page

D. Annexe, DTD du format XML pour les grammaires produites par XMG -a trace containing the names of the meta-grammar classes that were combined, -a syntactic description giving the structure of the tree, -a semantic description expressed in flat semantics (set of literals), -an interface consisting of an attributes-values matrix whose features are shared with features in the tree

. Bibliographie and . Schuler, Multi-component TAG and notions of formal power, Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics (ACL'00), pp.448-455, 2000.

). D. Seddah-et-gaiffe, B. Seddah, and . Gaiffe, Des arbres de dérivation aux forêts de dépendance : un chemin via les forêts partagées. Dans Actes de la conférence sur le Traitement Automatique des Langues Naturelles (TALN) How to Build Argumental graphs Using TAG Shared Forest : a view from control verbs, Seddah et Gaiffe, 2005b) D. Seddah et B. Gaiffe Proceedings of the Fifth Internation Conference on Logical Aspect of Computional Linguistic (LACL) 2005, 2005.

S. Seddah, Djamé Seddah et Beno??tBeno??t Sagot Modélisation et analyse des coordinations elliptiques via l'exploitation dynamique des forets de dérivation, Proc. of TALN'06 (poster), pp.609-618, 2006.

). D. Seddah, Synchronisation des connaissances syntaxiques et sémantiques pour l'anlyse d'´ enoncés en langage natureì a l'aide des grammaires d'arbres adjoints lexicalisées, Thèse de Doctorat, 2004.

. Shieber, Compilation of papers on unification-based grammar formalisms. Rapport Technique CSLI-86-48, 1986.

S. Shieber, M. Stuart, Y. Shieber, and . Schabes, Synchronous treeadjoining grammars, Proceedings of the 13th conference on Computational linguistics, pp.253-258, 1990.
DOI : 10.3115/991146.991191

URL : http://acl.ldc.upenn.edu/W/W90/W90-0102.pdf

M. Stuart and . Shieber, The design of a computer language for linguistic information, pp.362-366, 1984.

). G. Smolka, The Oz Programming Model, Computer Science Today, vol.1000, pp.324-343, 1995.
DOI : 10.1007/BFb0015252

). J. Van-benthem, A Manual of Intensional Logic, 1988.

. Bibliographie, A lexicalized tree adjoining grammar for english, 2001.

R. Dans-cette-thèse, nous proposons une architecture logicielle (SemTAG) permettant de réaliser un calcul sémantique pour Grammaires d'Arbres Adjoints. Plus précisément, cette architecture fournit un environnement permettant de construire une représentation sémantique sous-spécifiée (Predicate Logic Unplugged, 1995.