La importancia de la reversibilidad
Para eliminar esta incertidumbre, se han desarrollado una serie de técnicas industriales para normalizar la información geográfica. Los datos geográficos pueden derivarse de distintas fuentes de información, que en ocasiones pueden ser problemáticas. La teoría de la creencia permite combinar la información procedente de distintas fuentes para obtener una conclusión que contribuya a tomar una decisión con cierto grado de seguridad. En los casos en los que al añadir nuevos datos, procedentes de una fuente conflictiva, la teoría sea incoherente, se aplican las técnicas de revisión para determinar qué información debe ser retirada para salvaguardar la coherencia. El proceso de revisión se puede considerar como un caso especial del proceso de fusión, que consiste en fusionar distintas fuentes. La revisión se puede considerar como la fusión de dos fuentes ponderadas, en la que se asigna el peso en función de la importancia; no obstante, la fusión suele ser más complicada que la revisión. Las opiniones de los agentes inteligentes se representan mediante estados epistémicos, derivados del término griego episteme (conocimiento). Los estados epistémicos se suelen representar mediante preórdenes totales, a través de los cuales se codifica un conjunto de opiniones sobre el mundo real basadas en la información disponible. En el marco del proyecto, se ha propuesto codificar los preórdenes totales mediante polinomios, lo cual permite que las normas de revisión sean reversibles. Esta propuesta consiste en codificar los preordenes totales en polinomios dotados de orden lexicográfico. De este modo se hace posible la formalización del cambio de los preordenes totales en función de las observaciones que se reciben. Así mismo, como a cada interpretación se le asigna un peso polinómico, no solamente se puede rastrear la secuencia de las observaciones sino invertir los preórdenes totales. Además, se ofrece otra propuesta de estados epistémicos mediante bases de opinión ponderadas (o estratificadas). Los pesos son polinomios, lo que permite recuperar un preorden total. Los resultados obtenidos en relación con la reversibilidad de la revisión permiten añadir la propiedad de la reversibilidad a algunos operadores de fusión, tanto en propuestas sintácticas como en semánticas.
