représentation des connaissances du dec: concepts fondamentaux du formalisme des graphes...
DESCRIPTION
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.TRANSCRIPT
![Page 1: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/1.jpg)
Représentation
des connaissances du DEC:
Concepts fondamentaux
du formalisme des Graphes d’Unités
Maxime Lefrançois [email protected]
TALN-RECITAL’13, 20 juin 2013, Sables d’Olonne
INRIA Wimmics – Fabien Gandon LIG GETALP – Christian Boitet
![Page 2: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/2.jpg)
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
![Page 3: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/3.jpg)
3 Maxime Lefrançois, Représentation des connaissances du DEC
Choisir le formalisme
Peupler
Applications
t
![Page 4: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/4.jpg)
4 Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
![Page 5: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/5.jpg)
1. Choisir le formalisme
5 Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
![Page 6: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/6.jpg)
1. Choix d’un formalisme
6
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 7: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/7.jpg)
7
Théorie Sens-Texte
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk
- 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
![Page 8: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/8.jpg)
8
Théorie Sens-Texte
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
65 – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax
![Page 9: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/9.jpg)
9
Théorie Sens-Texte
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
65 – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax
![Page 10: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/10.jpg)
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 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)
![Page 11: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/11.jpg)
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 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)
PEIGNER2 :
personne X ~ fibres Y
OUTIL
~ de personne X pour activité Y
![Page 12: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/12.jpg)
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 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)
PEIGNER2 :
personne X ~ fibres Y
OUTIL
~ de personne X pour activité Y
![Page 13: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/13.jpg)
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 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)
PEIGNER2 :
personne X ~ fibres Y
OUTIL
~ de personne X pour activité Y Degré de formalisation non atteint aujourd’hui
![Page 14: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/14.jpg)
14
Théorie Sens-Texte
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk
Maxime Lefrançois, Représentation des connaissances du DEC
91
65 – Début 88 – Dependency Grammar 91 – Introduction à la Lexicologie Explicative et Combinatoire 96 – Lexical Functions 04 – Actants in Semantics and Syntax
![Page 15: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/15.jpg)
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
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004)
![Page 16: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/16.jpg)
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
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004)
![Page 17: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/17.jpg)
17
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004)
(to eat)(Paul ; omelette ; plate)
optionnel
prédicat logique ≠
![Page 18: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/18.jpg)
18
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 2: Théorie des actants sémantiques (Mel’cuk, 2004)
(outil)(Paul ; Mesurer) (outil)(Paul ; Menuisier)
(to eat)(Paul ; omelette ; plate)
« scindé »
optionnel
prédicat logique ≠
![Page 19: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/19.jpg)
19
Prédicats linguistiques
Maxime Lefrançois, Représentation des connaissances du DEC
Besoin 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é »
optionnel
prédicat logique ≠
![Page 20: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/20.jpg)
1. Choix d’un formalisme
20
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 21: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/21.jpg)
21
Web Sémantique
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk
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, ...
![Page 22: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/22.jpg)
22
Web Sémantique
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk
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.
![Page 23: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/23.jpg)
23
Web Sémantique
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk
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.
![Page 24: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/24.jpg)
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, MTT’2011, TIA’2011, MSW’2011)
![Page 25: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/25.jpg)
25
Web Sémantique
Maxime Lefrançois, Représentation des connaissances du DEC
ULiS
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk 91
besoin de OWL full + règles
Problèmes en mot mot.
![Page 26: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/26.jpg)
1. Choix d’un formalisme
26
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 27: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/27.jpg)
27
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.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, ...)
![Page 28: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/28.jpg)
28
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
• Alternance concepts-relations
Problèmes en mot mot.
![Page 29: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/29.jpg)
29
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.F. Sowa
• Alternance concepts-relations
• réifier ? -> pas de sémantique
Problèmes en mot mot.
![Page 30: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/30.jpg)
30
Graphes Conceptuels
Maxime Lefrançois, Représentation des connaissances du DEC
1893 54 59
1932 65
88 96 04
L. Tesnière
I.A. Mel’cuk 91
1940
84
J.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.
![Page 31: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/31.jpg)
1. Choix d’un formalisme
31
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 32: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/32.jpg)
32 Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
Le formalisme des Graphes d’Unités
• un formalisme à base de graphes,
• pour représenter des unités linguistiques
![Page 33: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/33.jpg)
33 Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
S’inspirer des GC
et
Proposer une syntaxe RDF pour l’échange des connaissances
Le formalisme des Graphes d’Unités
![Page 34: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/34.jpg)
34 Maxime Lefrançois, Représentation des connaissances du DEC
t
Choisir...
S’inspirer des GC
et
Proposer une syntaxe RDF pour l’échange des connaissances
Le formalisme des Graphes d’Unités
![Page 35: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/35.jpg)
35
Unités – Représentations
(c.f., Mel’čuk, 2004)
Types d’Unités – Lexique
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 36: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/36.jpg)
1. Choix d’un formalisme
36
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 37: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/37.jpg)
37
Types d’Unité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
![Page 38: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/38.jpg)
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 d’unités
![Page 39: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/39.jpg)
39 Maxime Lefrançois, Représentation des connaissances du DEC
Hiérarchie des Types d’unité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 lorsqu’on spécialise le sens de L
hiérarchisation des TU
= hiérarchisation des sens
?
![Page 40: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/40.jpg)
• 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 PosA
40
graze < to eat peigne < outil
Maxime Lefrançois, Représentation des connaissances du DEC
Hiérarchie des Types d’unités
![Page 41: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/41.jpg)
41
≃
radix obligat prohibet absurde
Maxime Lefrançois, Représentation des connaissances du DEC
Hiérarchie des Types d’unités
![Page 42: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/42.jpg)
1. Choix d’un formalisme
42
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 43: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/43.jpg)
• ATTR – APPEND – COORD
• Tout ce qui n’est pas fonctionnel
43
Hiérarchie des Symboles de circonstants
![Page 44: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/44.jpg)
1. Choix d’un formalisme
44
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 45: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/45.jpg)
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és
45 Maxime Lefrançois, Représentation des connaissances du DEC
![Page 46: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/46.jpg)
46 Maxime Lefrançois, Représentation des connaissances du DEC
Graphes d’Unités
• Support
• Graphe d’unité
![Page 47: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/47.jpg)
47 Maxime Lefrançois, Représentation des connaissances du DEC
Graphes d’Unités
• Support
• Graphe d’unité
![Page 48: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/48.jpg)
Conclusions
48
• 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
![Page 49: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/49.jpg)
Conclusions
49
?
• 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
![Page 50: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/50.jpg)
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 RLF
50
Perspectives... annoncées dans l’article ?
![Page 51: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/51.jpg)
1. Choix d’un formalisme
51
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC
![Page 52: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/52.jpg)
CA1. Implications pour la TST
• Distinction Sémantique de Surface et Sémantique Profonde
• + définition des structures actancielles des TUSemS et TUSemP
▫ symboles d’Actants 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, MTT’2013)
![Page 53: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/53.jpg)
CA1. Implications pour la TST
53
(Lefrançois & Gandon, MTT’2013)
Maxime Lefrançois, Représentation des connaissances du DEC
hiérarchisation des TU
= hiérarchisation des sens
?
![Page 54: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/54.jpg)
CA2. Application au projet RELIEF
• Scénario: Edition de la définition lexicographique de la lexie PEIGNE2a
54 Maxime Lefrançois, Représentation des connaissances du DEC
(Lefrançois, Gugert, Giboin, Gandon, MTT’2013)
![Page 55: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/55.jpg)
CA1. Application au projet RELIEF
• Scénario: Edition de la définition lexicographique de la lexie PEIGNE2a
• Maquettage d’un é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, MTT’2013)
![Page 56: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/56.jpg)
• Avec des règles d’inférence + homomorphismes
56 Maxime Lefrançois, Représentation des connaissances du DEC
CA3. Sémantique (logique) des UGs
(Lefrançois & Gandon, Depling’2013)
![Page 57: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/57.jpg)
CA3. Sémantique (logique) des UGs
• Avec des règles d’infé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, Depling’2013)
![Page 58: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/58.jpg)
• Correspondance entre niveaux
▫ Exemple: niveau SemP - SemS
58
(Lefrançois & Gandon, Depling’2013)
Maxime Lefrançois, Représentation des connaissances du DEC
CA4. Règles
![Page 59: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/59.jpg)
59 Maxime Lefrançois, Représentation des connaissances du DEC
• Correspondance entre niveaux
• Transformation ?
• Grammaticalité ?
(Lefrançois & Gandon, Depling’2013) CA4. Règles
![Page 60: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/60.jpg)
Représentation
des connaissances du DEC:
Concepts fondamentaux
du formalisme des Graphes d’Unités
Merci
TALN-RECITAL’13, 20 juin 2013, Sables d’Olonne
![Page 61: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/61.jpg)
61
Allô ? non mais allô quoi !
tu danses la gavotte
et tu viens pas te baigner ?
![Page 62: Représentation des connaissances du DEC: Concepts fondamentaux du formalisme des Graphes d'Unités](https://reader031.vdocuments.site/reader031/viewer/2022020116/559b72c11a28abf8388b4614/html5/thumbnails/62.jpg)
1. Choix d’un formalisme
62
• 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és
Maxime Lefrançois, Représentation des connaissances du DEC