Le formalisme utilisé pour Lexical Functional Grammar Lionel Clément Signes - Labri Mosaïque 1er décembre 2006.

Slides:



Advertisements
Présentations similaires
MOT Éditeur de modèles de connaissances par objets typés
Advertisements

Déductions logiques et calcul de représentations sémantiques Alain Lecomte UMR SFL Séminaire « Logique, Sémantique, Dialogue » - partie I.
PLAN DE TRAVAIL CE2 n° 3 Du lundi 14 mars au vendredi 1er avril
TRAVAIL DE GROUPE SUR LA SYMETRIE CENTRALE:
Ressources électroniques pour l’analyse syntaxique
Sémantique des déclarations pour le langage Z minimal
Algèbre de composants : une approche fonctionnelle à la sémantique de documents Bart Lamiroy LORIA/INPL QGar - École des Mines de Nancy.
Cours sur le traitement automatique des langues La sémantique (II)
M.E.D.A.L. Module dEnseignement à Distance pour lArchitecture Logicielle Alain VAILLY Diapositive n° 1 IUP MIAGE - Université de NANTES IUP-MIAGE 3ème.
Les ressources lexicales équipe ILPL IRIT: contenu et portabilité en syntaxe et sémantique Analyse, même partielle, génération (incrémentale), lexicalisation.
Introduction à la minimisation logique
OLST — Université de Montréal
! ! ! PROCEDURE TYPE POUR ORGANISER L ’ANONYMAT
Approches formelles en syntaxe et sémantique Alain Lecomte UMR 7023 Structures Formelles de la Langue.
Introduction : Compilation et Traduction
Présentation PowerPoint TICE2 Adeline VINCENDEAU
un outil pour la modélisation et
Pour un système formel de description linguistique
Sur Lève barrière Sinusmatic
Un environnement de développement pour le TALN 15/12/2OO1
Programmation logique Logique des prédicats du premier ordre
Statique du point matériel
Introduction à la conception de Bases de Données Relationnelles
Métagrammaire RLT, 7/02/02. Plan n Rappels : compilateur de BG n Essais sur les verbes n Questions.
Le français dans tous les sens
Addition vectorielle de vecteurs
Académie de Versailles - Inspection pédagogique régionale de lettres
Des révisions et des constructions.
MOT Éditeur de modèles de connaissances par objets typés
INSCRIPTION AUX ELEMENTS
Rappels de logique des prédicats du 1er ordre
Chapitre 7 Réseau ART.
Présentation du mémoire
Cours 7 Grammaires algébriques Constituants syntaxiques.
Le Sémiographe Outil générique pour effectuer des opérations texte sens texte ou texte sens actions
Les carrés gréco-latins, ou la problématique qu’Euler ne put résoudre
Chapitre 3 Syntaxe et sémantique.
Chapitre 2 La description du langage
Séance d’introduction
Arithmétique et algèbre Continuités et ruptures : lettres, signe égal, expressions Module 1.
LA DIFFÉRENCE ENTRE L’ÉTUDE D’UNE PHRASE ET D’UN ENONCÉ
TRAITEMENT INSTRUMENTÉ DE CORPUS
Introduction à l’algèbre
La syntaxe du primaire au secondaire : portrait des élèves et pistes d’interventions Pascale Lefrançois, Isabelle Montésinos- Gelet, Dominic Anctil, Darrin.
Paradigmes des Langages de Programmation
Expressions logiques Pr ZEGOUR DJAMEL EDDINE Ecole Supérieure d’Informatique (ESI)
L’approche du code au cycle 2
Sémantique logique 2- sémantique de Montague
Chapitre 11 La méthode SGAV: Objet structuro-globale audio-visuelle
Maxime Lefrançois, Fabien Gandon, Alain Giboin
Une pédagogie de l’activité pour développer des compétences transversales Claire Herviou Alain Taurisson Juin 2003.
Architecture et modularité du modèle L'exemple de GUST et des grammaires de correspondance polarisées Sylvain Kahane Modyco, Université Paris.
Baccalauréat Professionnel LOGISTIQUE
Vers une analyse syntaxique à granularité variable Tristan Van rullen
Aide à la rédaction. Plan L’aide à la rédaction : principes et outils La correction orthographique –Historique –Modélisation linguistique –Evaluation.
Théories, formalismes, modèles Sylvain Kahane Modyco, Université Paris 10 - Nanterre Mosaïque, Paris, 1/12/2006.
1 Détection automatique de micro-structures d’un texte TALN, session “texte“, Dourdan, le 9 juin 2005 Nicolas Hernandez et Brigitte Grau LIMSI/CNRS – LIR.
Introduction Formalisation de GUST basée sur GUP (GUST = Grammaire d’Unification Sens-Texte, Kahane 2001) (GUP = Grammaire d’Unification Polarisée, Kahane.
Du discours aux modèles… Une tentative d’articulation
Participants LIMSI-CNRS Université Paris XI Psychologues
Le Traitement Automatique des Langues (TAL)
Progressivité de l’enseignement grammatical A partir d’un document rédigé par : - Claudine GARCIA-DEBANC - Véronique PAOLICCI - Nicole RAMIREZ - Pierre.
Aborder le sujet … Rappel méthodologique. Annales 0 / sujet n°1F. PILET / D. SCHENKER 2 Avant lecture Inventaire des documents: Sujet Annexes Lecture.
INTRODUCTION AUX BASES DE DONNEES
Syntaxe générative – M1 3 ème TD – 2/2/16. Quelques conséquences de l’antisymétrie K VPJ V N Jeanvoit Cet arbre est-il bien formé?
Les relatives infinitives ou la construction d’un inobservable Sylvain Kahane Modyco, Université Paris 10 Lattice, Université Paris 7 COLDOC, Université.
Grammaire d'Unification Sens-Texte : modularité et polarisation Sylvain Kahane François Lareau Modyco, Université Paris 10 OLST, U. de Montréal Lattice,
De la théorie Sens-Texte à une grammaire d'unification Sylvain Kahane Lattice, Université Paris 7 EHESS, 30 mars 2001.
Les signes grammaticaux dans l’interface sémantique-syntaxe d’une grammaire d’unification Sylvain Kahane Lattice, Paris 7 / Paris 10 TALN 2003, Batz-sur-mer.
LES PROBLÈMES DE LA TRADUCTION. NE PAS CONFONDRE MÉTHODE conforme au contexte et au but de la traduction, choix global pour tout le texte, pas de méthode.
Transcription de la présentation:

Le formalisme utilisé pour Lexical Functional Grammar Lionel Clément Signes - Labri Mosaïque 1er décembre 2006

LFG : Théorie (Bresnan & Kaplan 82) LFG propose une alternative à –Toute l’analyse en constituants (transformations, contrôle) –Modèle opératoire –Thèse de la modularité Promotion du rôle du lexique Lien entre lexique et reste de la syntaxe –Transformations  règles de redondance lexicale –Contrôle  + règles lexicales de contrôle fonctionnelle –Rection  projection de la structure argumentale sur la structure fonctionnelle (valence + sélection) Insertion lexicale  appartenance à une catégorie + contexte fonctionnel (f-commande)

LFG : Théorie (2) Rôle de la grammaire les règles décrivent directement toutes les structures superficielles –Ordre libre des mots –« traces » –discontinuités Articulation syntaxe et lexique : –projection des entrées lexicales –Contraintes sur les fonctions depuis règles syntaxiques Une phrase grammaticale = une f-structure (représentée sous forme de DAG, de fonction ou de structure de traits, etc.), une c-structure (arbre). La f-structure comporte toutes les fonctions grammaticales régies par les prédicats, et elles seules (cohérence et complétude de la valence).

LFG : formalisme Formalisme : grammaire attribuée X f 0  Y1 f 1 Y2 f 2... Yk f k Où f1, f2,... fk sont des fonctions (au sens math.) Analyse d’une phrase p : il existe une dérivation S f 0  * X f i  * p telle que 1.Toutes les f k sont des fonctions 2.f 0 est cohérente 3.f 0 est complète

LFG formalisme (2) Equations grammaire attribuée –f(a) = v –fi: fonction –a: symbole –v: symbole ou fonction –f i =f k –f(x* a) = v f(a) = v F(x a) ~ f(x)(a) –fi  f(a) Exemples : f i (Suj) = f j, f i (nombre)=sing, fi(Xcomp)(Subj)=fk(Obj) « (f i Xcomp Subj) = (f k Obj) » Autres contraintes f(a) = c v : la paire (a v) appartient à une solution minimale S du système d’équations f(a) : une paire (a x) appartient à S ~f(a) : aucune paire (a x) n’appartient à S

LFG: analyse/génération (automatique) –La commission refuse cette situation P f 1 -> SN f 2 SV f 3f1(Sujet)=f2, f3=f1, SN f 4 -> det f 5 n f 6f4=f5=f6 SV f 7 -> v f 8 SN f 9f7(Objet)=f9, f7=f8 Dérivation: P g 1  det g 2 n g 3 v g 4 det g 5 n g6, avec g1(Sujet)=g2=g3, g1=g4, g1(Objet)=g5=g6 Lexique: g2:nbre  sing, genre  fem, def  + g3:pred  ’COMMISSION’, nbre  sing, genre  fem g4:pred  ’REFUSER ’, Sujet  (nbre  sing, pers  3), flexion  indP g5:nbre  sing, genre  fem, dem  + g6:pred  ’SITUATION’, nbre  sing, genre  fem Une solution : g1 est une fonction cohérente et complète g1: pred  ’REFUSER ’, Sujet  (nbre  sing, pers  3, genre  fem, def  +, pred  ’COMMISSION’), flexion  indP, Objet(pred  ’SITUATION’, nbre  sing, genre  fem, dem  +)

LFG: analyse/génération (2) Refuser(Agent, Patient)  ‘refuser ’

LFG Difficultés Modèle 1.Lien entre structure argumentale et structure de dépendance syntaxique Exemple: « mapping » pour figée: « Casser du sucre sur le dos de qqun » Pred ‘casser-du-sucre-sur-le-dos-de (Agent, Patient)  Pred ‘casser objet’ 2.Lien pas clair entre sémantique et structure argumentale ou structure fonctionnelle Rôles thématiques, référence (non actualisation d’un élément figé, auxiliaires), dépendance sémantique sans lien syntaxique (contrôle) 3.Pas de généralisation sur les phénomènes de linéarisation (règles CFG)

LFG Difficultés (2) Formalisme –Grammaire sensible au contexte –Contraintes: système d’équations sans aucune restriction