Téléchargement au format .pdf

Les hierarchies d'heritageetlaLDO 263
- les individus qui representent les feuilles du graphe notes par a,b,c :::
- les especes correspondant a des abstraits, notes par p, q, r :::
Les variables qui varient sur un ensemble des entites de ce type sont notees
par x, y, z,v,w.
Le graphe contient deux types de liens:
les liens positifs x ! ylu\xestuny"
les liens negatifs x 9 y lu \x n'est pas un y "
L'entite y doit ^etre une espece.
Denition 10.2 Deux liens s'appelent conictuels s'ils sont de la forme:
a ! peta9 p
ou
x ! yetx9 y
Parmi les suites possibles de liens, les chemins constituent des parcours admissibles
dans le graphe.
Denition 10.3 Un chemin est deni par:
tout lien est un chemin.
si est un chemin, :x 1 ! x 2 ! ::: x n et x n ! y est un lien ,alors !
y est aussi un chemin.
si est un chemin, :x 1 ! x 2 ! ::: x n et x n 9 y est un lien ,alors 9
y est aussi un chemin.
Denition 10.4 Deux chemins s'appelent conictuels s'ils ont la forme: x !
! yetx! 9 y
Un chemin du graphe correspond a une cha^ne de raisonnement. De maniere
intuitive on peut dire que l'armation \x est un y" est supportee par une
hierarchie s'il existe un chemin dans la hierarchie de x a y. En presence du
conit, une hierarchie peut toutefois supporter des armations contradictoires.
Il est alors necessaire de mettre en oeuvre des strategies. L'un des mecanismes
des plus connus de resolution de conits est le mecanisme ditde la specicite.
Etant donnes deux chemins contradictoires un critere de preference base sur des
considerations relatives a la forme de la hierarchie, resout le conit en faveur de
l'un d'eux. Le critere de preference est le suivant: soit y et z les noeuds de depart
des derniers liens de deux chemins contradictoires, partant de x. S'il est possible
d'etablir que l'entite y est plus specique que l'entite z, la contradiction est levee
en faveur du chemin passant par y. De maniere intuitive, une entite y est plus
specique qu'une entite z par rapport a x, s'il existe un chemin menant de x a z
qui passe par y.