Belief Revision of GIS Systems: The Results of REV!GIS

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.

[1]  Johan de Kleer,et al.  Using Crude Probability Estimates to Guide Diagnosis , 1990, Artif. Intell..

[2]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[3]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[4]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

[5]  Sylvain Lagrue,et al.  Partially Ordered Preferences Applied to the Site Location Problem in Urban Planning , 2004, DEXA.

[6]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[7]  Odile Papini,et al.  An answer set programming encoding of Prioritized Removed Sets Revision: application to GIS , 2004, Applied Intelligence.

[8]  Odile Papini,et al.  Revision: an application in the framework of GIS , 2000, International Conference on Principles of Knowledge Representation and Reasoning.

[9]  Bernhard Nebel,et al.  Belief Revision: Syntax based approaches to belief revision , 1992 .

[10]  Wenfei Fan,et al.  Keys with Upward Wildcards for XML , 2001, DEXA.

[11]  Odile Papini.  A Complete Revision Function in Propositional Calculus , 1992, ECAI.

[12]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[13]  Michael Clarke,et al.  Symbolic and Quantitative Approaches to Reasoning and Uncertainty , 1991, Lecture Notes in Computer Science.

[14]  Odile Papini,et al.  Spatial Information Revision: A Comparison between 3 Approaches , 2001, ECSQARU.

[15]  J. Dekleer.  An assumption-based TMS , 1986 .

[16]  Frank Wolter,et al.  Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.

[17]  Ilkka Niemelä,et al.  Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP , 1997, LPNMR.