Abstract FR:

La plupart des méthodes et outils, développés pour vérifier la cohérence des bases de connaissances, se sont situées dans des formalismes proches de la logique classique car, cela permettait de disposer d'un cadre formel rigoureux et relativement bien défini. Or, si celle-ci se prête bien à la modélisation des connaissances dans des domaines assez bien formalisés, elle ne permet pas de représenter des connaissances de sens commun. Il est ainsi impossible en logique classique de représenter (et de raisonner avec) des informations imparfaites. C'est ainsi que de nouveaux formalismes de représentation de connaissances sont apparus permettant ainsi de manipuler des informations de sens courant. Nous nous intéressons dans cette thèse au problème de la vérification de la cohérence des bases de connaissances imprécises ou incertaines. Le cadre choisi est le raisonnement approximatif basé sur la théorie des possibilités et celle des sous-ensembles flous. Dans ce cadre, nous définissons un modèle conceptuel de cohérence, c'est-à-dire, un ensemble de propriétés que doivent vérifier les bases de connaissances cohérentes. Notre système permet de vérifier la cohérence statique d'une base de connaissances, c'est-à-dire la cohérence des différentes entités structurelles de la base. Pour la vérification dynamique de la base de connaissances, nous tirons parti des travaux qui ont été menés dans le cadre de la résolution des équations des relations floues et mettons au point un schéma abductif flou. Ce schéma permet de générer les bases de faits initiales qui, confrontées aux contraintes de cohérence définies au moment de l'élaboration de la base de connaissances, permettent de constater l'incohérence de la base de connaissances. A contrario, l'absence d'une telle base de faits permet d'établir la cohérence dynamique de la base de connaissances.