SCIENCE@home

Iterated revision and the axiom of recovery: a unified treatment via epistemic states

S. Chopra,A. Ghose,T. Meyer

Published 2002 in Non-Monotonic Reasoning

ABSTRACT

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).

PUBLICATION RECORD

  • Publication year

    2002

  • Venue

    Non-Monotonic Reasoning

  • Publication date

    2002-07-09

  • Fields of study

    Mathematics, Philosophy, Computer Science

  • Identifiers
    arXiv cs/0207038
  • External record

    Open on Semantic Scholar

  • Source metadata

    Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-18 of 18 references · Page 1 of 1

CITED BY