Abstract
In this paper, we are interested in geographic information revision in the framework of a flooding problem. We show how to express and how to revise this problem by using simple linear constraints. We present two revision strategies based on linear constraints resolution: the partial revision and the global revision methods. We apply these approaches on both a real-world flooding problem and random flooding instances.
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
Alchourròn, C., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510–530 (1985)
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and co., San Francisco (1979)
Khelfallah, M., Benhamou, B.: Geographic information revision based on constraints. Accepted in the 16th European Conference on Articifial Intelligence (ECAI 2004), Valencia, Spain, August 24-27 (2004)
Khelfallah, M., Benhamou, B.: Two revision methods based on constraints: Application to a flooding problem. Unpublished report available on request from the authors (2004)
Nebel, B.: How hard it is to revise a belief base? In: Gabbay, D., Smets, P. (eds.) Handbook on Defeasible Reasoning and Uncertainty Management Systems: Belief Change, vol. III, pp. 77–145. Kluwer Academic, Dordrecht (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khelfallah, M., Benhamou, B. (2004). Two Revision Methods Based on Constraints: Application to a Flooding Problem. In: Buchberger, B., Campbell, J. (eds) Artificial Intelligence and Symbolic Computation. AISC 2004. Lecture Notes in Computer Science(), vol 3249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30210-0_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-30210-0_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23212-4
Online ISBN: 978-3-540-30210-0
eBook Packages: Springer Book Archive