Changes of disjunctively closed bases

DOI10.1007/BF01181682MaRDI QIDQ1322437zbMATH OpenOpenAlexFDO

Authors Sven Ove Hansson

Publication date 3 November 1994

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

Full work available at URL https://doi.org/10.1007/bf01181682

zbMATH Keywords

belief basebelief changebelief revisionbelief setdatabase updatingdisjunctively closed basespartial meet contractionrecovery postulaterevision operators

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Database theory (68P15)

Review text

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 reported on operations on bases that are closed under material implication.

Recommendations

• Theory contraction and base contraction unified
• Theory contraction and base contraction unified
• Kernel contraction

Cites work

• Belief contraction in the context of the general theory of rational choice
• Belief contraction without recovery
• scientific article; zbMATH DE number 4166927 (Why is no real title available?)
• In defense of base contraction
• Knowledge in flux. Modeling the dynamics of epistemic states
• Modellings for belief change: Prioritization and entrenchment*
• New operators for theory change
• On the logic of theory change: Partial meet contraction and revision functions
• On the status of the postulate of recovery in the logic of theory change
• Reasoning about action. I: A possible worlds approach
• Reversing the Levi identity
• Theory contraction through base contraction

Cited in

(27)

• Iterated belief change and the recovery axiom
• In defense of base contraction
• Belief change as change in epistemic entrenchment
• Belief revision in the service of scientific discovery
• Foundational belief change
• Non-prioritized ranked belief change
• Shielded base contraction
• Partial meet pseudo-contractions
• Levi contractions and AGM contractions: A comparison
• Four ways in which theories of belief revision could benefit from theories of epistemic justification
• Maximal and perimaximal contraction
• Knowledge-level analysis of belief base operations
• Theory contraction and base contraction unified
• An Axiomatic Characterization of Ensconcement-Based Contraction
• scientific article; zbMATH DE number 1241662 (Why is no real title available?)
• A Plea for Accuracy
• Outcome level analysis of belief contraction
• scientific article; zbMATH DE number 1420854 (Why is no real title available?)
• New operators for theory change
• Semi-contraction: Axioms and construction
• Double preference relations for generalised belief change
• Equilibria in social belief removal
• A general family of preferential belief removal operators
• Modelling supra-classical logic in a Boltzmann neural network. III: Adaptation
• Theory contraction through base contraction
• Residual contraction
• Multiple and iterated contraction reduced to single-step single-sentence contraction

This page was built for publication: Changes of disjunctively closed bases

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