Représentation des connaissances 
sémantiques lexicales 
de la Théorie Sens-Texte: 
Conceptualisation, représentation, et ...
Explosion des ressources numériques textuelles 
Besoin de modèles et algorithmes 
pour des applications de TALN 
(Traiteme...
Traitement des ressources numériques textuelles 
les approches basées sur les statistiques et l’apprentissage 
automatique...
Plan 
0. Pourquoi formaliser les connaissances sémantiques lexicales de 
la Théorie Sens-Texte ? 
1. L’explicitation de la...
Trois approches en sémantique lexicale 
1. Sémantique décompositionnelle 
2. Sémantique componentielle 
3. Sémantique rela...
1. Sémantique décompositionnelle 
2. Sémantique componentielle 
3. Sémantique relationnelle 
BROUTER, verbe trans. 
A.− [L...
1. Sémantique décompositionnelle 
2. Sémantique componentielle 
3. Sémantique relationnelle 
• Unité lexicale = deux lambd...
1. Sémantique décompositionnelle 
2. Sémantique componentielle 
3. Sémantique relationnelle 
ex: WordNet 
• Sens de l’unit...
Pourquoi la Théorie linguistique Sens-Texte ? 
• fin des années 65 à Moscou 
• Dans les trois approches de sémantique lexi...
Cadre d’étude - la théorie Sens-Texte 
- Postule différents niveaux de représentation 
- Des règles de transformation entr...
Richesse descriptive du DEC 
= environ 500 entrées seulement 
principal sujet d’étude 
• zone phonologique 
• zone morphol...
« Le DEC, dans sa conception, est fait pour être informatisé ... » 
(Mel’čuk et al., 1995) 
aspect prédicatif de acheter 
...
• Dans les trois approche à la sémantique lexicale, 
la théorie Sens-Texte est intéressante pour sa richesse descriptive ....
« Le DEC, dans sa conception, est fait pour être informatisé [...] 
Le seul intérêt véritable de formaliser une descriptio...
L’ingénierie des connaissances 
• vérifier la validité du lexique 
• découvrir des connaissances sur la langue 
• + raison...
Une approche d’ingénierie des connaissances 
Question de recherche: 
Comment 
représenter les connaissances 
sémantiques l...
Méthodologie 
1. Extension de l’explicitation de la 
conceptualisation 
Explicitation 
de la conceptualisation 
Conceptual...
0. Pourquoi formaliser les connaissances sémantiques lexicales de 
la Théorie Sens-Texte ? 
1. L’explicitation de la conce...
19 
Extension de l’explicitation de la conceptualisation 
- Précision de la terminologie 
Unité lexicale 
& 
Unité lexical...
20 
Extension de l’explicitation de la conceptualisation 
- Structure actancielle sémantique 
• Type d’unité lexicale 
▫ i...
21 
Détermination de la structure actancielle sémantique 
Positions actantielles sémantiques: obligatoires ou optionnelles...
Exemples de structures actancielles sémantiques 
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques...
23 
Hiérarchie des types d’unités sémantiques: 
- hiérarchie des sens 
- et spécialisation de la structure actancielle ? 
...
Introduction d’un niveau Sémantique Profond 
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lex...
25 
Les types d’unité sémantique profonds 
• introduction d’une notation /to eat 
• définition de la structure actancielle...
0. Pourquoi formaliser les connaissances sémantiques lexicales de 
la Théorie Sens-Texte ? 
1. L’explicitation de la conce...
27 
Les définitions lexicographiques 
- Conceptualisations existantes 
• Composante centrale et composantes périphériques ...
28 
Une "reconceptualisation" nécessaire 
1. Le niveau sémantique profond porte les sens 
24 juin 2014 M. Lefrançois - Rep...
29 
Une "reconceptualisation" nécessaire 
1. Le niveau sémantique profond porte les sens 
2. Une représentation linguistiq...
30 
Re-conceptualisation nécessaire 
1. Le niveau sémantique profond porte les sens 
2. Une représentation linguistique n’...
Prototype d’éditeur de définitions lexicographiques 
Stage M2 Romain Gugert – (Lefrançois, Giboin) 
24 juin 2014 M. Lefran...
Prototype d’éditeur de définitions lexicographiques 
Stage M2 Romain Gugert – (Lefrançois, Giboin) 
24 juin 2014 M. Lefran...
Prototype d’éditeur de définitions lexicographiques 
Stage M2 Romain Gugert – (Lefrançois, Giboin) 
24 juin 2014 M. Lefran...
34 
Prototype d’éditeur de définitions lexicographiques 
Stage M2 Romain Gugert – (Lefrançois, Giboin) 
• Maquettage et pr...
0. Pourquoi formaliser les connaissances sémantiques lexicales de 
la Théorie Sens-Texte ? 
1. L’explicitation de la conce...
Détermination des formalismes candidats 
Mel’čuk, 65 
Grammaires 
de dépendance 
Logiques de description 
Sowa, 84 
Brachm...
Deux aspects à formaliser 
• Les types d’unité 
▫ avec des positions actancielles signées, 
obligatoires, optionnelles, ou...
Inadéquation des logiques de description 
- trop d’axiomes 
- rôle utilitaire abstrait 
- indécidable 
• Les types d’unité...
Inadéquation des Graphes Conceptuels 
• Les types d’unité 
- structure actancielle conceptuellement inexistante 
- grand n...
Le formalisme des Graphes d’Unités 
• un formalisme à base de graphes inspiré des GC 
• construit pour la théorie Sens-Tex...
0. Pourquoi formaliser les connaissances sémantiques lexicales de 
la Théorie Sens-Texte ? 
1. L’explicitation de la conce...
Formalisation de la structure actancielle 
• Pour un symbole d’actant s 
▫ : s est une position actancielle possible 
▫ : ...
Formalisation de la hiérarchie des types 
d’unités 
Prise en compte des types conjonctifs 
hiérarchie des types conjonctif...
Graphes d’Unités 
RSémS 
« John feels no revulsion at the 
sight of a dead animal » 
RSynP 
24 juin 2014 M. Lefrançois - R...
Règles de graphes d’unités 
• une hypothèse 
• une conclusion 
• des noeuds frontière 
24 juin 2014 M. Lefrançois - Représ...
Définitions de types d’unité 
= deux règles contraposées 
24 juin 2014 M. Lefrançois - Représentation des connaissances sé...
0. Pourquoi formaliser les connaissances sémantiques lexicales de 
la Théorie Sens-Texte ? 
1. L’explicitation de la conce...
Sémantique logique 
Théorie des modèles & algèbre relationnelle 
Un modèle qui 
satisfait un graphe d’unités 
G implique H...
Règles d’inférence 
Quelles connaissances peut-on expliciter dans G ? 
... et déduction logique 
... 
24 juin 2014 M. Lefr...
Décidabilité de la déduction logique 
• Condition suffisante: expansion finie 
▫ Des conditions d’acyclicité 
 sur la hié...
La déduction logique par rapport à l’implication logique... 
correction 
et complétude 
(sous réserve de consistance) 
24 ...
0. Pourquoi formaliser les connaissances sémantiques lexicales de 
la Théorie Sens-Texte ? 
1. L’explicitation de la conce...
Publication du modèle et des règles sur le 
web des données 
• profiter des architectures existantes... 
Choix du métamodè...
Deux modèles différents, mais interopérables 
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques le...
A partir d’une représentation des définitions lexicographiques 
formelles: 
Génération automatique a l’aide de règles SPAR...
Publication sur le web des données 
24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de...
Ingénierie 
des connaissances 
Conclusion: contributions 
• valider 
• inférer 
• raisonner 
• manipuler 
• interroger 
• ...
Contributions 
• Choix d’une méthodologie en trois étapes 
1. Extension de l’explicitation de la conceptualisation 
▫ Conc...
Perspectives 
• Approfondir l’opérationnalisation 
▫ Conditions nécessaires et suffisantes de décidabilité 
▫ Etude de la ...
Perspectives 
• Application aux projets de lexicographie explicative et combinatoire 
▫ v2 du prototype d’éditeur de défin...
Perspectives 
• Applications au TALN 
▫ étude des transducteurs des graphes d’unités 
▫ traduction automatique 
24 juin 20...
Perspectives 
• Applications au TALN 
▫ étude des transducteurs des graphes d’unités 
▫ traduction automatique 
▫ interact...
Perspectives 
• Applications au TALN 
▫ étude des transducteurs des graphes d’unités 
▫ traduction automatique 
▫ interact...
Publications 
Lefrançois, Gandon, Giboin. TOTh’2014 
Méthodologie d’ingénierie des connaissances pour la représentation de...
Prochain SlideShare
Chargement dans…5
×

Ph.D. Defense: Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte

1 628 vues

Publié le

slides of Ph.D. defense:
"Meaning-Text Theory Lexical Semantic Knowledge Representation : Conceptualization, Representation, and Operationalization of Lexicographic Definitions"

Maxime Lefrançois (2014) Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte : Conceptualisation, représentation, et opérationnalisation des définitions lexicographiques.

Publié dans : Formation
0 commentaire
0 j’aime
Statistiques
Remarques
  • Soyez le premier à commenter

  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
1 628
Sur SlideShare
0
Issues des intégrations
0
Intégrations
438
Actions
Partages
0
Téléchargements
17
Commentaires
0
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive
  • pour le pdf
  • relations paradigmatiques simples
    axiome is-a -> hiérarchie
    ontologie lexicale
    axiomatisé -> permet le raisonnement
  • préciser qu’on en parlera du DEC
  • pour le pdf
  • Ph.D. Defense: Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte

    1. 1. Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte: Conceptualisation, représentation, et opérationnalisation des définitions lexicographiques par Maxime Lefrançois Thèse de doctorat ès sciences dirigée par Fabien Gandon (DR Inria), et co-dirigée par Christian Boitet (PR Grenoble 1)
    2. 2. Explosion des ressources numériques textuelles Besoin de modèles et algorithmes pour des applications de TALN (Traitement Automatique des Langues Naturelles) • Traduction automatique • Génération automatique de textes • Réponse aux questions en langage naturel • Recherche d’information • Résumé automatique • Inférence du premier ordre • ... 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 2
    3. 3. Traitement des ressources numériques textuelles les approches basées sur les statistiques et l’apprentissage automatique atteignent leurs limites prise de conscience du besoin de connaissances formalisées pour les traitements automatiques 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 3
    4. 4. Plan 0. Pourquoi formaliser les connaissances sémantiques lexicales de la Théorie Sens-Texte ? 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 3. Comment peut-on opérationnaliser ce formalisme ? a. pour le raisonnement logique b. sur le web des données 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 4
    5. 5. Trois approches en sémantique lexicale 1. Sémantique décompositionnelle 2. Sémantique componentielle 3. Sémantique relationnelle 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 5
    6. 6. 1. Sémantique décompositionnelle 2. Sémantique componentielle 3. Sémantique relationnelle BROUTER, verbe trans. A.− [Le suj. désigne un mammifère herbivore] Manger l'herbe, les jeunes pousses, les feuilles des arbres en les arrachant sur la plante, sur l'arbre même • Définition explicite, par décomposition en unités de sens sémantiquement plus simple. • Approche lexicographique classique = forme aristotélicienne = genre proche et différences spécifiques • A l’extrême: recherche de primitives de sens (Wierzbicka, 1996) • Approche extrêmement précise : La Théorie Sens-Texte ex: TLFi 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 6
    7. 7. 1. Sémantique décompositionnelle 2. Sémantique componentielle 3. Sémantique relationnelle • Unité lexicale = deux lambda-expressions: • compositionnalité sémantique • compositionnalité syntaxique • Différentes représentations du lexique • DATR, LFG, Lexique Génératif de Pustejovsky, ... • Sémantique et syntaxe de la phrase = calcul de la composition de ces expressions • Différentes grammaires • HPSG, GUST Théorie Sens Texte ! Pas de représentation des définitions lexicographiques 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 7
    8. 8. 1. Sémantique décompositionnelle 2. Sémantique componentielle 3. Sémantique relationnelle ex: WordNet • Sens de l’unité lexicale = relations entre l’unité lexicale et ses voisines dans un réseau lexical couverture: WordNet, EuroWordNet, ... & axiomatisation: Multi-Net, HowNet, ... • Une approche extrêmement précise en lexicographie: Les fonctions lexicales de la Théorie Sens-Texte • Approche cognitiviste proche de la TST: FrameNet 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 8
    9. 9. Pourquoi la Théorie linguistique Sens-Texte ? • fin des années 65 à Moscou • Dans les trois approches de sémantique lexicale, la théorie Sens-Texte est intéressante pour sa richesse descriptive ... 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 9
    10. 10. Cadre d’étude - la théorie Sens-Texte - Postule différents niveaux de représentation - Des règles de transformation entre les niveaux... - ... générées à partir du lexique Le Dictionnaire Explicatif et Combinatoire (DEC) 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 10
    11. 11. Richesse descriptive du DEC = environ 500 entrées seulement principal sujet d’étude • zone phonologique • zone morphologique • zone sémantique • zone de combinatoire • zone de stylistique, • zone d’exemple, • zone phraséologique, • zone de nota bene 4 volumes papier des linguistes de la Théorie Sens-Texte 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 11
    12. 12. « Le DEC, dans sa conception, est fait pour être informatisé ... » (Mel’čuk et al., 1995) aspect prédicatif de acheter informatisation, mais manque la formalisation ex: éditeur DECID (Sérasset, 1997) 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 12
    13. 13. • Dans les trois approche à la sémantique lexicale, la théorie Sens-Texte est intéressante pour sa richesse descriptive ... • ... qui implique des défis à relever ▫ couverture de la langue ▫ axiomatisation Il faut formaliser les connaissances 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 13
    14. 14. « Le DEC, dans sa conception, est fait pour être informatisé [...] Le seul intérêt véritable de formaliser une description linguistique est de se donner les moyens de “faire tourner” un appareillage logicodéductif sur cette description » (Mel’čuk et al., 1995) • vérifier la validité du lexique • découvrir des connaissances sur la langue • + raisonner sur les textes 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 14
    15. 15. L’ingénierie des connaissances • vérifier la validité du lexique • découvrir des connaissances sur la langue • + raisonner sur les textes Ingénierie des connaissances valider inférer raisonner • manipuler • interroger • échanger 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 15
    16. 16. Une approche d’ingénierie des connaissances Question de recherche: Comment représenter les connaissances sémantiques lexicales de la théorie Sens-Texte ? 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 16
    17. 17. Méthodologie 1. Extension de l’explicitation de la conceptualisation Explicitation de la conceptualisation Conceptualisation du domaine 2. 3. 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 3. Comment peut-on opérationnaliser ce formalisme ? a. pour le raisonnement logique b. sur le web des données 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 17
    18. 18. 0. Pourquoi formaliser les connaissances sémantiques lexicales de la Théorie Sens-Texte ? 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 1.a. Conceptualisation des des prédicats prédicats linguistiques linguistiques 1.b. Conceptualisation des définitions lexicographiques t 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 2.a. Formalismes existants 2.b. Construction du formalisme des Graphes d’Unités 3. Comment peut-on opérationnaliser ce formalisme ? 3.a. Pour le raisonnement logique 3.b. Sur le web des données lexicales liées 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 18
    19. 19. 19 Extension de l’explicitation de la conceptualisation - Précision de la terminologie Unité lexicale & Unité lexicale Langage : 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte Usage : Type d’ (Instance d’) « Rachel est une acrobate extraordinaire »
    20. 20. 20 Extension de l’explicitation de la conceptualisation - Structure actancielle sémantique • Type d’unité lexicale ▫ instancié dans les RSyn, ▫ possède une structure actancielle sémantique « achat par X de Y à Z pour W» • Type d’unité sémantique ▫ instancié dans les RSém, ▫ possède une structure actancielle « Paul a acheté sa maison pour une bouchée de pain » 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
    21. 21. 21 Détermination de la structure actancielle sémantique Positions actantielles sémantiques: obligatoires ou optionnelles = Les participants de la situation linguistique dénotée par L qui ont une position privilégiées auprès de L dans les phrases + critères linguistiques ! Pour nous: processus « boîte noire » 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
    22. 22. Exemples de structures actancielles sémantiques 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 22
    23. 23. 23 Hiérarchie des types d’unités sémantiques: - hiérarchie des sens - et spécialisation de la structure actancielle ? Motivations Contre-exemple 1. Le niveau sémantique est censé représenter les sens 2. Les participants de la situation linguistique sont censés être hérités. 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte DEC IV
    24. 24. Introduction d’un niveau Sémantique Profond 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 24
    25. 25. 25 Les types d’unité sémantique profonds • introduction d’une notation /to eat • définition de la structure actancielle sémantique profonde ▫ choix des Symboles d’Actants: des rôles sémantiques lexicalisés ▫ introduction des positions actancielles interdites - correspondance simple avec le niveau SémS - hiérarchie des sens - héritage et spécialisation des structures actancielles SémP SémS 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
    26. 26. 0. Pourquoi formaliser les connaissances sémantiques lexicales de la Théorie Sens-Texte ? 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 1.a. Conceptualisation des prédicats linguistiques 1.b. Conceptualisation des définitions lexicographiques des définitions lexicographiques t 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 2.a. Formalismes existants 2.b. Construction du formalisme des Graphes d’Unités 3. Comment peut-on opérationnaliser ce formalisme ? 3.a. Pour le raisonnement logique 3.b. Sur le web des données lexicales liées 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 26
    27. 27. 27 Les définitions lexicographiques - Conceptualisations existantes • Composante centrale et composantes périphériques (projet Definiens) • Composantes périphériques choisies pour une catégorie d’unités lexicales précise (ex: sentiments) • Composantes périphériques suggérées par une étiquette sémantique choisie dans une hiérarchie • Dans la littérature: Représentation Sémantique 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte (projet RELIEF, ATILF Nancy)
    28. 28. 28 Une "reconceptualisation" nécessaire 1. Le niveau sémantique profond porte les sens 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
    29. 29. 29 Une "reconceptualisation" nécessaire 1. Le niveau sémantique profond porte les sens 2. Une représentation linguistique n’est qu’une instanciation de la définition 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
    30. 30. 30 Re-conceptualisation nécessaire 1. Le niveau sémantique profond porte les sens 2. Une représentation linguistique n’est qu’une instanciation de la définition 3. Un participant peut être obligatoire, optionnel ou interdit. 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
    31. 31. Prototype d’éditeur de définitions lexicographiques Stage M2 Romain Gugert – (Lefrançois, Giboin) 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 31
    32. 32. Prototype d’éditeur de définitions lexicographiques Stage M2 Romain Gugert – (Lefrançois, Giboin) 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 32
    33. 33. Prototype d’éditeur de définitions lexicographiques Stage M2 Romain Gugert – (Lefrançois, Giboin) 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 33
    34. 34. 34 Prototype d’éditeur de définitions lexicographiques Stage M2 Romain Gugert – (Lefrançois, Giboin) • Maquettage et prototypage d’une application web ▫ javascript, mxGraphs ▫ interactions innovantes de manipulation directe de graphes • Evaluation coopérative sur 6 lexicographes du projet RELIEF ▫ Offre une première base de discussion essentielle ▫ Confirme les attentes des lexicographes pour un tel outil ▫ Permet d’identifier des directions d’amélioration possible  amélioration du workflow  amélioration de la manipulation de graphes  "cacher" le niveau sémantique profond si possible 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte
    35. 35. 0. Pourquoi formaliser les connaissances sémantiques lexicales de la Théorie Sens-Texte ? 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 1.a. Conceptualisation des prédicats linguistiques 1.b. Conceptualisation des définitions lexicographiques t 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 2.a. Formalismes existants 2.b. Construction du formalisme des Graphes d’Unités 3. Comment peut-on opérationnaliser ce formalisme ? 3.a. Pour le raisonnement logique 3.b. Sur le web des données lexicales liées 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 35
    36. 36. Détermination des formalismes candidats Mel’čuk, 65 Grammaires de dépendance Logiques de description Sowa, 84 Brachman, 85 Tesnière, 56 • Evaluation selon les critères de Gruber, 1995 Théorie Sens-Texte Graphes Conceptuels ▫ la formalisation doit être claire ▫ la formalisation doit être cohérente avec la conceptualisation ▫ la formalisation doit être extensible ▫ la formalisation ne doit pas déformer la conceptualisation ▫ la formalisation doit permettre la déduction logique souhaitée 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 36
    37. 37. Deux aspects à formaliser • Les types d’unité ▫ avec des positions actancielles signées, obligatoires, optionnelles, ou interdites... ▫ ... héritées et spécialisées dans la hiérarchie • Les définitions lexicographiques ▫ et les règles de contraction et d’expansion 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 37
    38. 38. Inadéquation des logiques de description - trop d’axiomes - rôle utilitaire abstrait - indécidable • Les types d’unité • Les définitions lexicographiques Rôles fonctionnels Contraction Expansion 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 38
    39. 39. Inadéquation des Graphes Conceptuels • Les types d’unité - structure actancielle conceptuellement inexistante - grand nombre de règles à maintenir - problème d’héritage à arité variable • Les définitions lexicographiques 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 39
    40. 40. Le formalisme des Graphes d’Unités • un formalisme à base de graphes inspiré des GC • construit pour la théorie Sens-Texte mais réutilisable pour modéliser d’autres connaissances 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 40
    41. 41. 0. Pourquoi formaliser les connaissances sémantiques lexicales de la Théorie Sens-Texte ? 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 1.a. Conceptualisation des prédicats linguistiques 1.b. Conceptualisation des définitions lexicographiques t 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 2.a. Formalismes existants 2.b. Construction du formalisme des Graphes d’Unités 3. Comment peut-on opérationnaliser ce formalisme ? 3.a. Pour le raisonnement logique 3.b. Sur le web des données lexicales liées 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 41
    42. 42. Formalisation de la structure actancielle • Pour un symbole d’actant s ▫ : s est une position actancielle possible ▫ : s est une position actancielle obligatoire ▫ : s est une position actancielle interdite ▫ : définit le type des unités qui prennent la position actancielle s d’une unité de type t hiérarchie des types primitifs = superposition intriquée de telles structures 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 42
    43. 43. Formalisation de la hiérarchie des types d’unités Prise en compte des types conjonctifs hiérarchie des types conjonctifs = superposition intriquée de hiérarchies de types primitifs 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 43
    44. 44. Graphes d’Unités RSémS « John feels no revulsion at the sight of a dead animal » RSynP 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 44
    45. 45. Règles de graphes d’unités • une hypothèse • une conclusion • des noeuds frontière 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 45
    46. 46. Définitions de types d’unité = deux règles contraposées 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 46
    47. 47. 0. Pourquoi formaliser les connaissances sémantiques lexicales de la Théorie Sens-Texte ? 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 1.a. Conceptualisation des prédicats linguistiques 1.b. Conceptualisation des définitions lexicographiques t 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 2.a. Formalismes existants 2.b. Construction du formalisme des Graphes d’Unités 3. Comment peut-on opérationnaliser ce formalisme ? 3.a. Pour le raisonnement logique 3.b. Sur le web des données lexicales liées 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 47
    48. 48. Sémantique logique Théorie des modèles & algèbre relationnelle Un modèle qui satisfait un graphe d’unités G implique H = pour tout modèle M qui satisfait G, il existe un modèle qui satisfait H Un modèle qui satisfait la hiérarchie des types d’unité 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 48
    49. 49. Règles d’inférence Quelles connaissances peut-on expliciter dans G ? ... et déduction logique ... 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 49 G OUI ! H est-il déductible de G ?
    50. 50. Décidabilité de la déduction logique • Condition suffisante: expansion finie ▫ Des conditions d’acyclicité  sur la hiérarchie des types d’unités  sur les définitions lexicographiques ▫ Les lexicographes de la Théorie Sens-Texte s’imposaient déjà ces conditions par intuition ▫ Mais on peut trouver mieux 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 50
    51. 51. La déduction logique par rapport à l’implication logique... correction et complétude (sous réserve de consistance) 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 51
    52. 52. 0. Pourquoi formaliser les connaissances sémantiques lexicales de la Théorie Sens-Texte ? 1. L’explicitation de la conceptualisation de ces connaissances est-elle adaptée à une formalisation ? 1.a. Conceptualisation des prédicats linguistiques 1.b. Conceptualisation des définitions lexicographiques t 2. Quel formalisme de représentation des connaissances est adapté à l’explicitation de cette conceptualisation ? 2.a. Formalismes existants 2.b. Construction du formalisme des Graphes d’Unités 3. Comment peut-on opérationnaliser ce formalisme ? 3.a. Pour le raisonnement logique 3.b. Sur le web des données lexicales liées 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 52
    53. 53. Publication du modèle et des règles sur le web des données • profiter des architectures existantes... Choix du métamodèle OWL 2 RL - règles d’inférence - interrogation 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 53 - partage - raisonnement (partiel)
    54. 54. Deux modèles différents, mais interopérables 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 54 Alignement avec ontolex
    55. 55. A partir d’une représentation des définitions lexicographiques formelles: Génération automatique a l’aide de règles SPARQL des règles SPARQL d’expansion et de contraction 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 55
    56. 56. Publication sur le web des données 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 56
    57. 57. Ingénierie des connaissances Conclusion: contributions • valider • inférer • raisonner • manipuler • interroger • échanger 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 57
    58. 58. Contributions • Choix d’une méthodologie en trois étapes 1. Extension de l’explicitation de la conceptualisation ▫ Conceptualisation du sens au niveau sémantique profond ▫ Conceptualisation des définitions lexicographiques ▫ Développement d’un prototype d’éditeur 2. Choix d’un formalisme de représentation des connaissances ▫ Justification de l’inadéquation des standards existants ▫ Construction du formalisme des Graphes d’Unités 3. Opérationnalisation du formalisme des Graphes d’Unités ▫ Définition et caractérisation du raisonnement logique ▫ Opérationnalisation sur le web des données 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 58
    59. 59. Perspectives • Approfondir l’opérationnalisation ▫ Conditions nécessaires et suffisantes de décidabilité ▫ Etude de la complexité ▫ Implémentation sur le web des données • Approfondir la formalisation ▫ Réviser les règles pour prendre en compte les composantes optionnelles et interdites dans les définitions lexicographiques ▫ Impact sur l’opérationnalisation • Complétion de la conceptualisation des définitions lexicographiques ▫ Composantes faibles, parties présuppositionnelles, polysémie lexicale ▫ Impact sur la formalisation et l’opérationnalisation 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 59
    60. 60. Perspectives • Application aux projets de lexicographie explicative et combinatoire ▫ v2 du prototype d’éditeur de définitions lexicographiques  RELIEF Nancy, Moscou ▫ population automatisée ou semi-automatisée à l’aide de ressources lexicales existantes sur le web des données • Etude en lexicographie multilingue • Représentation des fonctions lexicales • Représentation d’autres niveaux linguistiques 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 60
    61. 61. Perspectives • Applications au TALN ▫ étude des transducteurs des graphes d’unités ▫ traduction automatique 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 61
    62. 62. Perspectives • Applications au TALN ▫ étude des transducteurs des graphes d’unités ▫ traduction automatique ▫ interaction en langue naturelle avec une base de connaissances 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 62
    63. 63. Perspectives • Applications au TALN ▫ étude des transducteurs des graphes d’unités ▫ traduction automatique ▫ interaction en langue naturelle avec une base de connaissances ▫ cercle vertueux 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 63
    64. 64. Publications Lefrançois, Gandon, Giboin. TOTh’2014 Méthodologie d’ingénierie des connaissances pour la représentation des définitions lexicographiques de la théorie Sens-Texte Lefrançois, Gandon. IC’2014 Un éditeur de définitions formelles pour les connaissances lexicales de la Théorie Sens-Texte Lefrançois, Gandon. RANLP’2013 Rationale, Concepts, and Current Outcome of the Unit Graphs Framework Lefrançois, Gandon. RANLP’2013 The Unit Graphs Framework: Foundational Concepts and Semantic Consequence Lefrançois, Gandon. MTT’2013 The Unit Graphs Framework: A graph-based Knowledge Representation Formalism designed for the Meaning-Text Théory Lefrançois, Gugert, Gandon, Giboin. MTT’2013 Application of the Unit Graphs Framework to Lexicographic Definitions in the RELIEF project Lefrançois, Gandon. Depling’2013 Reasoning with Dependency Structures and Lexicographic Definitions using Unit Graphs Lefrançois. RECITAL’2013 Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d’Unités Lefrançois, Gandon. RR-8212, Inria, 2013 The Unit Graphs Mathematical Framework Lefrançois, Gandon. MTT’2011 ILexicOn: Toward an ECD-Compliant Interlingual Lexical Ontology Described with SemanticWeb Formalisms Lefrançois, Gandon. TIA’2011 ULiS: An Expert System on Linguistics to Support MultilingualManagement of Interlingual Knowledge bases Lefrançois, Gandon. MSW’2011 ULiS: An Expert System on Linguistics to Support MultilingualManagement of Interlingual Semantic Web Knowledge bases 24 juin 2014 M. Lefrançois - Représentation des connaissances sémantiques lexicales de la théorie Sens-Texte 64

    ×