|
||||||
Présentation : Les structures de traits1 DéfinitionLa définition d'une structure de traits, que nous donnons ici est inspirée de l'article de Jean Véronis.Définition 1
Une structure de traits est un ensemble
[ T1 , ... , Tn ] où chaque Ti est :
La valeur n d'un trait peut, quant à elle, être :
2 Les différents noms donnés à une structure de traitsLes structures de traits sont un outil conceptuel utilisé dans plusieurs formalismes linguistiques basés sur l'Unification. Ces dernières peuvent prendre plusieurs noms selon les formalismes :D'une manière générale, nous reprendrons la terminologie proposée dans le formalisme HPSG Head-driven Phrase Structure Grammar (Grammaire syntagmatique guidée par la tête) : structures de traits ou feature structure en anglais. 3 Les boîtes de coïndexationLes structures de traits ont la propriété d'être réentrantes si deux traits de cette structure partagent la même valeur. L'indication de cette valeur partagée se fait à l'aide de boîte de coïndexation.4 Graphes et structures de traitsLe logiciel PATR II développé par Stuart Shieber (1986) nomme les structures de traits comme étant des dags (abréviation anglaise pour directed acyclic graph - graphe acyclique orienté). Cela nous permet d'introduire la manière dont les structures de traits sont implémentées dans ce package. Les arcs de ces graphes représentent les noms de traits ; les valeurs terminales du graphes sont des ensembles de valeurs atomiques.5 Les différentes fonctions des structures de traitsLes structures de traits ont essentiellement deux fonctionnalités intéressantes. Nous allons voir plus en détails chacune d'elles.5.1 Fonction informativeLa fonction informative, que l'on pourrait aussi appeler fonction sémantique, permet de dénombrer des informations sur un syntagme sous la forme de différents traits. Nous pouvons associer par exemple le syntagme "Benoît" à la structure de traits DSN3sg. Il est ainsi possible d'affirmer que "Benoît" est un syntagme de la catégorie SN (Syntagme Nominal) et qu'il se conjugue à la troisième personne du singulier. L'extration d'information d'une structure de traits se fait à l'aide de deux fonctions :
5.2 Fonction grammaticaleLa fonction grammaticale permet de vérifier la concordance syntaxique d'un syntagme.6 Opérations sur les structures de traitsLes deux opérations utilisées sur les structures de traits sont la subsomption et l'unification.6.1 La subsomptionDéfinition 2
Une structure de traits D subsume une structure de traits
D' si et seulement si D est plus générale (d'un point de vue
grammmatical) ou contient moins d'informations (d'un point de vue sémantique) que
D'.
6.2 L'unificationDéfinition 3
L'unification des structures de traits D'
et D'' est une structure de traits D plus générale telle
que (D' subsume D) et (D'' subsume
D)
D'un point de vue sémantique, l'unification ajoute de l'information.Propriété 1
La valeur terminale d'un trait t commun à deux structures de traits que
l'on souhaite unifier est l'intersection des deux ensembles de valeurs pour le
trait t. Si l'intersection des deux ensembles est vide, l'unification
échoue.
L'exemple suivant illustre cette propriété en mettant en plus en jeu des boîtes
de coïndexation :
L'unification joue un rôle important dans l'encodage de l'information
linguistique. En effet, d'un point de vue syntaxique, l'unification permet de
vérifier la compatibilité des informations entre deux ou plusieurs structures de
traits.Propriété 2
L'unification est idempotente.
7 Structures de traits particulières7.1 Les variablesDéfinition 4
Une variable est une structure de traits dont le domaine est vide.
Propriété 3
Les variables subsument n'importe quelle structure de traits, étant donné qu'elles
consistuent le cas trivial d'absence totale d'information.
Propriété 4
Les variables sont l'élément d'identité de l'unification.
7.2 Les listesLe parser contenu dans ce package gère la notation en liste d'une structure de trait. En effet, si on considère la matrice suivante : La notation liste permet d'écrire Dlist sous la forme : < {b ,c } , [ d : e ] > Ces deux structures de traits sont complètement équivalentes ; néanmoins, une liste sera représentée en interne par le package en structure de traits traditionnelles. |
|
Dernière modification par Nicolas Dubois le 10 août 2003. Contact : Azim Roussanaly (LORIA - Vandœuvre-lès-Nancy) |
|