From Semantic Graphs to Logic Formulae

Guy Perrier 1 Mathieu Morey 1 Maxime Amblard 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We present a general two-step algorithm which transforms a graph expressing the semantic dependencies between the words of an utterance into logic formulae representing the different semantic interpretations of the utterance. The algorithm focuses on the scopal elements of the utterance, i.e. quantifiers and scopal predicates. First, the scope of every scopal element is computed as a subgraph of the whole graph, given an order on these elements. Second, we use these scopes with their order to build a logic formula incrementally from the most internal to the most external scopal elements.
Type de document :
Rapport
[Research Report] 2009, pp.9
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00415793
Contributeur : Guy Perrier <>
Soumis le : vendredi 11 septembre 2009 - 08:28:48
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : mardi 16 octobre 2012 - 10:50:09

Fichier

PerrierMoreyAmblardEACL09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00415793, version 1

Collections

Citation

Guy Perrier, Mathieu Morey, Maxime Amblard. From Semantic Graphs to Logic Formulae. [Research Report] 2009, pp.9. 〈inria-00415793〉

Partager

Métriques

Consultations de la notice

248

Téléchargements de fichiers

99