Artificial Intelligence
Recent advances and developments—the SNePS 2.11 report
Proceedings of the first annual SNePS workshop on Current trends in SNePS---semantic network processing system
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
Weakening conflicting information for iterated revision and knowledge integration
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Hi-index | 0.00 |
In this paper we present an extension to SNePSwD, a belief revision system which is capable of default reasoning, and belief revision. This extension pertains to a new way of performing belief revision, called permissive belief revision. Typically, to get rid of a contradiction in a set of beliefs, belief revision theories abandon one or more beliefs from that set. The idea behind permissive revision is to take the abandoned beliefs, weaken them, and add the weakened beliefs to the result of classical (in the sense of non-permissive) revision. So, the advantage of permissive revision over classical revision is that in some situations it allows us to keep more information.In another direction, we used SNePSwD dependency records to avoid repeating inferences of formulas that were initially derivable from the abandoned beliefs, and are still derivable from the weakened beliefs.