Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract

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 to represent the syntax and the semantics of natural languages with labelled proof nets inside the implicative fragment of intuitionistic linear logic. Resource-sensitivity of linear logic is used to express all kind of dependencies between the syntagms of a sentence under the form of a proof net. Phonetic and semantic labelling of the proof net from its inputs to the unique output are used to produce the well-formed phonetic form and the semantic representation of the sentence from entries of a lexicon.
Type de document :
Communication dans un congrès
4th Workshop on Logic, Language, Information and Computation - WoLLIC'97, 1998, Forataleza, Brazil, France. pp.907-910, 1998, Journal of the IGPL
Liste complète des métadonnées

https://hal.inria.fr/inria-00098572
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:37
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00098572, version 1

Collections

Citation

Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract. 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97, 1998, Forataleza, Brazil, France. pp.907-910, 1998, Journal of the IGPL. 〈inria-00098572〉

Partager

Métriques

Consultations de la notice

136