Artificial Intelligence
Building problem solvers
Journal of Symbolic Logic
A Textbook of Belief Dynamics: Solutions to Exercises
A Textbook of Belief Dynamics: Solutions to Exercises
Belief Revision
On the Logic of Theory Base Change
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
Dependency-directed reconsideration: an anytime algorithm for hindsight knowledge-base optimization
Dependency-directed reconsideration: an anytime algorithm for hindsight knowledge-base optimization
Reconsideration on Non-Linear Base Orderings
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Dependency-directed reconsideration belief base optimization for truth maintenance systems
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Reconsideration on Non-Linear Base Orderings
Proceedings of the 2006 conference on STAIRS 2006: Proceedings of the Third Starting AI Researchers' Symposium
Hi-index | 0.00 |
Optimized Recovery (OR) adds belief base optimization to the traditional Recovery postulate---improving Recovery adherence without sacrificing adherence to the more accepted postulates or to the foundations approach. Reconsideration and belief liberation systems both optimize a knowledge base through consolidation of a chain of base beliefs; and recovered base beliefs are returned to the base. The effects match an iterated revision axiom and show benefits for pre-orders, as well. Any system that can resolve an inconsistent belief base can produce these results.