New operators for theory change

DOI10.1111/J.1755-2567.1989.TB00725.XMaRDI QIDQ5753941zbMATH OpenOpenAlexWikidataFDO

Authors Sven Ove Hansson

Publication date 1989

Published in Theoria (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1111/j.1755-2567.1989.tb00725.x

zbMATH Keywords

belief revisiongeneralized contraction and revision operatorsknowledge base updatetheory change

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other applications of logic (03B80) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1761411
• On the logic of theory change: Partial meet contraction and revision functions
• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
• Changes of disjunctively closed bases
• Theory-relational belief revision

Cited in

(48)

• Belief contraction without recovery
• In defense of base contraction
• A procedural model of voting
• A foundational theory of belief and belief change
• Belief change as change in epistemic entrenchment
• Reversing the Levi identity
• A survey of multiple contractions
• Changes of disjunctively closed bases
• Foundational belief change
• Local change
• Shielded base contraction
• A local meshless collocation method for solving certain inverse problems
• Partial meet pseudo-contractions
• Changes in preference
• Editor's introduction to the special issue on belief revision
• Belief revision, conditional logic and nonmonotonic reasoning
• A power algebra for theory change
• An investigation of parametrized difference revision operators
• Selective base revisions
• Theory-relational belief revision
• Repertoire contraction
• Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result
• Knowledge-level analysis of belief base operations
• Theory contraction and base contraction unified
• Preemption operators
• Eradication
• Possible worlds semantics for partial meet multiple contraction
• System of spheres-based multiple contractions
• scientific article; zbMATH DE number 1241662 (Why is no real title available?)
• scientific article; zbMATH DE number 1123620 (Why is no real title available?)
• Local Diagnosis
• From Information to Fact: A Theory of Belief Change
• Formalizing Belief Revision in Type Theory
• scientific article; zbMATH DE number 938664 (Why is no real title available?)
• Credibility-limited base revision: new classes and their characterizations
• Rational evaluation in belief revision
• Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions
• Taxonomy of improvement operators and the problem of minimal change
• AGM 25 years. Twenty-five years of research in belief change
• A glance at preemption operators
• Representation of basic improvement operators
• Infinitary belief revision
• Levi and Harper identities for non-prioritized belief base change
• Belief revision with satisfaction measure
• The dynamics of non-belief (with modesty)
• Doxastic logic based on causal structures
• Residual contraction
• Multiple and iterated contraction reduced to single-step single-sentence contraction

This page was built for publication: New operators for theory change

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