22 février 2006
Ce document est lié à :
info:eu-repo/semantics/reference/issn/0987-6936
Ce document est lié à :
info:eu-repo/semantics/reference/issn/1950-6821
All rights reserved , info:eu-repo/semantics/openAccess
Aarne Ranta, « Computational semantics in type theory », Mathématiques et sciences humaines, ID : 10.4000/msh.2925
Cet article montre une formalisation complète des grammaires à la Montague dans le cadre de GF (Grammatical Framework), une formalisation qui est en même temps une implémentation déclarative. Cette implémentation comprend toutes les opérations fondamentales du modèles PTQ de Montague : la construction des arbres d’analyse, la linéarisation des arbres en chaînes de caractères, et l’interprétation des arbres comme formules logiques. De plus, un algorithme d’analyse syntaxique est dérivé de toute grammaire représentée dans GF. Comme GF est une théorie constructive des types avec des types dépendants, la technique utilisée pour les grammaires classiques de Montague est généralisée au cas où l'isomorphisme de Curry-Howard est utilisé pour expliquer la référence anaphorique. D'autre part, GF impose une condition de compositionnalité qui est plus forte que celle du PTQ. Ceci empêche la formulation des règles dites "quantifying in" de Montague. Nous arrivons ainsi à des formulations alternatives de ces règles utilisant des combinateurs et des constituants discontinues. Le fragment PTQ est aussi présenté comme exemple de la modification d'une grammaire GF par remplacement de l'anglais par une autre langue de cible, le français. L'article conclut par une discussion sur les rôles complémentaires d'une syntaxe logique et d'une syntaxe linguistique.