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.