TOTh’2014, 12/06/2014

Méthodologie d’ingénierie des connaissances pour la représentation des définitions

lexicographiques dans le cadre de la théorie Sens-Texte

TOTh’2014, 12/06/2014

Maxime Lefrançois, Fabien Gandon, Alain GiboinInria

2

Richesse de description

• Besoin de formalisation• Besoin de plus de

couverture• Besoin pour le TALN

TOTh'2014

Approches en sémantique lexicale1. Sémantique décompositionnelle2. Sémantique componentielle3. Sémantique relationnelle

Pourquoi étudier la Théorie Sens-Texte ?

Lefrançois, Gandon, Giboin – Méthodologie d’ingénierie des connaissances pour la TST

3

- Différents niveaux de représentation- Des règles de transformation entre les niveaux

- Le lexique tient une place centraleLe Dictionnaire Explicatif et Combinatoire (DEC)

TOTh'2014 Lefrançois, Gandon, Giboin – Méthodologie d’ingénierie des connaissances pour la TST

Postulats de base

4

Informatisation du DEC et DEC informatisé

ex: éditeur DECID (Sérasset, 1997)


5

Ingénierie des connaissances

Informatisation du DEC et DEC informatisé

représenter, manipuler, échanger, interroger, raisonner avec les connaissances,...


• recherche intelligente d’information• mise à jour et vérification

automatique• déduction logique

▫ paraphrasage▫ déduction du premier ordre

6TOTh'2014 Lefrançois, Gandon, Giboin – Méthodologie d’ingénierie des connaissances pour la TST

Quel formalisme de représentation des connaissances serait adapté à la représentation

des connaissances sémantiques lexicales de la Théorie Sens-Texte ?

« Formalisation de la conceptualisation d’un domaine »

1. La conceptualisation est-elle adaptée à une formalisation ?2. Quel formalisme est adapté à cette conceptualisation ?3. Comment peut-on opérationnaliser ce formalisme ?

Question de recherche et méthodologie

7

Plan de la présentation

t


1. La conceptualisation est-elle adaptée à une formalisation ?

3. Comment peut-on opérationnaliser ce formalisme ?

1.a.Conceptualisation des prédicats linguistiques1.b.Conceptualisation des représentations linguistiques

et des définitions lexicographiques

3.a.Etude du raisonnement logique3.b.Opérationnalisation sur le web des données

2. Quel formalisme est adapté à cette conceptualisation ?

2.a.Formalismes existants2.b.Construction du formalisme des Graphes d’Unités


t

1.a. Conceptualisation des prédicats linguistiques

1.b.Conceptualisation des représentations linguistiques et des définitions lexicographiques




1.a.



9

Exemple d’extension de conceptualisation

Unités linguistiques&

Unités linguistiques


Langage :

Usage :

Types d’

(instances d’)

10

Introduction au DEC

principal sujet d’étude des linguistes de la Théorie Sens-Texte

• 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= environ 500 entrées seulement


11

Zone sémantique du DEC> les définitions lexicographiques

• Travaux de conceptualisation existant▫ choix des composantes selon les catégories d’unités lexicales

(ex: sentiments)

▫ la structuration est importante pour le TAL (Wanner, MTT’ 2003)

▫ composantes suggérées par des étiquettes sémantiques▫ symboles de PosASém choisies dans un petit ensemble (à la

FrameNet)▫ structuration en XML (projet Definiens)


12

Zone sémantique du DEC> les définitions lexicographiques

• Conceptualisation espérée (dans la littérature):


Degré de formalisation non atteint aujourd’hui

13

Prédicats linguistiques

• Type d’unité lexicale▫ Structure actancielle sémantique

• Type d’unité sémantique

Positions actancielles


14



• Type d’unité sémantique

Positions actancielles


15



• Type d’unité sémantique▫ Structure actancielle

Extension de la conceptualisation


=

16



Positions actantielles sémantiques:= Les participants de la situation linguistique dénotée par Lqui ont une position privilégiées auprès de L dans les phrases

+ critères linguistiques !


• Type d’unité sémantique▫ Structure actancielle=

17




• Type d’unité sémantique▫ Structure actancielle=


Héritage du sens et spécialisation

des structures actancielles ?

19

