Téléchargement au format .pdf

Chapitre 6
La categorisation
6.1 Introduction
Un canari est un oiseau typique qui vole. Une autruche est une oiseau atypique
qui ne vole pas. Kiki est un canari qui vole. Julie est une autruche typique qui
ne vole pas, donc atypique comme oiseau. Rita est une autruche qui vole, donc
atypique comme autruche, mais elle reste toujours atypique comme oiseau. (voir
la gure 6.1).
Comment rendre compte de ces proprietes? Les reseaux semantiques ne donnent
pas la reponse. La LDO par sa categorisation et par ses regles d'inference
propose une reponse possible et, croyons-nous, meilleur que les autres reponses.
La classication { construire les classes { et la categorisation { etablir le
rapport entre les classes { font partie du m^eme processus cognitif et elles sont
etroitementliees m^eme si un de ces deux termes a ete utilise souvent pour l'autre.
La categorisation est appelee par la logique et par les mathematiques taxinomie.
On appelle raisonnement taxinomique [Dub95] l'ensemble des procedures
qui gouvernent l'application correcte d'une classication, c'est a dire d'une structure
hierarchique analogue a celles d'usage courant en botanique ou en zoologie.
De telles procedures nous permettent d'une part de designer le genre ou l'espece
d'un individu donne a partir de l'examen de ses caracteristiques telles que les
revele la seule observation, et d'autre part, de predire pour une espece donnee,
les proprietes qui sont communes aux individus qui la composent.
La logique classique s'est averee inapte a formaliser ces types de procedures.
Les problemes souleves par le raisonnement taxinomique renvoient a deux
questions plus generales concernant :
le rapport entre termes theoriques et termes observationnels
le r^ole que pourrait jouer la logique dans l'examen de ces rapports
La philosophie de ce siecle nous montre clairement que la tentative d'appliquer
la logique classique a la formalisation de sciences autres que les mathematiques