Multiple and iterated contraction reduced to single-step single-sentence contraction

DOI10.1007/S11229-009-9688-4MaRDI QIDQ987465zbMATH OpenOpenAlexFDO

Authors Sven Ove Hansson

Publication date 13 August 2010

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11229-009-9688-4

zbMATH Keywords

multiple contractionfull meet contractioniterated contractionspecified meet contraction

Mathematics Subject Classification ID

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

Recommendations

• Contraction Based on Sentential Selection
• Theory contraction and base contraction unified
• Decomposition of multiple AGM contraction: possibility and impossibility results
• A survey of multiple contractions
• Changes of disjunctively closed bases
• Maximal and perimaximal contraction
• Repertoire contraction
• Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
• A model for structural changes of belief
• Eradication

Cites work

• scientific article; zbMATH DE number 3831894 (Why is no real title available?)
• scientific article; zbMATH DE number 1333630 (Why is no real title available?)
• scientific article; zbMATH DE number 1784991 (Why is no real title available?)
• A note on partial meet package contraction
• A paraconsistent theory of belief revision
• A survey of multiple contractions
• A textbook of belief dynamics. Theory change and database updating
• Contraction Based on Sentential Selection
• Infinitary belief revision
• Knowledge in flux. Modeling the dynamics of epistemic states
• Logic Programming and Nonmonotonic Reasoning
• Multiple kernel contraction
• New operators for theory change
• On the logic of theory change: Partial meet contraction and revision functions
• Specified meet contraction

Cited in

(10)

• Decomposition of multiple AGM contraction: possibility and impossibility results
• Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
• Contraction Based on Sentential Selection
• Epistemic entrenchment-based multiple contractions
• Changing the scientific corpus
• Inter-definability of Horn contraction and Horn revision
• AGM 25 years. Twenty-five years of research in belief change
• The measurement of ranks and the laws of iterated contraction
• Rational evaluation in belief revision
• Iterated contraction based on indistinguishability

This page was built for publication: Multiple and iterated contraction reduced to single-step single-sentence contraction

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