Specified meet contraction
From MaRDI portal
Publication:946198
DOI10.1007/s10670-007-9088-4zbMath1155.03010MaRDI QIDQ946198
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
03B60: Other nonclassical logic
68T27: Logic in artificial intelligence
03B42: Logics of knowledge and belief (including belief change)
Related Items
OUTCOME LEVEL ANALYSIS OF BELIEF CONTRACTION, Iterated descriptor revision and the logic of Ramsey test conditionals, Reconstruction of contraction operators, Bootstrap contraction, Eradication, Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, AGM 25 years. Twenty-five years of research in belief change, Multiple and iterated contraction reduced to single-step single-sentence contraction, Finite contractions on infinite belief sets, Back to basics: belief revision through direct selection, Repertoire contraction, Impossibility results for belief contraction, Blockage contraction, Maximal and perimaximal contraction
Cites Work
- Two methods of constructing contractions and revisions of knowledge systems
- On the status of the postulate of recovery in the logic of theory change
- Belief contraction without recovery
- A survey of multiple contractions
- Severe withdrawal (and recovery)
- A textbook of belief dynamics. Theory change and database updating
- Theory contraction and base contraction unified
- On the logic of theory change: Partial meet contraction and revision functions
- Belief contraction in the context of the general theory of rational choice
- Kernel contraction
- Irrevocable belief revision and epistemic entrenchment
- Unnamed Item