HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

Cited literature [8 references]  Display  Hide  Download

https://hal.inria.fr/inria-00415793
Contributor : Guy Perrier Connect in order to contact the contributor
Submitted on : Friday, September 11, 2009 - 8:28:48 AM
Last modification on : Friday, February 4, 2022 - 3:29:35 AM
Long-term archiving on: : Tuesday, October 16, 2012 - 10:50:09 AM

File

PerrierMoreyAmblardEACL09.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

112

Files downloads

94