Approches logiques du raisonnement taxinomique

Introduction; 1, Le raisonnement taxinomique (la taxinomie en tant qu’outil conceptuel; trois formes de prédication; les taxinomies et la logique); 2, La formalisation logique des hiérarchies d’héritage (les solutions non monotones; les solutions dans le cadre de la logique linéaire); 3, Conclusion.