Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
A theory of diagnosis from first principles
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
A complete revision function in propositional calculus
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence
Solving Over-Constrained CSPs Using Weighted OBDDs
Over-Constrained Systems
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Revision of Spatial Information by Containment
PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Belief revision of GIS systems: the results of REV!GIS
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Hi-index | 0.00 |
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.