Téléchargement au format .pdf

146 La categorisation
classiques, qui doivent donc integrer dans un corps theorique des donnees observationnelles,
n'a jamais ete accomplie de facon satisfaisante. Le raisonnement
taxinomique n'est alors qu'un exemple particulierement representatif de cet echec.
En informatique, les problemes lies a la formalisation du raisonnement taxinomique
sont connues sous le nom de problemes d'heritage. Ils concernent, outre les
applications de l'intelligence articielle et en particulier les reseaux semantiques,
des domaines tels que le genie logiciel, les langages de programmation de type \
orientes objet " et les bases de donnees deductives. Les dicultes soulevees dans
ces domaines par les classications ne concernent pas seulement leur formalisation
logique, mais aussi tout simplement leur interpretation. Elles constituent ainsi un
cas typique des problemes propres a l'intelligence articielle : l'interpretation d'un
procede technique de notation conduit a s'interroger sur la nature des problemes
souleves et sur la possibilite d'avoir recours a la logique pour les resoudre. La
recherche des nouvelles logiques non-classiques ne constitue qu'une hypothese de
recherche an de donner une reponse positive a cette derniere interrogation. La
categorisation en tant qu'outil conceptuel prend en compte deux aspects :
d'un cote un aspect d'organisation rationnelle exprime par la hierarchie des
concepts fondamentaux d'un domaine : c'est l'aspect purement categoriel
de l'autre cote un aspect strictement classicatoire qui concerne le regroupement
des individus en classes par le biais de leurs caracteristiques : c'est l'aspect
purement classicationnel.
Selon le premier point de vue une classication range des termes theoriques
par leur specicite : elle organise les concepts scientiques d'un domaine en les
subsumant les uns sur les autres. Selon le second, elle met en relation l'abstrait
(l'espece biologique) et le concret (l'individu reel). Classer signie creer des
classes disjointes et il est necessaire a cette n de disposer d'une combinatoire
de traits pertinents, tenus pour primitifs ( avoir des vertebres, allaiter ses petits,
etc.). L'absence ou la presence d'un trait pertinent ( avoir ou ne pas avoir de
vertebres) permet la constitution de classes distinctes de m^eme niveau (vertebres
et invertebres), et l'inclusion des traits pertinents permet d'ordonner une classe
par rapport une autre ( mammiferes sous vertebres).
La nature des objets est tres dierente et elle varie d'un domaine a l'autre.
C'est la t^ache de l'ontologie comme faisant partie de la philosophie de s'interroger
sur cette nature.
Dans chaque domaine scientique particulier, les objets sont les individus
propres a ce domaine, comme les ^etres vivants en zoologie, les plantes en botanique.
En mathematiques les objets de base sont les nombres dont la nature fait
l'objet de toute une philosophie des mathematiques a partir de Cantor [Can32],
[Hei77], Peano [Pea58], [Hei77], Frege [Dum91a]. En linguistique, les objets sont
les expressions linguistiques vues au niveau genotype (voir J.-P.Descles [Des90b])