Séminaire Linguistique Informatique




7 Décembre 2009

Paul BRUNET (ENS Cachan-Bretagne - LaBRI).

TITRE:  Pertinence de la logique linéaire pour la composition de représentations sémantiques en lambda-calcul typé.

Lexical Functional Grammar est un formalisme pour la description de la syntaxe et de certaines structures sémantiques (structure prédicative de la phrase). Depuis une quinzaine d'années, on utilise la logique linéaire pour contrôler l'assemblage (glue logic) des informations sémantiques (exprimées en lambda calcul typé). Quels sont les fragments logiques réellement pertinents pour la description de la sémantique en LFG: quel lambda calcul typé, quel fragment de la logique linéaire correspondent aux phénomènes pris en compte par LFG? Pour quelles étapes a-t-on besoin du contrôle supplémentaire qu'apporte la logique linéaire. On s'intéressera également à l'efficacité de ce formalisme en pratique.