La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes dUnités Maxime Lefrançois TALN-RECITAL13,

Présentations similaires


Présentation au sujet: "Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes dUnités Maxime Lefrançois TALN-RECITAL13,"— Transcription de la présentation:

1 Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes dUnités Maxime Lefrançois TALN-RECITAL13, 20 juin 2013, Sables dOlonne INRIA Wimmics – Fabien Gandon LIG GETALP – Christian Boitet

2 Représentation des connaissances répond à des besoins récurrents représenter manipuler interroger raisonner partager... ici: appliqué au domaine de la linguistique Théorie Sens-Texte 2 Maxime Lefrançois, Représentation des connaissances du DEC Melčuk et al

3 3 Maxime Lefrançois, Représentation des connaissances du DEC Choisir le formalisme Peupler Applications t

4 4 Maxime Lefrançois, Représentation des connaissances du DEC t Choisir...

5 1. Choisir le formalisme 5 Maxime Lefrançois, Représentation des connaissances du DEC t Choisir...

6 1. Choix dun formalisme 6 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

7 7 Théorie Sens-Texte L. Tesnière I.A. Melcuk - Différents niveaux de représentation - Des règles de transformation - Importance du Lexique: Le Dictionnaire Explicatif et Combinatoire - Différents niveaux de représentation - Des règles de transformation - Importance du Lexique: Le Dictionnaire Explicatif et Combinatoire Maxime Lefrançois, Représentation des connaissances du DEC 91

8 8 Théorie Sens-Texte L. Tesnière I.A. Melcuk Maxime Lefrançois, Représentation des connaissances du DEC – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax

9 9 Théorie Sens-Texte L. Tesnière I.A. Melcuk Maxime Lefrançois, Représentation des connaissances du DEC – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax

10 PEIGNE 2a : ( Outil de tissage quune personne X utilise pour peigner#2 un objet Y ) 10 outil de tissage que X utilise pour peigner#2 Y outil de tissage que X utilise pour peigner#2 Y ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011)

11 PEIGNE 2a : ( Outil de tissage quune personne X utilise pour peigner#2 un objet Y ) 11 outil de tissage que X utilise pour peigner#2 Y outil de tissage que X utilise pour peigner#2 Y ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011) PEIGNER 2 : personne X ~ fibres Y OUTIL ~ de personne X pour activité Y

12 PEIGNE 2a : ( Outil de tissage quune personne X utilise pour peigner#2 un objet Y ) 12 outil de tissage que X utilise pour peigner#2 Y outil de tissage que X utilise pour peigner#2 Y ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011) PEIGNER 2 : personne X ~ fibres Y OUTIL ~ de personne X pour activité Y

13 PEIGNE 2a : ( Outil de tissage quune personne X utilise pour peigner#2 un objet Y ) 13 outil de tissage que X utilise pour peigner#2 Y outil de tissage que X utilise pour peigner#2 Y ~ de personne X pour objet Y Maxime Lefrançois, Représentation des connaissances du DEC Besoin 1: Définitions Lexicographiques dans le RLF (Barque et Polguère, 2008) (Polguère, 2009; Lux-Pogodalla et Polguère, 2011) PEIGNER 2 : personne X ~ fibres Y OUTIL ~ de personne X pour activité Y Degré de formalisation non atteint aujourdhui

14 14 Théorie Sens-Texte L. Tesnière I.A. Melcuk Maxime Lefrançois, Représentation des connaissances du DEC – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax

15 15 Positions actancielles sémantiques (PosASem) = Les participants de la situation linguistique dénotée par L qui ont une position privilégiées dans les phrases construites avec L Positions actancielles sémantiques (PosASem) = Les participants de la situation linguistique dénotée par L qui ont une position privilégiées dans les phrases construites avec L Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Melcuk, 2004)

16 16 Positions actancielles sémantiques (PosASem) = Les participants de la situation linguistique dénotée par L qui ont une position privilégiées dans les phrases construites avec L Positions actancielles sémantiques (PosASem) = Les participants de la situation linguistique dénotée par L qui ont une position privilégiées dans les phrases construites avec L Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Melcuk, 2004) + critères linguistiques

17 17 Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Melcuk, 2004) ( to eat ) (Paul ; omelette ; plate) optionnel prédicat logique

18 18 Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Melcuk, 2004) ( outil ) (Paul ; Mesurer) ( outil ) (Paul ; Menuisier) ( to eat ) (Paul ; omelette ; plate) « scindé »optionnel prédicat logique

