17 juin 2013
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/arxiv/1302.1422
info:eu-repo/semantics/OpenAccess
Christian Retoré, « Sémantique des déterminants dans un cadre richement typé », HAL-SHS : linguistique, ID : 10670/1.fxu2uc
La variation du sens des mots en contexte nous a conduit à enrichir le système de types utilisés dans notre analyse syntaxico-sémantique du français basé sur les grammaires catégorielles et la sémantique de Montague (ou la lambda-DRT). L'avantage majeur d'une telle sémantique profonde est de repré- senter le sens par des formules logiques aisément exploitables, par exemple par un moteur d'inférence. Déterminants et quantificateurs jouent un rôle fondamental dans la construction de ces formules. Mais dans notre système de types complexes, leurs termes sémantiques usuels ne fonctionnent pas. Nous proposons une solution inspirée des opérateurs epsilon et tau de Hilbert, sorte de fonctions de choix et d'éléments génériques. Cela unifie le traitement des différents types de déterminants et de quantificateurs ainsi que le liage dynamique des pronoms. Surtout, cette modélisation totalement calculable s'intègre parfaitement dans l'analyseur à large échelle du français Grail, tant en théorie qu'en pratique.