Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  • Basic Infobase Change.Thomas Meyer - 2001 - Studia Logica 67 (2):215-242.
    Generalisations of theory change involving arbitrary sets of wffs instead of belief sets have become known as base change. In one view, a base should be thought of as providing more structure to its generated belief set, and can be used to determine the theory change operation associated with a base change operation. In this paper we extend a proposal along these lines by Meyer et al. We take an infobase as a finite sequence of wffs, with each element in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Theory Contraction Through Base Contraction.André Fuhrmann - 1991 - Journal of Philosophical Logic 20 (2):175 - 203.
  • Two Modellings for Theory Change.Adam Grove - 1988 - Journal of Philosophical Logic 17 (2):157-170.
  • Infobase Change: A First Approximation. [REVIEW]Thomas Andreas Meyer, Willem Adrian Labuschagne & Johannes Heidema - 2000 - Journal of Logic, Language and Information 9 (3):353-377.
    Generalisations of theory change involving operations on arbitrary sets ofwffs instead of on belief sets (i.e., sets closed under a consequencerelation), have become known as base change. In one view, a base should bethought of as providing more structure to its generated belief set, whichmeans that it can be employed to determine the theory contraction operationassociated with a base contraction operation. In this paper we follow suchan approach as the first step in defining infobase change. We think of an infobase (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
    Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning about knowledge and its applications to distributed ...
    Direct download  
     
    Export citation  
     
    Bookmark   344 citations  
  • 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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   472 citations  
  • A Textbook of Belief Dynamics. Theory Change and Database Updating.S. O. Hansson - 1999 - Kluwer Academic Publishers.
    SUGGESTED COURSES Introductory level A (Requires very little background in logic .): 4: -9 - - -7 -2 Introductory level B: -9,:+-+ -,2:+,2: -,3:20+-22+ -7 -2 ...
    Direct download  
     
    Export citation  
     
    Bookmark   85 citations  
  • A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13:81-137.
  • Semi-Revision.Sven Hansson - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):151-175.
    ABSTRACT Semi-revision is a mode of belief change that differs from revision in that the input sentence is not always accepted. A constructive approach to semi-revision is proposed. It requires an efficient treatment of local inconsistencies, which is more easily obtainable in belief base models than in belief set models. Axiomatic characterizations of two semi-revision operators are reported.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  • An Introduction to Modal Logic.G. E. Hughes - 1968 - London: Methuen.
  • Belief Revision in a Framework for Default Reasoning.Gerhard Brewka - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 206--222.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations