Your SlideShare is downloading. ×
Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×
Saving this for later? Get the SlideShare app to save on your phone or tablet. Read anywhere, anytime – even offline.
Text the download link to your phone
Standard text messaging rates apply

Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités

395
views

Published on

Présenté lors de la conférence RECITAL'13, …

Présenté lors de la conférence RECITAL'13,
http://maxime-lefrancois.info/Publications

Dans cet article nous nous intéressons au choix d'un formalisme de représentation des connaissances qui nous permette de représenter, manipuler, interroger et raisonner sur des connaissances linguistiques du Dictionnaire Explicatif et Combinatoire (DEC) de la Théorie Sens-Texte. Nous montrons que ni les formalismes du web sémantique ni le formalisme des Graphes conceptuels n'est adapté pour cela, et justifions l'introduction d'un nouveau formalisme dit des Graphes d'Unités. Nous introduisons la hiérarchie des Types d'Unités au cœur du formalisme, et présentons les Graphes d'Unités ainsi que la manière dont on peut les utiliser pour représenter certains aspects du DEC.


ECD Knowledge Representation: Fundamental Concepts of the Unit Graphs Framework
In this paper we are interested in the choice of a knowledge representation formalism that enables the representation, manipulation, query, and reasoning over linguistic knowledge of the Explanatory and Combinatorial Dictionary (ECD) of the Meaning-Text Theory. We show that neither the semantic web formalisms nor the Conceptual Graphs Formalism suit our needs, and justify the introduction of a new formalism denoted Unit Graphs. We introduce the core of this formalism which is the Unit Types hierarchy, and present Unit Graphs and how one may use them to represent aspects of the ECD.

Published in: Education

0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
395
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
6
Comments
0
Likes
1
Embeds 0
No embeds

Report content
Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
No notes for slide

