Un sens logique pour les graphes sémantiques

Renaud Marlet (1, 2)

1 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

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.

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.

Mots clés: Semantic graph; logic; quantification; Meaning-Text Theory (MTT)

Mots clés: Théorie Sens-Texte (TST); Graphe sémantique; logique

Domaines: Traitement du texte et du document; Linguistique; Logique [math.LO]

Renaud Marlet. Un sens logique pour les graphes sémantiques. 15e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2008), Jun 2008, Avignon, France. pp.498-507. ⟨hal-00306308⟩