On the logic of iterated belief revision

DOI10.1016/S0004-3702(96)00038-0zbMath1018.03012MaRDI QIDQ1399119

Judea Pearl, Adnan Darwiche

Publication date: 30 July 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

conditional beliefsepistemic statesqualitative probabilityiterated revisionAGM postulatesprobabilistic conditioning

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (only showing first 100 items - show all)

Belief models: An order-theoretic investigation ⋮ Ranking kinematics for revising by contextual information ⋮ Inter-definability of Horn contraction and Horn revision ⋮ Considerations on Belief Revision in an Action Theory ⋮ Contraction in propositional logic ⋮ Iterated descriptor revision and the logic of Ramsey test conditionals ⋮ Merging epistemic states and manipulation ⋮ Theory-relational belief revision ⋮ Belief revision, conditional logic and nonmonotonic reasoning ⋮ The measurement of ranks and the laws of iterated contraction ⋮ Maximal contractions in Boolean algebras ⋮ What kind of independence do we need for multiple iterated belief change? ⋮ The irreducibility of iterated to single revision ⋮ Plausible reasoning and plausibility monitoring in language comprehension ⋮ Impossibility in belief merging ⋮ Belief revision and projection in the epistemic situation calculus ⋮ A decomposition based algorithm for maximal contractions ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ Double preference relations for generalised belief change ⋮ Extending Removed Sets Revision to partially preordered belief bases ⋮ A kinematics principle for iterated revision ⋮ A programmable approach to maintenance of a finite knowledge base ⋮ An algebraic approach to revising propositional rule-based knowledge bases ⋮ Non-prioritized ranked belief change ⋮ Elementary belief revision operators ⋮ A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics ⋮ Parallel belief revision: revising by sets of formulas ⋮ Bounded revision: two-dimensional belief change between conservative and moderate revision ⋮ Conditional ranking revision. Iterated revision with sets of conditionals ⋮ Three approaches to iterated belief contraction ⋮ Belief change in branching time: AGM-consistency and iterated revision ⋮ Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches ⋮ Stratified belief bases revision with argumentative inference ⋮ Revising beliefs on the basis of evidence ⋮ Managing software requirements changes based on negotiation-style revision ⋮ A Survey of Ranking Theory ⋮ A framework for managing uncertain inputs: an axiomization of rewarding ⋮ Sum-based weighted belief base merging: from commensurable to incommensurable framework ⋮ An extension-based approach to belief revision in abstract argumentation ⋮ On the revision of informant credibility orders ⋮ Knowability as potential knowledge ⋮ Ranking functions and rankings on languages ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ On the revision of probabilistic beliefs using uncertain evidence ⋮ Transmission failure, AGM style ⋮ Distance semantics for belief revision ⋮ Belief base change as priority change: a study based on dynamic epistemic logic ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ Information Fusion and Revision in Qualitative and Quantitative Settings ⋮ Intention as commitment toward time ⋮ Rational evaluation in belief revision ⋮ Reasoning with prioritized information by iterative aggregation of distance functions ⋮ How to deal with unbelievable assertions ⋮ Belief revision and verisimilitude based on preference and truth orderings ⋮ Keep changing your beliefs, aiming for the truth ⋮ A sketch of a dynamic epistemic semiring ⋮ AGM 25 years. Twenty-five years of research in belief change ⋮ How to revise a total preorder ⋮ Notes on the history of ideas behind AGM ⋮ Logic based merging ⋮ Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM ⋮ Iterated belief change in the situation calculus ⋮ Belief extrapolation (or how to reason about observations and unpredicted change) ⋮ An epistemic approach to nondeterminism: believing in the simplest course of events ⋮ What should I believe about what would have been the case? ⋮ Abductive logics in a belief revision framework ⋮ Computational methods for database repair by signed formulae ⋮ An investigation of parametrized difference revision operators ⋮ Revising event calculus theories to recover from unexpected observations ⋮ Exploring the gap between perfect Bayesian equilibrium and sequential equilibrium ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization ⋮ Belief revision in Horn theories ⋮ Iterated belief revision ⋮ From iterated revision to iterated contraction: extending the Harper identity ⋮ Decidable subsets of open logic and an algorithm for R-calculus ⋮ Towards a ``sophisticated model of belief dynamics. II: Belief revision ⋮ Nearly Counterfactual Revision ⋮ Two approaches to belief revision ⋮ Defeasible normative reasoning ⋮ Conditional descriptor revision and its modelling by a CSP ⋮ Trust is all you need: from belief revision to information revision ⋮ Syntax splitting for iterated contractions, ignorations, and revisions on ranking functions using selection strategies ⋮ A general multi-agent epistemic planner based on higher-order belief change ⋮ Bayesian belief revision based on Agent's criteria ⋮ Iterated belief revision, revised ⋮ Iterated belief change and the recovery axiom ⋮ Kinetic Consistency and Relevance in Belief Revision ⋮ Belief base contraction by belief accrual ⋮ Independence -- revision and defaults ⋮ Operational and complete approaches to belief revision ⋮ Belief revision conditionals: basic iterated systems ⋮ On strengthening the logic of iterated belief revision: proper ordinal interval operators ⋮ A belief revision framework for revising epistemic states with partial epistemic states ⋮ Properties of system W and its relationships to other inductive inference operators ⋮ Prolegomena to dynamic logic for belief revision ⋮ From knowledge-based programs to graded belief-based programs. I: On-line reasoning ⋮ Dynamic belief revision operators ⋮ A consistency-based approach for belief change ⋮ Weakening conflicting information for iterated revision and knowledge integration ⋮ Revision by comparison

Cites Work

• Unnamed Item
• Unnamed Item
• On the logic of theory change: safe contraction
• A logic for default reasoning
• Epistemic semantics for counterfactuals
• Propositional knowledge base revision and minimal change
• In defense of base contraction
• Nonmonotonic inference based on expectations
• Iterated revision and minimal change of conditional beliefs
• Belief revision: A critique
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• A test battery for rational database updating
• On the logic of theory change: Partial meet contraction and revision functions

This page was built for publication: On the logic of iterated belief revision