Abstract FR:

Les travaux presents dans cette thèse concernent les raisonnements non-monotones dans les langages orientes objets, utilisant les valeurs par défaut et l'héritage multiple. Nous cherchons à répondre à la question: pour un individu particulier I et une propriété P, quelles sont les valeurs qui décrivent P?. Le mécanisme d'héritage est mis en oeuvre sur la base de connaissance lors de cette question. Il rencontre les problèmes de conflit entre deux valeurs contradictoires héritées. Les mécanismes d'héritage existants n'ont pas de solution objective à ce problème. Nous proposons un prototype de langages à objets qui offre certains outils pour résoudre les conflits. Nous avons crée deux solutions syntaxiques qui réduisent le nombre de situations de conflit. Pour les conflits non résolus par ces deux outils, nous présentons une notion de point de vue sans contraintes sémantiques et syntaxiques pour les créateurs de la base. Cette notion de point de vue permet aux utilisateurs de choisir librement les valeurs interessantes parmi celles possibles héritées. Des informations, déduites par héritage, les aident à faire un choix. Cette information est composée de points de vue. Enfin, nous présentons une formalisation logique, en logique des défauts, du mécanisme d'héritage avec points de vue