Iterated revision and the axiom of recovery: a unified treatment via epistemic states
Iterated revision and the axiom of recovery: a unified treatment via epistemic states
复制标题
迭代修订和恢复公理：通过认知状态的统一治疗
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
T. Meyer
中科院分区：
文献类型：
--
作者：
S. Chopra;A. Ghose;T. Meyer
恢复公理虽然抓住了关于信念改变的核心直觉，但一直是许多争议的根源。我们简要地反对推定的反例公理-同时同意，他们的一些见解值得保留-并提出额外的恢复一样的公理在一个框架，使用认知状态，编码的偏好，作为修订的对象。这使得迭代修正成为可能，并明确了迭代信念变化和恢复公理之间的联系。我们提供了一个表示定理，连接的语义条件，我们施加在迭代修订和额外的语法属性提到。我们还展示了我们的框架与Darwiche-Pearl [5]之间有趣的相似之处。特别地，我们证明了有争议的（C2）假设背后的直觉被恢复公理和我们的恢复类假设所捕获（后者可以被视为（C2）的弱化）。
The axiom of recovery, while capturing a central intuition regarding belief change, has been the source of much controversy. We argue briefly against putative counterexamples to the axiom— while agreeing that some of their insight deserves to be preserved— and present additional recovery-like axioms in a framework that uses epistemic states, which encode preferences, as the object of revisions. This makes iterated revision possible and makes explicit the connection between iterated belief change and the axiom of recovery. We provide a representation theorem that connects the semantic conditions we impose on iterated revision and the additional syntactical properties mentioned. We also show interesting similarities between our framework and that of Darwiche-Pearl [5]. In particular, we show that the intuitions underlying the controversial (C2) postulate are captured by the recovery axiom and our recovery-like postulates (the latter can be seen as weakenings of (C2).