19 19 Prédicats linguistiques Maxime Lefrançois, Représentation des connaissances du DEC Besoin 2: Théorie des actants sémantiques (Melcuk, 2004) un actant peut être un prédicat ( outil ) (Paul ; Mesurer) ( outil ) (Paul ; Menuisier) ( to eat ) (Paul ; omelette ; plate) « scindé »optionnel prédicat logique

20 1. Choix dun formalisme 20 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

21 21 Web Sémantique L. Tesnière I.A. Melcuk Maxime Lefrançois, Représentation des connaissances du DEC 91 RDF: des graphes étiquetés et orientés. standard pour la représentation et léchange de connaissances structurées OWL: Logiques de description SPARQL: Interroger,...

22 22 Web Sémantique L. Tesnière I.A. Melcuk Maxime Lefrançois, Représentation des connaissances du DEC 91 RDF: trop peu de sémantique OK comme syntaxe déchange Problèmes en mot mot.

23 23 Web Sémantique L. Tesnière I.A. Melcuk Maxime Lefrançois, Représentation des connaissances du DEC 91 OLW: que des relations binaires réifier ? -> pas de sémantique Problèmes en mot mot.

24 24 Web Sémantique Maxime Lefrançois, Représentation des connaissances du DEC Projet pour représenter les définitions lexicographiques ULiS (Lefrançois & Gandon, MTT2011, TIA2011, MSW2011)

25 25 Web Sémantique Maxime Lefrançois, Représentation des connaissances du DEC ULiS L. Tesnière I.A. Melcuk 91 besoin de OWL full + règles Problèmes en mot mot.

26 1. Choix dun formalisme 26 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

27 27 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC L. Tesnière I.A. Melcuk J.F. Sowa Graphes étiquetés orientés Sowa sest inspiré de Tesnière Règles, raisonnement, (Sowa, Leclère,...) Définitions de concepts et de relations, (Baget, Mugnier, Chein,...)

28 28 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC L. Tesnière I.A. Melcuk J.F. Sowa Alternance concepts-relations Problèmes en mot mot.

29 29 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC L. Tesnière I.A. Melcuk J.F. Sowa Alternance concepts-relations réifier ? -> pas de sémantique Problèmes en mot mot.

30 30 Graphes Conceptuels Maxime Lefrançois, Représentation des connaissances du DEC L. Tesnière I.A. Melcuk J.F. Sowa Alternance concepts-relations réifier ? -> pas de sémantique hiérarchies: les relations darité différentes sont incomparables ! Problèmes en mot mot.

31 1. Choix dun formalisme 31 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

32 32 Maxime Lefrançois, Représentation des connaissances du DEC t Choisir... Le formalisme des Graphes dUnités un formalisme à base de graphes, pour représenter des unités linguistiques

33 33 Maxime Lefrançois, Représentation des connaissances du DEC t Choisir... Sinspirer des GC et Proposer une syntaxe RDF pour léchange des connaissances Le formalisme des Graphes dUnités

34 34 Maxime Lefrançois, Représentation des connaissances du DEC t Choisir... Sinspirer des GC et Proposer une syntaxe RDF pour léchange des connaissances Le formalisme des Graphes dUnités

35 35 Unités – Représentations (c.f., Melčuk, 2004) Types dUnités – Lexique Maxime Lefrançois, Représentation des connaissances du DEC

36 1. Choix dun formalisme 36 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

37 37 Types dUnités Maxime Lefrançois, Représentation des connaissances du DEC à la fois un concept et une relation avec une structure actancielle PosA optionnelles, obligatoires Signatures

38 38 Maxime Lefrançois, Représentation des connaissances du DEC critères linguistiques ? obligatoires ou optionnels ? « scindés » ? hiérarchisation des TU = hiérarchisation des sens ? Hiérarchie des Types dunités

39 39 Maxime Lefrançois, Représentation des connaissances du DEC Hiérarchie des Types dunités critères linguistiques ? obligatoires ou optionnels ? « scindés » ? Les participants de situation linguistique dénotée par L Sont hérités/spécialisés lorsquon spécialise le sens de L hiérarchisation des TU = hiérarchisation des sens ?

40 Structure actancielle des Types dUnités PosA optionnelles, obligatoires, interdites Signatures Héritage et spécialisation Les PosA optionnelles peuvent devenir obligatoires Les PosA optionnelles peuvent devenir interdites Les signatures des PosA peuvent être spécialisées De nouvelles PosA 40 graze < to eat peigne < outil Maxime Lefrançois, Représentation des connaissances du DEC Hiérarchie des Types dunités

41 41 radix obligat prohibet absurde Maxime Lefrançois, Représentation des connaissances du DEC Hiérarchie des Types dunités

42 1. Choix dun formalisme 42 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

