Hal will be stopped for maintenance from friday on june 10 at 4pm until monday june 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

From Graphs to Logic for representing the semantics of natural languages

Guy Perrier 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : We propose a representation of the sense of utterances in natural language under the form of directed acyclic graphs, called semantic graphs, and we show how semantic graphs are interpreted with first order logical formulas.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00311424
Contributor : Guy Perrier Connect in order to contact the contributor
Submitted on : Saturday, August 16, 2008 - 11:35:14 AM
Last modification on : Friday, February 4, 2022 - 3:34:54 AM
Long-term archiving on: : Friday, October 5, 2012 - 11:45:37 AM

File

semantic_graphs.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00311424, version 1

Collections

Citation

Guy Perrier. From Graphs to Logic for representing the semantics of natural languages. [Intern report] 2008, pp.5. ⟨inria-00311424⟩

Share

Metrics

Record views

60

Files downloads

49