Two methods of constructing contractions and revisions of knowledge systems
From MaRDI portal
Publication:757343
DOI10.1007/BF00284973zbMath0723.03009OpenAlexW2036991004MaRDI QIDQ757343
Publication date: 1991
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00284973
epistemic entrenchmentbeliefrevisionAGM approachEE approachiterated contractionslogic of theory changepartial meet contraction functions
Related Items
Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision, Editor's introduction to the special issue on belief revision, Levi contractions and AGM contractions: A comparison, Constructive modelings for theory change, Contraction: On the decision-theoretical origins of minimal change and entrenchment, A glance at revision and updating in knowledge bases, Comparative possibility in set contraction, Belief Contraction in the Context of the General Theory of Rational Choice, Specified meet contraction, Studies on brutal contraction and severe withdrawal, Irrevocable belief revision in dynamic doxastic logic, Semi-contraction: Axioms and construction, Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators, An investigation of parametrized difference revision operators, Severe withdrawal (and recovery), Ordering-based representations of rational inference, Belief change as change in epistemic entrenchment, A Panorama of Iterated Revision, On knowledge evolution: acquisition, revision, contraction, Nonmonotonic inference based on expectations, A simple modal logic for belief revision, Revision by comparison
