Abstract
This paper presents a synthesis of works performed on the practical tractability of revision on geographic information within the european REV!GIS project.It surveys di.erent representations of the revision problem as well as di.erent implementations of the adopted stategy: Removed Set Revision (RSR). A comparison of the representation formalisms is provided, a formal and an experimental comparison is conducted on the various implementations on real scale applications in the context of GIS.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bellicha, A., et al.: Autour du problème de satisfaction de contraintes. In: Actes des 5èmes journées nationales du PRC GDR Intelligence Artificielle, pp. 159–178 (1995)
Benferhat, S., Cayrol, C., Dubois, D., Lang, J., Prade, H.: Inconsistency management and prioritized syntax-based entailment. In: Proc. of IJCAI 1993, pp. 640–645 (1993)
Bennaim, J., Benferhat, S., Papini, O., Würbel, E.: An answer set programming approach of prioritized removed sets revision: Application to gis. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 604–616. Springer, Heidelberg (2004)
Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on computers C-35(8), 677–691 (1986)
Eén, N., Sörensson, N.: An Extensible SAT-solver. In: Proc. of ICTAS 2003 (2003)
De Kleer, J.: Using crude probability estimates to guide diagnosis. Artificial Intelligence 45, 381–392 (1990)
Jeansoulin, R., Papini, O.: Révision et information spatiale. In: Le temps, l’espace et l’evolutif en sciences du traitement de l’information, pp. 293–304. Cépadues-éditions (2000)
Khelfallah, M., Wilson, N., Jeansoulin, R.: Geographic Information Revision based on linear constraints. Tech. Rep., Annex 313.4 of report R313, REVIGIS project (2003)
De Kleer, J.: An assumption-based TMS. Artificial Intelligence 28, 127–162 (1986)
Nebel, B.: Syntax based approaches to belief revision. In: Gärdenfors, P. (ed.) Belief Revision, pp. 52–88. Cambridge University Press, UK (1992)
Niemela, I., Simons, P.: An implementation of stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 420–429. Springer, Heidelberg (1997)
Papini, O.: A complete revision function in propositionnal calculus. In: Neumann, B. (ed.) Proc. of ECAI 1992, pp. 339–343. John Wiley and Sons. Ltd, Chichester (1992)
Raclot, D., Puech, C.: 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 (1998)
Lagrue, S., Devillers, R., Besqueut, J.-Y.: Partially ordered preferences applied to the site location problem in urban planning. In: Galindo, F., Takizawa, M., Traunmüller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 151–160. Springer, Heidelberg (2004)
Wilson, N.: The logic of linear constraints and its application to the flooding problem. Technical report, REVIGIS project report (2002)
Wilson, N., Khelfallah, M., Jeansoulin, R.: Geographic information revision based on linear constraints. Technical report, REVIGIS project- Annex 313.4 (2003)
Wurbel, E., Jeansoulin, R., Papini, O.: Spatial information revision: A comparision between 3 approaches. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 454–465. Springer, Heidelberg (2001)
Würbel, E., Jeansoulin, R., Papini, O.: Revision: An application in the framework of gis. In: Proc. of KR 2000, pp. 505–516. Morgan Kaufmann, San Francisco (2000)
Würbel, É., Jeansoulin, R., Papini, O.: Spatial information revision: A comparison between 3 approaches. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS (LNAI), vol. 2143, pp. 454–465. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Benferhat, S. et al. (2005). Belief Revision of GIS Systems: The Results of REV!GIS. In: Godo, L. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2005. Lecture Notes in Computer Science(), vol 3571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11518655_39
Download citation
DOI: https://doi.org/10.1007/11518655_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27326-4
Online ISBN: 978-3-540-31888-0
eBook Packages: Computer ScienceComputer Science (R0)