43 ATTR – APPEND – COORD Tout ce qui nest pas fonctionnel 43 Hiérarchie des Symboles de circonstants

44 1. Choix dun formalisme 44 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

45 Graphes dUnités Support Graphe dunité Nœuds unités Étiquettes Triplets actanciels Triplets circonstanciels Equivalences déclarées de nœuds unités 45 Maxime Lefrançois, Représentation des connaissances du DEC

46 46 Maxime Lefrançois, Représentation des connaissances du DEC Graphes dUnités Support Graphe dunité

47 47 Maxime Lefrançois, Représentation des connaissances du DEC Graphes dUnités Support Graphe dunité

48 Conclusions 48 Représentation des connaissances linguistique 1. Choix du formalisme Identifier les limitations des formalismes existants Lever ces limitations avec les Graphes dUnités Hiérarchie des Types dUnités et Graphes dUnités Besoin 2: Théorie des actants sémantiques Besoin 1: Définitions Lexicographiques dans le RLF

49 Conclusions 49 ? Représentation des connaissances linguistique 1. Choix du formalisme Identifier les limitations des formalismes existants Lever ces limitations avec les Graphes dUnités Hiérarchie des Types dUnités et Graphes dUnités Besoin 2: Théorie des actants sémantiques Besoin 1: Définitions Lexicographiques dans le RLF

50 Conclusions Représentation des connaissances linguistique 1. Choix du formalisme Identifier les limitations des formalismes existants Lever ces limitations avec les Graphes dUnités Hiérarchie des Types dUnités et Graphes dUnités Besoin 2: Théorie des actants sémantiques Besoin 1: Définitions Lexicographiques dans le RLF 50 Perspectives... annoncées dans larticle ?

51 1. Choix dun formalisme 51 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC

52 CA1. Implications pour la TST Distinction Sémantique de Surface et Sémantique Profonde + définition des structures actancielles des TUSemS et TUSemP symboles dActants SemP: rôles sémantiques lexicalisés 52 Maxime Lefrançois, Représentation des connaissances du DEC hiérarchisation des TU = hiérarchisation des sens ? (Lefrançois & Gandon, MTT2013)

53 CA1. Implications pour la TST 53 (Lefrançois & Gandon, MTT2013) Maxime Lefrançois, Représentation des connaissances du DEC hiérarchisation des TU = hiérarchisation des sens ?

54 CA2. Application au projet RELIEF Scénario: Edition de la définition lexicographique de la lexie PEIGNE 2a 54 Maxime Lefrançois, Représentation des connaissances du DEC (Lefrançois, Gugert, Giboin, Gandon, MTT2013)

55 CA1. Application au projet RELIEF Scénario: Edition de la définition lexicographique de la lexie PEIGNE 2a Maquettage dun éditeur pour représenter les définitions formelles par des GUs 55 Maxime Lefrançois, Représentation des connaissances du DEC (Lefrançois, Gugert, Giboin, Gandon, MTT2013)

56 Avec des règles dinférence + homomorphismes 56 Maxime Lefrançois, Représentation des connaissances du DEC CA3. Sémantique (logique) des UGs (Lefrançois & Gandon, Depling2013)

57 CA3. Sémantique (logique) des UGs Avec des règles dinférence + homomorphismes Avec sémantique des modèles et algèbre relationnelle Equivalence entre les sémantiques ? complexité des raisonnements classiques ? 57 Maxime Lefrançois, Représentation des connaissances du DEC (Lefrançois & Gandon, Depling2013)

58 Correspondance entre niveaux Exemple: niveau SemP - SemS 58 (Lefrançois & Gandon, Depling2013) Maxime Lefrançois, Représentation des connaissances du DEC CA4. Règles

59 59 Maxime Lefrançois, Représentation des connaissances du DEC Correspondance entre niveaux Transformation ? Grammaticalité ? (Lefrançois & Gandon, Depling2013) CA4. Règles

60 Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes dUnités Merci TALN-RECITAL13, 20 juin 2013, Sables dOlonne

61 61 Allô ? non mais allô quoi ! tu danses la gavotte et tu viens pas te baigner ?

62 1. Choix dun formalisme 62 Besoins, problèmes Web Sémantique ? fausse bonne idée Graphes Conceptuels ? non Le formalisme des Graphes dUnités Hiérarchie des Types dUnités Hiérarchie des symboles de circonstants Graphes dUnités Concepts avancés Maxime Lefrançois, Représentation des connaissances du DEC


Télécharger ppt "Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes dUnités Maxime Lefrançois TALN-RECITAL13,"

Présentations similaires


Annonces Google