•(outil)

• PosA 1 – personne qui utilise l’outil• PosA 2 – une activité ou une profession

• (ciseaux)

• PosA 1 – personne qui utilise l’outil• PosA 2 – l’objet à couper




contre-exemple 1.

20

•(ustensile)

• PosA 1 – personne qui utilise l’ustensile• PosA 2 – une activité

• (bouilloire)

• PosA 1 – personne qui utilise l’outil• PosA 2


contre-exemple 2.




Le niveau Sémantique Profond

22

Le niveau Sémantique Profond


SémP SémS

• introduction d’une notation /outil\

• 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


des structures actancielles


t

1.a.Conceptualisation des prédicats linguistiques1.b. Conceptualisation des représentations

linguistiques et des définitions lexicographiques




1.b.



24

Définitions lexicographiques

• Application au projet RELIEF (Lux-Pogodalla et Polguère, WoLeR’2009)

?


25

Repositionnement> 1. au niveau sémantique profond


26

Repositionnement> 2. au niveau du dictionnaire


27

Prototype d’éditeur de définitions lexicographiques avec

la conceptualisation étendue


28




29




30

Offre une première base de discussion essentielleConfirme les attentes des lexicographes pour un tel outilPermet d’identifier des directions d’amélioration possible





t






2.a.


2.a. Formalismes existants2.b.Construction du formalisme des Graphes d’Unités


• Critères de choix de (Gruber, 1995)▫ clarté ▫ cohérence▫ extensibilité▫ minimalité de la déformation d’encodage▫ minimalité de l’engagement ontologique

Formalismes candidats

65Grammaires de dépendance

Théorie Linguistique Sens-Texte

Graphes Conceptuels

Web Sémantique& Logiques de description


Le Formalisme des Graphes d’Unités•un formalisme à base de graphes•inspiré des Graphes Conceptuels•construit pour la théorie Sens-Texte


t






2.b.


2.a.Formalismes existants2.b. Construction du formalisme des Graphes

d’Unités


Hiérarchie des types d’unités> Objectif • Un type d’unité hérite la structure actancielle de ses parents• et peut la spécialiser

▫ PosA optionnelle obligatoire▫ PosA optionnelle interdite▫ spécialisation des signatures


Hiérarchie des types d’unités> Solution: types primitifs d’unités• Pour un symbole d’actant s

▫ le radix de s introduit une PosA s▫ l’obligat de s rend la PosA s obligatoire▫ le prohibet de s rend la PosA s interdite

hiérarchie des types primitifs = superposition intriquée de telles structures


Graphes d’Unités


Règles de graphes d’unités

• une hypothèse• une conclusion• des nœuds frontière


Définitions de types d’unités= deux règles contraposées


t




3.a. Etude du raisonnement logique3.b.Opérationnalisation sur le web des données


3.a.



41

TOTh'2014Lefrançois, Gandon, Giboin – Méthodologie d’ingénierie des connaissances pour la TST

Objectifs du raisonnement• Critères de choix de (Gruber, 1995)

▫ clarté ▫ cohérence▫ extensibilité▫ minimalité de la déformation d’encodage▫ minimalité de l’engagement ontologique?

42


Sémantique logique

Théorie des modèles & Algèbre relationnelle

G implique H =pour tout modèle M qui satisfait G, il existe un modèle qui satisfait H

43


Déduction logique

Règles d’inférence & Dérivation logique

H peut être déduit de G =H peut être projeté sur un graphe d’unité dérivé de G

44


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


t




3.a.Etude du raisonnement logique3.b. Opérationnalisation sur le web des données


3.b.



46


Standards du web sémantique

47


Modèle: OWL 2 RL,

Alignement avec

ontolex

deux modèles différents, mais interopérables

48

Ingénierie des connaissances

Conclusions

représenter, manipuler, échanger, interroger, raisonner avec les connaissances,...

Théorie Sens-Texte


49

Conclusions

Conceptualisation Représentation Opérationnalisatio

n

t


50

Choisir le formalisme Le Peupler L’Appliquer

t

Conceptualisation Représentation Opérationnalisatio

n

t


Perspectives

TOTh’2014, 12/06/2014

Documents

Transcript of TOTh’2014, 12/06/2014