To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 26/04/02 - Paris - FR Vous pouvez maintenant vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E . ___ / _ _ / _ / / / \ / \ / / __| / |___ |_/ |_/ / |__ |_/ |_ ___ . / / ___ __ /_ _ / _/ /| /| _ __ __ _ _ / / / /_ / __| / / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Salle de conference du Bat 11 Vendredi 26 avril, 10h30 ----------------- Sylvain Pogodalla ----------------- Xerox Research Centre Europe ================================================= Réseaux de preuve et grammaires de types logiques ================================================= L'étude de la relation entre syntaxe et sémantique qu'établissent les grammaires de types logiques a essentiellement privilégié le sens de l'analyse - syntaxe vers sémantique. Nos travaux soulignent le profit que la génération - sémantique vers syntaxe - tire de l'étroitesse de cette relation. Nous montrons comment ils s'appuient sur l'étude logique de ces modèles grammaticaux et mettent en avant l'utilisation de la logique linéaire et de ses réseaux de preuve. L'utilisation de ces réseaux nous permet de montrer que, pour le calcul de Lambek et pour des représentations sémantiques linéaires avec une constante au moins, le problème de génération est décidable et que ces grammaires sont intrinsèquement réversibles.