Generation with Semantic Proof Nets - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2000

Generation with Semantic Proof Nets

Résumé

Categorial grammars and Lambek calculus found a nice embedding in Linear Logic, and a lot of work have presented proof nets uses for linguistic purposes, with a special look at proof nets for Lambek calculus. But they have mainly explored the syntactic capabilities of proof nets, describing parsing processes. We present here our vision of the generation process based on semantic proof nets. The main features of this proposal consist in the use of proof nets for lambek calculus but also for semantic recipes of lexical entries, so that no lambda-term unification occur with their limitations (undecidability from second order). Based on a graph calculus, the solutions of this process can be expressed as a matrix computation.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-3878.pdf (221.91 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00072775 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00072775 , version 1

Citer

Sylvain Pogodalla. Generation with Semantic Proof Nets. [Research Report] RR-3878, INRIA. 2000, pp.25. ⟨inria-00072775⟩
113 Consultations
126 Téléchargements

Partager

Gmail Facebook X LinkedIn More