Iterated belief revision, revised
From MaRDI portal
Publication:1028892
DOI10.1016/j.artint.2006.11.002zbMath1168.03318OpenAlexW2072960772MaRDI QIDQ1028892
Publication date: 9 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2006.11.002
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)
Related Items
Belief Merging by Examples ⋮ On the logic of theory change: Partial meet contraction and revision functions ⋮ The sound and complete R-calculus for revising propositional theories ⋮ Contraction in propositional logic ⋮ Contraction in Propositional Logic ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ Belief revision and projection in the epistemic situation calculus ⋮ Iterated AGM revision based on probability revision ⋮ On the logic of theory change iteration of KM-update ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Extending Removed Sets Revision to partially preordered belief bases ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Parallel belief revision: revising by sets of formulas ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ Revising beliefs on the basis of evidence ⋮ Managing software requirements changes based on negotiation-style revision ⋮ On the Dynamics of Total Preorders: Revising Abstract Interval Orders ⋮ A framework for managing uncertain inputs: an axiomization of rewarding ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ A new psychologism in logic? Reflections from the point of view of belief revision ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ How to revise a total preorder ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ From iterated revision to iterated contraction: extending the Harper identity ⋮ Expressing Belief Flow in Assertion Networks ⋮ Nearly Counterfactual Revision ⋮ Incremental learning of event definitions with inductive logic programming ⋮ Using Transfinite Ordinal Conditional Functions ⋮ Iterated belief change and the recovery axiom ⋮ Kinetic Consistency and Relevance in Belief Revision ⋮ Belief base contraction by belief accrual ⋮ On strengthening the logic of iterated belief revision: proper ordinal interval operators ⋮ A Panorama of Iterated Revision ⋮ A belief revision framework for revising epistemic states with partial epistemic states
Cites Work
- Dynamic belief revision operators
- On the logic of theory change: safe contraction
- Propositional knowledge base revision and minimal change
- Belief change as change in epistemic entrenchment
- On the logic of iterated belief revision
- Coherence and conservatism in the dynamics of belief. I: Finding the right framework
- A survey of non-prioritized belief revision
- Iterated revision and minimal change of conditional beliefs
- Selective revision
- On the logic of theory change: Partial meet contraction and revision functions
- Ten Philosophical Problems in Belief Revision
- Coherence and Conservatism in the Dynamics of Belief II: Iterated Belief Change without Dispositional Coherence
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item