Publications
Authors:
  • Sylvain Pogodalla
Citation:
Proc. Coling 2000, Saarbrücken, Germany
Abstract:
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the
generation process. This paper wants to rely on the close link between Lambek calculus and linear logic to
present a method for the generation process with semantic proof nets. We express the process as a proof
search procedure based on a graph calculus and the solutions appear as a matrix computation preserving the
decidability properties, and we characterize a polynomial time case.
Year:
2000
Report number:
2000/006
Attachments: