Artificial Intelligence
A theory of diagnosis from first principles
Artificial Intelligence
A correction to the algorithm in Reiter's theory of diagnosis
Artificial Intelligence
Using crude probability estimates to guide 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
A glance at revision and updating in knowledge bases
Revision and updating in knowledge bases
Answer sets for prioritized logic programs
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Artificial Intelligence
Disjunctive logic programs with inheritance
Proceedings of the 1999 international conference on Logic programming
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
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
XSB: A System for Effciently Computing WFS
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
A framework for compiling preferences in logic programs
Theory and Practice of Logic Programming
Inconsistency management and prioritized syntax-based entailment
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A comparative study of logic programs with preference
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
The complexity of model checking for belief revision and update
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Encoding the Revision of Partially Preordered Information in Answer Set Programming
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Extending Removed Sets Revision to partially preordered belief bases
International Journal of Approximate Reasoning
Underwater archaeological 3D surveys validation within the removed sets framework
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
A new approach and system for attentive mobile learning based on seamless migration
Applied Intelligence
Hi-index | 0.00 |
Geographical information systems are ones of the most important application areas of belief revision. Recently, Würbel and colleagues (Proceedings of the seventh international conference about principles of knowledge representation and reasoning, KR2000, pp. 505---516, 2000) have applied the so-called "removed sets revision" (RSR) to the problem of assessment of water heights in a flooded valley. The application was partially satisfactory since only a small part of the valley has been handled. This paper goes one step further, and proposes an extension of (RSR) called "Prioritized Removed Sets Revision" (PRSR). We show that (PRSR) performed using answer set programming makes possible to solve a practical revision problem provided by a real application in the framework of geographical information system (GIS). We first show how PRSR can be encoded into a logic program with answer set semantics, we then present an adaptation of the smodels system devoted to efficiently compute the answer sets in order to perform PRSR. The experimental study shows that the answer set programming approach gives better results than previous implementations of RSR and in particular it allows to handle the whole valley. Lastly, some experimental studies comparing our encoding with implementations based on SAT-solvers are also provided.