Téléchargement au format .pdf

264 Les hierarchies d'heritage et la LDO
Les exemples suivants sont consideres comme classiques dans la litterature.
Ils ont ete analyses par plusieurs outils taxinomiques.
Exemple 1 (L'autruche)(Cf. gure 10.6)
L'entite p est plus specique que l'entite o. Le chemina! p 9 v sera prefere
au chemin a ! o ! v.
Cet exemple est traite par la LDO (Cf. gure 10.7):
La LDO donne la construction: v ! o ! o ! p ! a ! a
En plus elle donne l'information qu'une autruche qui ne vole pas est typique
en tant qu'autruche et atypique en tant qu'oiseau.
Exemple 2 [Cro95] (Le diamant de Nixon)(Cf. gure 10.8)
Dans ce cas la lemecanisme delaspecicite n'est plus applicable parce que
pour les chemins n ! q ! petn! r 9 p les noeuds q et r sont egalement
speciques.
La LDO analyse cet exemple par (Cf. gure 10.9):
Les deux chemins p ! q ! n et p ! r ! n montrent que Nixon est
un quaker typique (parce qu'il est paciste) et un republicain atypique pour la
m^eme raison.
Exemple 3 [Cro95]
Soit la hierarchie (Cf. gure 10.10):
Le reseau est lu:
Les p ont la propriete non r: p 9 r.
Les q ont la propriete r: q! r.
Les a sont des p avec la propriete non r: a ! p 9 r.
Les a sont des q avec la propriete r: a! q ! r.
Les p sont des s avec la propriete non u: p ! s 9 u.
Les p sont des t avec la propriete u: p! t ! u.
Les u sont des q : u ! q.
Tous les chemins de a a r et leurs interpretations sont:
Les a sont des p avec non r: a ! p 9 r.
Les a sont des p, donc des t avec u , donc des q avec r:
a ! p ! t ! u !q ! r.
Les a sont des q avec r: a ! q ! r.
Le chemin a ! p 9 r sera prefere au chemin a! q ! r dans l'extension
contenant le chemin a ! p ! t ! u ! q. Mais il existe une extension contenant
le chemin a ! p ! s 9 u dans laquelle p n'est pas plus specique que q car elle
ne contient pas de chemins menant a q et passant par p.
Cette hierarchie est traitee par la LDO (Cf. gure 10.11):
Un a est un p atypique qui a la propriete r.
et