Specified meet contraction

DOI10.1007/S10670-007-9088-4MaRDI QIDQ946198zbMATH OpenOpenAlexFDO

Authors Sven Ove Hansson

Publication date 22 September 2008

Published in Erkenntnis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10670-007-9088-4

zbMATH Keywords

AGMbelief changecontractionsentential selectors

Mathematics Subject Classification ID

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

Recommendations

• Contraction contracted
• Eligible contraction
• Partial meet pseudo-contractions
• On Strict Contractions
• A note on partial meet package contraction
• scientific article; zbMATH DE number 4131253
• Contraction and revision
• scientific article; zbMATH DE number 3944583
• Two Restrictions on Contraction

Cites work

• A survey of multiple contractions
• A textbook of belief dynamics. Theory change and database updating
• Belief contraction in the context of the general theory of rational choice
• Belief contraction without recovery
• scientific article; zbMATH DE number 3831894 (Why is no real title available?)
• Irrevocable belief revision and epistemic entrenchment
• Kernel contraction
• 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
• Severe withdrawal (and recovery)
• Theory contraction and base contraction unified
• Two methods of constructing contractions and revisions of knowledge systems

Cited in

(26)

• Foundational belief change
• Severe withdrawal (and recovery)
• Systematic withdrawal
• Multiple kernel contraction
• Levi contractions and AGM contractions: A comparison
• Finite contractions on infinite belief sets
• Back to basics: belief revision through direct selection
• Four ways in which theories of belief revision could benefit from theories of epistemic justification
• Repertoire contraction
• Impossibility results for belief contraction
• Blockage contraction
• Maximal and perimaximal contraction
• Iterated descriptor revision and the logic of Ramsey test conditionals
• Reconstruction of contraction operators
• An Axiomatic Characterization of Ensconcement-Based Contraction
• Bootstrap contraction
• Eradication
• Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
• Some Solved and Unsolved Remainder Equations
• Outcome level analysis of belief contraction
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases
• AGM 25 years. Twenty-five years of research in belief change
• Contraction Based on Sentential Selection
• On ensconcement and contraction
• Characterization of AGM Belief Contraction in Terms of Conditionals
• Multiple and iterated contraction reduced to single-step single-sentence contraction

This page was built for publication: Specified meet contraction

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