Recovery and epistemic residue

DOI10.1023/A:1008316915066MaRDI QIDQ1961951zbMATH OpenOpenAlexFDO

Authors Sven Ove Hansson

Publication date 25 October 2000

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008316915066

zbMATH Keywords

belief setspartial meet contractionrecovery

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Review text

`Recovery' is a property of partial meet contraction on belief sets that are closed under classical consequence, and it figures as one of the standard `postulates' that together provide a syntactic characterisation of the class of all partial meet contraction operations. Of all those postulates, it is the one most open to query from an intuitive point of view, and a number of authors have produced intuitive counterexamples. In recent papers, S. Glaister and the reviewer have each (separately and rather differently) attempted to meet such criticisms, arguing that the alleged counterexamples show rather less than has been claimed for them. In the paper under review, the author summarises and discusses these `arguments for the defence'. He concludes that when applied to closed sets of formulae, recovery is reasonable as an idealisation -- where that term is understood in the sense of `a useful over-simplification' rather than as meaning a standard of excellence to be emulated.

Recommendations

• Counterexamples to recovery and the filtering condition
• On the logic of theory change: Contraction without recovery
• Recovery recovered
• Levi contractions and AGM contractions: A comparison
• scientific article; zbMATH DE number 1784999

Cited in

(12)

• Iterated belief change and the recovery axiom
• Recovery of (non)monotonic theories
• Recovery recovered
• Beyond recovery? A reply to Tennant. A critical discussion
• Back to basics: belief revision through direct selection
• JuDAS: a theory of rational belief revision
• Formalization in Philosophy
• scientific article; zbMATH DE number 1784999 (Why is no real title available?)
• Transmission failure, AGM style
• Belief revision and computational argumentation: a critical comparison
• Filtered belief revision: syntax and semantics
• Characterization of AGM Belief Contraction in Terms of Conditionals

This page was built for publication: Recovery and epistemic residue

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961951)