Three Scenarios for the Revision of Epistemic States
نویسنده
چکیده
This position paper discusses the difficulty of interpreting iterated belief revision in the scope of the existing literature. Axioms of iterated belief revision are often presented as extensions of the AGM axioms, upon receiving a sequence of inputs. More recent inputs are assumed to have priority over less recent ones. We argue that this view of iterated revision is at odds with the claim, made by Gärdenfors and Makinson, that belief revision and non-monotonic reasoning are two sides of the same coin. We lay bare three different paradigms of revision based on specific interpretations of the epistemic entrenchment defining an epistemic state and of the input information. If the epistemic entrenchment stems from default rules, then AGM revision is a matter of changing plausible conclusions when receiving specific information on the problem at hand. In such a paradigm, iterated belief revision makes no sense. If the epistemic entrenchment encodes prior uncertain evidence and the input information is at the same level as the prior information and possibly uncertain, then iterated revision reduces to prioritized merging. A third problem is one of the revision of an epistemic entrenchment by means of another one. In this case, iteration makes sense, and it corresponds to the revision of a conditional knowledge base describing background information by the addition of
منابع مشابه
Paraconsistent Justification Logic: a Starting Point
In his 2003 paper, Ten philosophical problems in belief revision, Sven Ove Hansson argues that sometimes belief revision might essentially involve inconsistent epistemic states, and that to better model belief revision requires well modeling inconsistent epistemic states. In this paper, we are going to develop a type of justification logic, which is intended to model the agent’s justification s...
متن کاملBelief Revision with General Epistemic States
In order to properly regulate iterated belief revision, Darwiche and Pearl (1997) model belief revision as revising epistemic states by propositions. An epistemic state in their sense consists of a belief set and a set of conditional beliefs. Although the denotation of an epistemic state can be indirectly captured by a total preorder on the set of worlds, it is unclear how to directly capture t...
متن کاملModeling Belief Change on Epistemic States
Belief revision always results in trusting new evidence, so it may admit an unreliable one and discard a more confident one. We therefore use belief change instead of belief revision to remedy this weakness. By introducing epistemic states, we take into account of the strength of evidence that influences the change of belief. In this paper, we present a set of postulates to characterize belief ...
متن کاملComputing multiple c-revision using OCF knowledge base
Belief revision is the process of revising epistemic states in the light of new information. In this paper epistemic states are represented in the framework of Spohn’s Ordinal Conditional Functions (OCF). The input is a consistent set of propositional formulas issued from different and independent sources. We focus on the so-called multiple iterated belief crevision recently proposed by Kern-Is...
متن کاملIterated revision by epistemic states : axioms , semantics and
We propose a very general syntactical notion of epistemic state and a compact axiomatization for iterated revision when the new information is an epistemic state. We set representation theorems and give two semantical representations of operators: by polynomials and by weighted belief bases. These representations will result to be equivalent.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Log. Comput.
دوره 18 شماره
صفحات -
تاریخ انتشار 2008