Search in the Catalogues and Directories

Hits 1 – 1 of 1

1	Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract
	Perrier, Guy
	In: 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97 ; https://hal.inria.fr/inria-00098572 ; 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97, 1998, Forataleza, Brazil, France. pp.907-910 (1998)
	Abstract: Colloque avec actes et comité de lecture. ; 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.
	Keyword: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; Categorial Grammars; grammaires catégorielles; Linear Logic; logique linéaire; Proof Nets; réseaux de démonstration
	URL: https://hal.inria.fr/inria-00098572
	BASE
	Hide details