Revision by comparison
作者:
摘要
Since the early 1980s, logical theories of belief revision have offered formal methods for the transformation of knowledge bases or “corpora” of data and beliefs. Early models have dealt with unconditional acceptance and integration of potentially belief-contravening pieces of information into the existing corpus. More recently, models of “non-prioritized” revision were proposed that allow the agent rationally to refuse to accept the new information. This paper introduces a refined method for changing beliefs by specifying constraints on the relative plausibility of propositions. Like the earlier belief revision models, the method proposed is a qualitative one, in the sense that no numbers are needed in order to specify the posterior plausibility of the new information. We use reference beliefs in order to determine the degree of entrenchment of the newly accepted piece of information. We provide two kinds of semantics for this idea, give a logical characterization of the new model, study its relation with other operations of belief revision and contraction, and discuss its intuitive strengths and weaknesses.
论文关键词:Belief revision,Theory change,Sphere semantics,Epistemic entrenchment,AGM approach,Iterated revision,Non-prioritized revision,Severe withdrawal,Irrevocable revision,Irrefutable revision
论文评审过程:Received 28 December 2002, Accepted 14 April 2004, Available online 11 June 2004.
论文官网地址:https://doi.org/10.1016/j.artint.2004.04.007