Base Belief Change and Optimized Recovery
نویسندگان
چکیده
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.
منابع مشابه
Improving Recovery for Belief Bases
The Recovery postulate for contraction says that any beliefs lost due to the contraction of some belief p should return if p is immediately re-asserted. Recovery holds for logically closed sets of beliefs, but it does not hold for belief bases (sets of beliefs that are not logically closed). This paper discusses the Recovery aspect of the belief base optimizing operation of reconsideration (whi...
متن کاملMinimal change: Relevance and recovery revisited
The operation of contraction (referring to the removal of knowledge from a knowledge base) has been extensively studied in the research field of belief change, and different postulates (e.g., the AGM postulates with recovery, or relevance) have been proposed, as well as several constructions (e.g., partial meet) that allow the definition of contraction operators satisfying said postulates. Most...
متن کاملKernel Contraction and Base Dependence: Redundancy in the Base Resulting in Different Types of Dependence
The AGM paradigm of belief change studies the dynamics of belief states in light of new information. Finding, or even approximating, dependent or relevant beliefs to a change is valuable because, for example, it can narrow the set of beliefs considered during belief change operations. Gärdenfors’ preservation criterion (GPC) suggests that formulas independent of a belief change should remain in...
متن کاملBelief Change and Base Dependence
A strong intuition for AGM belief change operations, Gärdenfors suggests, is that formulas that are independent of a change should remain intact. Based on this intuition, Farias and Herzig axiomatize a dependence relation w.r.t. a belief set, and formalize the connection between dependence and belief change. In this paper, we introduce base dependence as a relation between formulas w.r.t. a bel...
متن کاملReconsideration on Non-Linear Base Orderings
Reconsideration is a belief change operation that re-optimizes a finite belief base following a series of belief change operations—provided all base beliefs have a linear credibility ordering. This paper shows that linearity is not required for reconsideration to improve and possibly optimize a belief base.
متن کامل