Transcript

  • 1. Représentationdes connaissances du DEC:Concepts fondamentauxdu formalisme des Graphes d’UnitésMaxime Lefrançoismaxime.lefrancois@inria.frTALN-RECITAL’13, 20 juin 2013, Sables d’OlonneINRIA Wimmics – Fabien GandonLIG 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-Texte2Maxime Lefrançois, Représentation des connaissances du DECMel’čuk et al
  • 3. 3Maxime Lefrançois, Représentation des connaissances du DECChoisir le formalismePeuplerApplicationst
  • 4. 4Maxime Lefrançois, Représentation des connaissances du DECtChoisir...
  • 5. 1. Choisir le formalisme5Maxime Lefrançois, Représentation des connaissances du DECtChoisir...
  • 6. 1. Choix d’un formalisme6• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 7. 7Théorie Sens-Texte1893 54 5919326588 9604L. TesnièreI.A. Mel’cuk- Différents niveaux de représentation- Des règles de transformation- Importance du Lexique:Le Dictionnaire Explicatif et CombinatoireMaxime Lefrançois, Représentation des connaissances du DEC91
  • 8. 8Théorie Sens-Texte1893 54 5919326588 9604L. TesnièreI.A. Mel’cukMaxime Lefrançois, Représentation des connaissances du DEC9165 – Début88 – Dependency Grammar91 – Introduction à la Lexicologie Explicative et Combinatoire96 – Lexical Functions04 – Actants in Semantics and Syntax
  • 9. 9Théorie Sens-Texte1893 54 5919326588 9604L. TesnièreI.A. Mel’cukMaxime Lefrançois, Représentation des connaissances du DEC9165 – Début88 – Dependency Grammar91 – Introduction à la Lexicologie Explicative et Combinatoire96 – Lexical Functions04 – Actants in Semantics and Syntax
  • 10. PEIGNE2a :(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)10<CC label="outil">outil de tissage</CC><PC role="utilisation">que X utilise pour peigner#2 Y</PC>~ de personne X pour objet YMaxime Lefrançois, Représentation des connaissances du DECBesoin 1: Définitions Lexicographiquesdans le RLF(Barque et Polguère, 2008)(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)
  • 11. PEIGNE2a :(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)11<CC label="outil">outil de tissage</CC><PC role="utilisation">que X utilise pour peigner#2 Y</PC>~ de personne X pour objet YMaxime Lefrançois, Représentation des connaissances du DECBesoin 1: Définitions Lexicographiquesdans le RLF(Barque et Polguère, 2008)(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)PEIGNER2 :personne X ~ fibres YOUTIL~ de personne X pour activité Y
  • 12. PEIGNE2a :(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)12<CC label="outil">outil de tissage</CC><PC role="utilisation">que X utilise pour peigner#2 Y</PC>~ de personne X pour objet YMaxime Lefrançois, Représentation des connaissances du DECBesoin 1: Définitions Lexicographiquesdans le RLF(Barque et Polguère, 2008)(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)PEIGNER2 :personne X ~ fibres YOUTIL~ de personne X pour activité Y
  • 13. PEIGNE2a :(Outil de tissage qu’une personne X utilise pour peigner#2 un objet Y)13<CC label="outil">outil de tissage</CC><PC role="utilisation">que X utilise pour peigner#2 Y</PC>~ de personne X pour objet YMaxime Lefrançois, Représentation des connaissances du DECBesoin 1: Définitions Lexicographiquesdans le RLF(Barque et Polguère, 2008)(Polguère, 2009; Lux-Pogodalla et Polguère, 2011)PEIGNER2 :personne X ~ fibres YOUTIL~ de personne X pour activité YDegré de formalisation non atteint aujourd’hui
  • 14. 14Théorie Sens-Texte1893 54 5919326588 9604L. TesnièreI.A. Mel’cukMaxime Lefrançois, Représentation des connaissances du DEC9165 – Début88 – Dependency Grammar91 – Introduction à la Lexicologie Explicative et Combinatoire96 – Lexical Functions04 – Actants in Semantics and Syntax
  • 15. 15Positions actancielles sémantiques (PosASem)= Les participants de la situation linguistique dénotée par Lqui ont une position privilégiées dans les phrases construites avec LPrédicats linguistiquesMaxime Lefrançois, Représentation des connaissances du DECBesoin 2: Théorie des actants sémantiques(Mel’cuk, 2004)
  • 16. 16Positions actancielles sémantiques (PosASem)= Les participants de la situation linguistique dénotée par Lqui ont une position privilégiées dans les phrases construites avec LPrédicats linguistiquesMaxime Lefrançois, Représentation des connaissances du DECBesoin 2: Théorie des actants sémantiques(Mel’cuk, 2004)
  • 17. 17Prédicats linguistiquesMaxime Lefrançois, Représentation des connaissances du DECBesoin 2: Théorie des actants sémantiques(Mel’cuk, 2004)(to eat)(Paul ; omelette ; plate)optionnelprédicatlogique≠
  • 18. 18Prédicats linguistiquesMaxime Lefrançois, Représentation des connaissances du DECBesoin 2: Théorie des actants sémantiques(Mel’cuk, 2004)(outil)(Paul ; Mesurer)(outil)(Paul ; Menuisier)(to eat)(Paul ; omelette ; plate)« scindé »optionnelprédicatlogique≠
  • 19. 19Prédicats linguistiquesMaxime Lefrançois, Représentation des connaissances du DECBesoin 2: Théorie des actants sémantiques(Mel’cuk, 2004)un actant peut être un prédicat(outil)(Paul ; Mesurer)(outil)(Paul ; Menuisier)(to eat)(Paul ; omelette ; plate)« scindé »optionnelprédicatlogique≠
  • 20. 1. Choix d’un formalisme20• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 21. 21Web Sémantique1893 54 5919326588 9604L. TesnièreI.A. Mel’cukMaxime Lefrançois, Représentation des connaissances du DEC91RDF: des graphes étiquetés et orientés.standard pour la représentation et l’échangede connaissances structuréesOWL: Logiques de descriptionSPARQL: Interroger, ...
  • 22. 22Web Sémantique1893 54 5919326588 9604L. TesnièreI.A. Mel’cukMaxime Lefrançois, Représentation des connaissances du DEC91• RDF: trop peu de sémantiqueOK comme syntaxe d’échangeProblèmes en mot mot.
  • 23. 23Web Sémantique1893 54 5919326588 9604L. TesnièreI.A. Mel’cukMaxime Lefrançois, Représentation des connaissances du DEC91• OLW: que des relations binairesréifier ? -> pas de sémantiqueProblèmes en mot mot.
  • 24. 24Web SémantiqueMaxime Lefrançois, Représentation des connaissances du DECProjet pour représenter les définitions lexicographiquesULiS(Lefrançois & Gandon, MTT’2011, TIA’2011, MSW’2011)
  • 25. 25Web SémantiqueMaxime Lefrançois, Représentation des connaissances du DECULiS1893 54 5919326588 9604L. TesnièreI.A. Mel’cuk 91besoin de OWL full + règlesProblèmes en mot mot.
  • 26. 1. Choix d’un formalisme26• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 27. 27Graphes ConceptuelsMaxime Lefrançois, Représentation des connaissances du DEC1893 54 5919326588 9604L. TesnièreI.A. Mel’cuk 91194084J.F. Sowa• Graphes étiquetés orientés• Sowa s’est inspiré de Tesnière• Règles, raisonnement, (Sowa, Leclère, ...)• Définitions de concepts et de relations, (Baget, Mugnier, Chein, ...)
  • 28. 28Graphes ConceptuelsMaxime Lefrançois, Représentation des connaissances du DEC1893 54 5919326588 9604L. TesnièreI.A. Mel’cuk 91194084J.F. Sowa• Alternance concepts-relationsProblèmes en mot mot.
  • 29. 29Graphes ConceptuelsMaxime Lefrançois, Représentation des connaissances du DEC1893 54 5919326588 9604L. TesnièreI.A. Mel’cuk 91194084J.F. Sowa• Alternance concepts-relations• réifier ? -> pas de sémantiqueProblèmes en mot mot.
  • 30. 30Graphes ConceptuelsMaxime Lefrançois, Représentation des connaissances du DEC1893 54 5919326588 9604L. TesnièreI.A. Mel’cuk 91194084J.F. Sowa• Alternance concepts-relations• réifier ? -> pas de sémantique• hiérarchies:les relations d’arité différentes sont incomparables !Problèmes en mot mot.
  • 31. 1. Choix d’un formalisme31• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 32. 32Maxime Lefrançois, Représentation des connaissances du DECtChoisir...Le formalisme des Graphes d’Unités• un formalisme à base de graphes,• pour représenter des unités linguistiques
  • 33. 33Maxime Lefrançois, Représentation des connaissances du DECtChoisir...S’inspirer des GCetProposer une syntaxe RDFpour l’échange des connaissancesLe formalisme des Graphes d’Unités
  • 34. 34Maxime Lefrançois, Représentation des connaissances du DECtChoisir...S’inspirer des GCetProposer une syntaxe RDFpour l’échange des connaissancesLe formalisme des Graphes d’Unités
  • 35. 35Unités – Représentations(c.f., Mel’čuk, 2004)Types d’Unités – LexiqueMaxime Lefrançois, Représentation des connaissances du DEC
  • 36. 1. Choix d’un formalisme36• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 37. 37Types d’UnitésMaxime Lefrançois, Représentation des connaissances du DEC▫ à la fois un concept et une relation▫ avec une structure actancielle PosA optionnelles, obligatoires Signatures
  • 38. 38Maxime Lefrançois, Représentation des connaissances du DECcritères linguistiques ?obligatoires ou optionnels ?« scindés » ?hiérarchisation des TU=hiérarchisation des sens?Hiérarchie des Types d’unités
  • 39. 39Maxime Lefrançois, Représentation des connaissances du DECHiérarchie des Types d’unitéscritères linguistiques ?obligatoires ou optionnels ?« scindés » ?Les participants de situation linguistique dénotée par LSont hérités/spécialisés lorsqu’on spécialise le sens de Lhiérarchisation des TU=hiérarchisation des sens?
  • 40. • Structure actancielle des Types d’Unité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 PosA40graze < to eatpeigne < outilMaxime Lefrançois, Représentation des connaissances du DECHiérarchie des Types d’unités
  • 41. 41≃radixobligatprohibetabsurdeMaxime Lefrançois, Représentation des connaissances du DECHiérarchie des Types d’unités
  • 42. 1. Choix d’un formalisme42• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 43. • ATTR – APPEND – COORD• Tout ce qui n’est pas fonctionnel43Hiérarchie des Symboles de circonstants
  • 44. 1. Choix d’un formalisme44• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 45. Graphes d’Unités• Support• Graphe d’unité▫ Nœuds unités▫ Étiquettes▫ Triplets actanciels▫ Triplets circonstanciels▫ Equivalences déclarées de nœuds unités45Maxime Lefrançois, Représentation des connaissances du DEC
  • 46. 46Maxime Lefrançois, Représentation des connaissances du DECGraphes d’Unités• Support• Graphe d’unité
  • 47. 47Maxime Lefrançois, Représentation des connaissances du DECGraphes d’Unités• Support• Graphe d’unité
  • 48. Conclusions48• Représentation des connaissances linguistique• 1. Choix du formalisme• Identifier les limitations des formalismes existants• Lever ces limitations avec les Graphes d’Unités▫ Hiérarchie des Types d’Unités et Graphes d’Unités▫ Besoin 2: Théorie des actants sémantiques▫ Besoin 1: Définitions Lexicographiques dans le RLF
  • 49. Conclusions49?• Représentation des connaissances linguistique• 1. Choix du formalisme• Identifier les limitations des formalismes existants• Lever ces limitations avec les Graphes d’Unités▫ Hiérarchie des Types d’Unités et Graphes d’Unité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 d’Unités▫ Hiérarchie des Types d’Unités et Graphes d’Unités▫ Besoin 2: Théorie des actants sémantiques▫ Besoin 1: Définitions Lexicographiques dans le RLF50Perspectives... annoncées dans l’article?
  • 51. 1. Choix d’un formalisme51• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DEC
  • 52. CA1. Implications pour la TST• DistinctionSémantique de Surface et Sémantique Profonde• + définition des structures actanciellesdes TUSemS et TUSemP▫ symboles d’Actants SemP: rôles sémantiques lexicalisés52Maxime Lefrançois, Représentation des connaissances du DEChiérarchisation des TU=hiérarchisation des sens?(Lefrançois & Gandon, MTT’2013)
  • 53. CA1. Implications pour la TST53(Lefrançois & Gandon, MTT’2013)Maxime Lefrançois, Représentation des connaissances du DEChiérarchisation des TU=hiérarchisation des sens?
  • 54. CA2. Application au projet RELIEF• Scénario: Edition de la définitionlexicographique de la lexie PEIGNE2a54Maxime Lefrançois, Représentation des connaissances du DEC(Lefrançois, Gugert, Giboin, Gandon, MTT’2013)
  • 55. CA1. Application au projet RELIEF• Scénario: Edition de la définitionlexicographique de la lexie PEIGNE2a• Maquettage d’un éditeur pour représenter lesdéfinitions formelles par des GUs55Maxime Lefrançois, Représentation des connaissances du DEC(Lefrançois, Gugert, Giboin, Gandon, MTT’2013)
  • 56. • Avec des règles d’inférence + homomorphismes56Maxime Lefrançois, Représentation des connaissances du DECCA3. Sémantique (logique) des UGs(Lefrançois & Gandon, Depling’2013)
  • 57. CA3. Sémantique (logique) des UGs• Avec des règles d’inférence + homomorphismes• Avec sémantique des modèleset algèbre relationnelle• Equivalence entre les sémantiques ?complexité des raisonnements classiques ?57Maxime Lefrançois, Représentation des connaissances du DEC(Lefrançois & Gandon, Depling’2013)
  • 58. • Correspondance entre niveaux▫ Exemple: niveau SemP - SemS58(Lefrançois & Gandon, Depling’2013)Maxime Lefrançois, Représentation des connaissances du DECCA4. Règles
  • 59. 59Maxime Lefrançois, Représentation des connaissances du DEC• Correspondance entre niveaux• Transformation ?• Grammaticalité ?(Lefrançois & Gandon, Depling’2013)CA4. Règles
  • 60. Représentationdes connaissances du DEC:Concepts fondamentauxdu formalisme des Graphes d’UnitésMerciTALN-RECITAL’13, 20 juin 2013, Sables d’Olonne
  • 61. 61Allô ? non mais allô quoi !tu danses la gavotteet tu viens pas te baigner ?
  • 62. 1. Choix d’un formalisme62• Besoins, problèmes• Web Sémantique ?▫ fausse bonne idée• Graphes Conceptuels ?▫ non• Le formalisme des Graphes d’Unités▫ Hiérarchie des Types d’Unités▫ Hiérarchie des symboles de circonstants▫ Graphes d’Unités▫ Concepts avancésMaxime Lefrançois, Représentation des connaissances du DECmaxime.lefrancois@inria.fr