L'importance de la réversibilité
En vue de supprimer cette incertitude, un ensemble de techniques industrielles a été mis au point pour standardiser les informations géographiques. Ces données peuvent provenir de plusieurs sources d'informations, parfois contradictoires. La théorie de la croyance permet de combiner des informations issues de différentes sources pour produire un résultat d'inférence susceptible de faciliter la prise de décision avec un certain degré de certitude. Lorsque de nouvelles informations provenant d'une source conflictuelle rendent une théorie incohérente, des techniques de révision sont utilisées pour identifier les informations à retirer en vue de maintenir la cohérence. Le processus de révision peut être vu comme un cas particulier du processus de fusion, lequel assure le regroupement de plusieurs sources. La révision peut être considérée comme la fusion de deux sources pondérées dont les poids sont attribués en fonction de leur importance; la fusion est toutefois généralement plus complexe que la révision. Les croyances des agents intelligents sont représentées par des états épistémiques, qui trouvent leur origine dans le mot grec épistème (connaissance). Les états épistémiques sont souvent représentés par des pré-ordres totaux au travers desquels un ensemble de croyances concernant le monde réel est encodé sur la base des informations disponibles. Dans le cadre du projet, l'encodage des pré-ordres totaux sur la base de polynômes a été proposé de manière à permettre la réversibilité des règles de révision. Cette approche consiste à encoder les pré-ordres totaux à l'aide de polynômes dotés d'un ordre lexicographique. Il est ainsi possible de formaliser la modification des pré-ordres totaux en fonction des observations entrantes. Par ailleurs, dans la mesure où chaque interprétation se voit attribuer un poids polynomial, il est non seulement possible de suivre la trace de la séquence d'observations, mais également de revenir à des pré-ordres antérieurs. Les bases de croyances pondérées (ou stratifiées) offrent en outre une approche alternative aux états épistémiques, où les poids sont des polynômes qui permettent de récupérer un pré-ordre total. Les résultats obtenus pour la réversibilité de la révision ouvrent la voie à l'intégration de la propriété de réversibilité à certains opérateurs de fusion connus, que ce soit au travers d'approches sémantiques ou syntaxiques.
