Switch to: Citations

Add references

You must login to add references.
  1. (3 other versions)Elusive knowledge.David Lewis - 1996 - Australasian Journal of Philosophy 74 (4):549 – 567.
    David Lewis (1941-2001) was Class of 1943 University Professor of Philosophy at Princeton University. His contributions spanned philosophical logic, philosophy of language, philosophy of mind, philosophy of science, metaphysics, and epistemology. In On the Plurality of Worlds, he defended his challenging metaphysical position, "modal realism." He was also the author of the books Convention, Counterfactuals, Parts of Classes, and several volumes of collected papers.
    Download  
     
    Export citation  
     
    Bookmark   1058 citations  
  • (1 other version)On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
    This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...)
    Download  
     
    Export citation  
     
    Bookmark   751 citations  
  • Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.
    Download  
     
    Export citation  
     
    Bookmark   375 citations  
  • Two modellings for theory change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
    Download  
     
    Export citation  
     
    Bookmark   314 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   142 citations  
  • Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
    Download  
     
    Export citation  
     
    Bookmark   124 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  
  • Severe withdrawal (and recovery).Hans Rott & Maurice Pagnucco - 1999 - Journal of Philosophical Logic 28 (5):501-547.
    The problem of how to remove information from an agent's stock of beliefs is of paramount concern in the belief change literature. An inquiring agent may remove beliefs for a variety of reasons: a belief may be called into doubt or the agent may simply wish to entertain other possibilities. In the prominent AGM framework for belief change, upon which the work here is based, one of the three central operations, contraction, addresses this concern (the other two deal with the (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • Theory contraction and base contraction unified.Sven Ove Hansson - 1993 - Journal of Symbolic Logic 58 (2):602-625.
    One way to construct a contraction operator for a theory (belief set) is to assign to it a base (belief base) and an operator of partial meet contraction for that base. Axiomatic characterizations are given of the theory contractions that are generated in this way by (various types of) partial meet base contractions.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Changes of disjunctively closed bases.Sven Ove Hansson - 1993 - Journal of Logic, Language and Information 2 (4):255-284.
    An operator of contraction for a belief set (a theory) can be obtained by assigning to it a belief base and an operator of partial meet contraction for that base. It is argued that closure of the base under disjunction is an intuitively reasonable condition. Axiomatic characterizations are given of the contractions of belief sets that can be generated by (various types of) partial meet contraction on disjunctively closed bases. The corresponding revision operators are also characterized. Finally, some results are (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Systematic withdrawal.Thomas Meyer, Johannes Heidema, Willem Labuschagne & Louise Leenen - 2002 - Journal of Philosophical Logic 31 (5):415-443.
    Although AGM theory contraction (Alchourrón et al., 1985; Alchourrón and Makinson, 1985) occupies a central position in the literature on belief change, there is one aspect about it that has created a fair amount of controversy. It involves the inclusion of the postulate known as Recovery. As a result, a number of alternatives to AGM theory contraction have been proposed that do not always satisfy the Recovery postulate (Levi, 1991, 1998; Hansson and Olsson, 1995; Fermé, 1998; Fermé and Rodriguez, 1998; (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Belief Liberation.Richard Booth, Samir Chopra, Aditya Ghose & Thomas Meyer - 2005 - Studia Logica 79 (1):47-72.
    We provide a formal study of belief retraction operators that do not necessarily satisfy the postulate. Our intuition is that a rational description of belief change must do justice to cases in which dropping a belief can lead to the inclusion, or ‘liberation’, of others in an agent's corpus. We provide two models of liberation via retraction operators: ρ-liberation and linear liberation. We show that the class of ρ-liberation operators is included in the class of linear ones and provide axiomatic (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Eligible Contraction.John Cantwell - 2003 - Studia Logica 73 (2):167-182.
    When a belief set is contracted only some beliefs are eligible for removal. By introducing eligibility for removal as a new semantic primitive for contraction and combining it with epistemic entrenchment we get a contraction operator with a number of interesting properties. By placing some minimal constraint upon eligibility we get an explicit contraction recipe that exactly characterises the so called interpolation thesis, a thesis that states upper and lower bounds for the amount of information to be given up in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A Comment on Work by Booth and Co-authors.Dov M. Gabbay & Karl Schlechta - 2010 - Studia Logica 94 (3):403-432.
    Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K ) can be represented by two relations, , where is a sub-relation of < . They have, however, left open a characterization of the infinite case, which we treat here.
    Download  
     
    Export citation  
     
    Bookmark   1 citation