Abstract
The present paper deals with spatial information revision in geographical information system (GIS). These systems use incomplete and uncertain information and inconsistency can result, therefore the definition of revision operations is required. Most of the proposed belief revision operations are characterized by a high complexity and since GIS use large amount of data, adjustments of existing strategies are necessary. Taking advantage of the specificity of spatial information allows to define heuristics which speed up the general algorithms. We illustrate some suitable adjustments on 3 approaches of revision: binary decision diagrams, preferred models and Reiter’s algorithm for diagnostic. We formally compare them and we experiment them on a real application. In order to deal with huge amount of data we propose a divide and revise strategy in the case where inconsistencies are local.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alchourrón, Gärdenfors, and Makinson. On the logic of theory change: Partial meet contraction and revision functions. J. of Symbolic Logic, 50(2):510–530, 1985.
Daniel Le Berre. Autour de SAT: le calcul d’implicants P-restreints, algorithmes et applications. Thése de doctorat, Université Paul Sabatier, Toulouse, France, January 2000.
Fabrice Bouquet and Philippe Jégou. Solving over-constrained CSP using weighted OBDDs. In Michael Jampel, Eugene Freuder, and Michael Maher, editors, Over-Constrained Systems, volume 1106 of Lecture Notes in Computer Science, pages 293–308. Springer-Verlag, 1996.
Randal E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers, C-35(8):677–691, August 1986.
Thierry Castell, Claudette Cayrol, Michel Cayrol, and Daniel Le Berre. Using the Davis and Putnam procedure for an efficient computation of preferred models. In W. Wahlster, editor, ECAI96. John Wiley and Sons, Ltd, 1996.
T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates and counterfactual. Artificial Intelligence, 57:227–270, 1992.
H. Katsuno and A. Mendelzon. Propositional knowledge base revision and minimal change. Artificial Intelligence, 52:263–294, 1991.
Marie-Christine Lagasquie-Schiex. Contribution á l’étude des relations d’inférence non-monotone combinant inférence classique et préférences. PhD thesis, Université Paul Sabatier, Toulouse, IRIT, Université Paul Sabatier, 118 route de Nar-bonne, 3 1062 Toulouse Cedex, December 1995.
Paolo Liberatore and Marco Schaerf. The complexity of model checking for belief revision and update. In AAAI’96, pages 556–561, 1996.
Odile Papini. A complete revision function in propositionnal calculus. In B. Neumann, editor, Proceedings of ECAI92, pages 339–343. John Wiley and Sons. Ltd, 1992.
Damien Raclot and Christian Puech. Photographies aériennes et inondation: globalisation d’informations floues par un systéme de contraintes pour définir les niveaux d’eau en zone inondée. Revue internationale de gÉomatique, 8(1):191–206, February 1998.
Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57–95, 1987.
Renata Wasserman. An algorithm for belief revision. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, Proceedings of the Seventh Internationnal Conference about Principles of Knowledge Representation and Reasoning, KR2000, pages 345–352, Breckenridge, Colorado, USA, April 2000. KR, inc., Morgan Kaufmann.
Ralph W. Wilkerson, Russel Greiner, and Barbara A. Smith. A correction to the algorithm in Reiter’s theory of diagnosis. Artificial Intelligence, 41:79–88, 1989.
M. A. Williams and D. Williams. A belief revision system for the world wide web. In Proceedings of the IJCAI workshop of the Future of Artificial Intelligence and the Internet, pages 39–51, 1997.
Eric Würbel. Révision de connaissances géographiques. PhD thesis, UniversitE de Provence, LIM-CMI, 39 avenue Joliot-Curie 13453 Marseille cedex 13, December 2000.
Eric Würbel, Robert Jeansoulin, and Odile Papini. Revision: An application in the framework of GIS. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, Proceedings of the Seventh Internationnal Conference about Principles of Knowledge Representation and Reasoning, KR2000, pages 505–516, Breckenridge, Colorado, USA, April 2000. KR, inc., Morgan Kaufmann.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Würbel, É., Jeansoulin, R., Papini, O. (2001). Spatial Information Revision: A Comparison between 3 Approaches. In: Benferhat, S., Besnard, P. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2001. Lecture Notes in Computer Science(), vol 2143. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44652-4_40
Download citation
DOI: https://doi.org/10.1007/3-540-44652-4_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42464-2
Online ISBN: 978-3-540-44652-1
eBook Packages: Springer Book Archive