Abstract FR:

L'utilisation de l'information geographique (ig) est confrontee de maniere permanente a la diversite des donnees de qualites tres inegales. La confrontation de differentes sources d'information dans ce contexte entraine tres souvent des contradictions que nous proposons de resoudre en se ramenant a une problematique de revision, car la plupart du temps certaines sources d'information sont plus fiables que d'autres. Dans la premiere partie, nous decrivons les outils logiques utilises pour la representation des connaissances a reviser, ainsi que les problemes de satisfaction de contraintes, leur lien avec la logique, leur utilisation dans le domaine de l'ig. La deuxieme partie est consacree a la revision de croyances. Apres la caracterisation de la revision de croyances de agm qui s'est imposee comme standard, nous presentons differentes approches de la revision, en particulier des approches (syntaxiques et semantiques) visant a construire des operateurs de revision. Nous presentons ensuite l'ig, dont nous degageons un ensemble de proprietes caracteristiques a partir desquelles nous proposons une representation de problemes geographiques et une problematique de revision. Nous proposons alors plusieurs operations de revision de connaissances geographiques s'appuyant sur differentes methodes : diagnostic de systemes, diagrammes de decision binaire reduits et ordonnees, calcul de modeles preferes. Nous examinons aussi une methode utilisant les csp flexibles. Nous etablissons une correspondance formelle entre ces methodes et les operations de revision a definir. Nous proposons des ameliorations et des adaptations des algorithmes correspondant a ces methodes en utilisant les specificites de l'ig et de sa representation. Nous proposons une methode de decoupage des problemes de grande taille en sous-problemes basee sur une hypothese de localite des incoherences. Nous validons avec succes nos propositions par une mise en uvre des approches presentees sur une application reelle.