Un sens logique pour les graphes sémantiques
Renaud Marlet
Résumé : Nous discutons du sens des graphes sémantiques, notamment de ceux utilisés en Théorie Sens-Texte. Nous leur donnons un sens précis, éventuellement sous-spécifié, grâce à une traduction simple vers une formule de Minimal Recursion Semantics qui couvre les cas de prédications multiples sur plusieurs entités, de prédication d’ordre supérieur et de modalités.
Abstract : We discuss the meaning of semantic graphs, in particular of those used in Meaning-Text Theory. We provide a precise, possibly underspecified, meaning to such graphs through a simple translation into a Minimal Recursion Semantics formula. This translation covers cases of multiple predications over several entities, higher order predication and modalities.
Mots clés : Graphe sémantique, logique, quantification, Théorie Sens-Texte (TST)
Keywords : Semantic graph, logic, quantification, Meaning-Text Theory (MTT)