Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)How to give it up: A survey of some formal aspects of the logic of theory change.David Makinson - 1985 - Synthese 62 (3):347 - 363.
    The paper surveys some recent work on formal aspects of the logic of theory change. It begins with a general discussion of the intuitive processes of contraction and revision of a theory, and of differing strategies for their formal study. Specific work is then described, notably Gärdenfors'' postulates for contraction and revision, maxichoice contraction and revision functions and the condition of orderliness, partial meet contraction and revision functions and the condition of relationality, and finally the operations of safe contraction and (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • On the Logic of Theory Change: More Maps Between Different Kinds of Contraction Function.Hans Rott - unknown
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Prejudices, presuppositions, and the theory of counterfactuals.F. J. M. M. Veltman - unknown
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Preferential belief change using generalized epistemic entrenchment.Hans Rott - 1992 - Journal of Logic, Language and Information 1 (1):45-78.
    A sentence A is epistemically less entrenched in a belief state K than a sentence B if and only if a person in belief state K who is forced to give up either A or B will give up A and hold on to B. This is the fundamental idea of epistemic entrenchment as introduced by Gärdenfors (1988) and elaborated by Gärdenfors and Makinson (1988). Another distinguishing feature of relations of epistemic entrenchment is that they permit particularly simple and elegant (...)
    Download  
     
    Export citation  
     
    Bookmark   55 citations  
  • Theory contraction through base contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
    Download  
     
    Export citation  
     
    Bookmark   93 citations  
  • New operators for theory change.Sven Ove Hansson - 1989 - Theoria 55 (2):114.
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  • Partition and revision: The semantics of counterfactuals.Angelika Kratzer - 1981 - Journal of Philosophical Logic 10 (2):201 - 216.
    The last section made it clear that an analysis which at first seems to fail is viable after all. It is viable if we let it depend on a partition function to be provided by the context of conversation. This analysis leaves certain traits of the partition function open. I have tried to show that this should be so. Specifying these traits as Pollock does leads to wrong predictions. And leaving them open endows counterfactuals with just the right amount of (...)
    Download  
     
    Export citation  
     
    Bookmark   76 citations  
  • Reversing the Levi identity.Sven Ove Hansson - 1993 - Journal of Philosophical Logic 22 (6):637 - 669.
    The AGM (Alchourrón-Gärdenfors-Makinson) model of belief change is extended to cover changes on sets of beliefs that are not closed under logical consequence (belief bases). Three major types of change operations, namely contraction, internal revision, and external revision are axiomatically characterized, and their interrelations are studied. In external revision, the Levi identity is reversed in the sense that one first adds the new belief to the belief base, and afterwards contracts its negation. It is argued that external revision represents an (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • A logical framework for default reasoning.David Poole - 1988 - Artificial Intelligence 36 (1):27-47.
    Download  
     
    Export citation  
     
    Bookmark   104 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations