Switch to: Citations

Add references

You must login to add references.
  1. Belief Revision, Conditional Logic and Nonmonotonic Reasoning.Wayne Wobcke - 1995 - Notre Dame Journal of Formal Logic 36 (1):55-103.
    We consider the connections between belief revision, conditional logic and nonmonotonic reasoning, using as a foundation the approach to theory change developed by Alchourrón, Gärdenfors and Makinson (the AGM approach). This is first generalized to allow the iteration of theory change operations to capture the dynamics of epistemic states according to a principle of minimal change of entrenchment. The iterative operations of expansion, contraction and revision are characterized both by a set of postulates and by Grove's construction based on total (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Two methods of constructing contractions and revisions of knowledge systems.Hans Rott - 1991 - Journal of Philosophical Logic 20 (2):149 - 173.
    This paper investigates the formal relationship between two prominent approaches to the logic of belief change. The first one uses the idea of "relational partial meet contractions" as developed by Alchourrón, Gärdenfors and Makinson (Journal of Symbolic Logic 1985), the second one uses the concept of "epistemic entrenchment" as elaborated by Gärdenfors and Makinson (in Theoretical Aspects of Reasoning about Knowledge, M. Y. Vardi, Los Altos 1988). The two approaches are shown to be strictly equivalent via direct links between the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  • Conditionals and theory change: Revisions, expansions, and additions.Hans Rott - 1989 - Synthese 81 (1):91-113.
    This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors''s (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (additions) are to be equated with logical expansions. If negated or might conditionals are interpreted on the basis of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  • Iterated belief change based on epistemic entrenchment.Abhaya C. Nayak - 1994 - Erkenntnis 41 (3):353-390.
    In this paper it is argued that, in order to solve the problem of iterated belief change, both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation. It is shown that the operation in question satisfies generalized versions of the Gärdenfors revision postulates. The account offered is motivated by Spohn's ordinal conditionalization functions, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   66 citations  
  • Screened Revision.David Makinson - 1997 - Theoria 63 (1-2):14-23.
    Develops a concept of revision, akin in spirit to AGM partial meet revision, but in which the postulate of 'success' may fail. The basic idea is to see such an operation as composite, with a pre-processor using a priori considerations to resolve the question of whether to revise, following which another operation revises in a manner that protects the a priori material.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  • Iteration of conditionals and the Ramsey test.Isaac Levi - 1988 - Synthese 76 (1):49 - 81.
  • Knowledge in Flux.Henry E. Kyburg & Peter Gardenfors - 1993 - Noûs 27 (4):519-521.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   244 citations  
  • Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
  • A survey of non-prioritized belief revision.Sven Ove Hansson - 1999 - Erkenntnis 50 (2-3):413-427.
    This paper summarizes and systematizes recent and ongoing work on non-prioritized belief change, i.e., belief revision in which the new information has no special priority due to its novelty.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  • Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
  • Modeling belief in dynamic systems, part I: Foundations.Nir Friedman & Joseph Y. Halpern - 1997 - Artificial Intelligence 95 (2):257-316.
  • On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.
    We show in this paper that the AGM postulates are too weak to ensure the rational preservation of conditional beliefs during belief revision, thus permitting improper responses to sequences of observations. We remedy this weakness by proposing four additional postulates, which are sound relative to a qualitative version of probabilistic conditioning. Contrary to the AGM framework, the proposed postulates characterize belief revision as a process which may depend on elements of an epistemic state that are not necessarily captured by a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   141 citations  
  • Unifying default reasoning and belief revision in a modal framework.Craig Boutilier - 1994 - Artificial Intelligence 68 (1):33-85.
  • Iterated revision and minimal change of conditional beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.
    We describe a model of iterated belief revision that extends the AGM theory of revision to account for the effect of a revision on the conditional beliefs of an agent. In particular, this model ensures that an agent makes as few changes as possible to the conditional component of its belief set. Adopting the Ramsey test, minimal conditional revision provides acceptance conditions for arbitrary right-nested conditionals. We show that problem of determining acceptance of any such nested conditional can be reduced (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  • A Mathematical Theory of Evidence.Glenn Shafer - 1976 - Princeton University Press.
    Degrees of belief; Dempster's rule of combination; Simple and separable support functions; The weights of evidence; Compatible frames of discernment; Support functions; The discernment of evidence; Quasi support functions; Consonance; Statistical evidence; The dual nature of probable reasoning.
    Direct download  
     
    Export citation  
     
    Bookmark   250 citations  
  • Ordinal Conditional Functions. A Dynamic Theory of Epistemic States.Wolfgang Spohn - 1988 - In W. L. Harper & B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics, vol. II. Kluwer Academic Publishers.
    It is natural and important to have a formal representation of plain belief, according to which propositions are held true, or held false, or neither. (In the paper this is called a deterministic representation of epistemic states). And it is of great philosophical importance to have a dynamic account of plain belief. AGM belief revision theory seems to provide such an account, but it founders at the problem of iterated belief revision, since it can generally account only for one step (...)
     
    Export citation  
     
    Bookmark   173 citations  
  • On the Difference between Updating a Knowledge Base and Revising it.H. Katsuno & A. O. Mendelzon - 1992 - In Belief Revision. Cambridge University Press. pp. 183-203.
     
    Export citation  
     
    Bookmark   91 citations