Belief revision of GIS systems: the results of REV!GIS

Authors:
Salem Benferhat;Jonathan Bennaim;Robert Jeansoulin;Mahat Khelfallah;Sylvain Lagrue;Odile Papini;Nic Wilson;Eric Würbel
Affiliations:
CRIL-CNRS, université d'Artois, Lens Cedex, France;LIF-CNRS, CMI technopôle de Château Gombert, Marseille cedex 13, France;LSIS-CNRS, CMI technopôle de Château Gombert, Marseille cedex 13, France;LSIS-CNRS, CMI technopôle de Château Gombert, Marseille cedex 13, France;CRIL-CNRS, université d'Artois, Lens Cedex, France;LSIS-CNRS, université du Sud Toulon -Var, La Garde Cedex, France;University College Cork, Cork, Ireland;LSIS-CNRS, université du Sud Toulon -Var, La Garde Cedex, France
Venue:
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Year:
2005

Citing 7
Cited 1

An assumption-based TMS

Artificial Intelligence
Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Using crude probability estimates to guide diagnosis

Artificial Intelligence
A complete revision function in propositional calculus

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Spatial Information Revision: A Comparison between 3 Approaches

ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Inconsistency management and prioritized syntax-based entailment

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Extending uncertainty formalisms to linear constraints and other complex formalisms

International Journal of Approximate Reasoning

Quantified Score

Hi-index	0.00

Visualization

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.