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.
Ph.D. Defense: Représentation des connaissances sémantiques lexicales de la Théorie Sens-Texte
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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. « 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. • 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. « 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. 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. 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. 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. 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
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
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
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. 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
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. 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
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. 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
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
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
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
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. 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. 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. 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
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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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
Notes de l'éditeur
pour le pdf
relations paradigmatiques simples
axiome is-a -> hiérarchie
ontologie lexicale
axiomatisé -> permet le raisonnement