Artificial Intelligence
Propositional knowledge base revision and minimal change
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
On the logic of iterated belief revision
Artificial Intelligence
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Dynamic belief revision operators
Artificial Intelligence
Weakening conflicting information for iterated revision and knowledge integration
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Iterated belief revision, revised
Artificial Intelligence
A model-based approach for merging prioritized knowledge bases in possibilistic logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A Conflict-Based Operator for Mapping Revision
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Hi-index | 0.00 |
In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision operator. The computation of the semantic approach is given. We show that our revision approach satisfies almost all the DP postulates for iterated revision and some other important logical properties.