Téléchargement au format .pdf

262 Les hierarchies d'heritage et la LDO
et, donc, leur interpretation, ne semble pas ^etre regie par des principes generaux,
mais leur structure n'est pas neutre par rapport aux problemes generaux de la
classication. Cette structure elimine la distinction entre concepts et objets plus
ou moins determines: \^etre oiseau", \un oiseau" et \avoir la propriete de voler"
sont traites comme des noeuds de la hierarchie. Elle elimine aussi la distinction
typique-atypique et confond la relation de comprehension (!) entre les concepts
avec la relation de determination entre les objets (6). Ainsi, le problemedelaformalisation
logique des hierarchies d'heritage para^t mal engage des le depart, car
l'objet m^eme de la formalisation ne semble pas bien deni. Soit la formalisation a
comme objet la representation de toutes les strategies possibles de parcours d'un
graphe, soit elle impose une interpretation particuliere dicile a evaluer en l'absence
d'une analyse claire de ce qu'une hierarchie represente. Neanmoins les solutions
logiques a l'interpretation des hierarchies d'heritage demeurent interessantes
pour deux raisons. En premier, les limites des solutions logiques peuvent nous
montrer les raisons d'une surestimation frequente des t^aches qui peuvent ^etre
menees a bien par la logique. Elles nous fournissent des elements d'analyse sur
les limites et sur la nature des logiques non-classiques. En second, toute formalisation
entra^ne un choix interpretatif des liens de classication et donc une
selection parmi les parcours possibles de la hierarchie. Ainsi les alternatives des
formalisations possibles nous parlent a leur tour de la nature de l'instrument
taxinomique.
Une formalisation du probleme de l'heritage doit constituer un cadre d'interpretation
general, simple et logique de ce probleme. Dans [Cro95] on remarque
trois caracteristiques d'un tel formalisme :
{ Le formalisme doit ^etre \general" au sens ou la solution n'avantage pas un
type particulier de hierarchie
{ Le formalisme doit ^etre \simple" de telle sorte que les notions d'individu et
d'espece et de lien conserve un certain caractere intuitif
{ Le formalisme doit ^etre \logique" dans le sens ou il fait eectivement usage
des moyens deductifs de la logique.
Il nous semble que la LDO remplit ces trois conditions.
10.2.2 Une analyse par la LDO des quelques hierarchies
d'heritage
Denition 10.1 Une hierarchie d'heritage [Cro95] est un graphe oriente acyclique
ayant comme noeuds un ensemble d'entites.
Les entites noeuds sont de deux types: