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)

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

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

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 ⋮ Handling Revision Inconsistencies: Towards Better Explanations ⋮ Infinite Ordinals and Finite Improvement ⋮ Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction ⋮ Iterated AGM revision based on probability revision ⋮ Merging operators on stratified belief bases equipped with argumentative inference ⋮ A Qualitative Theory of Cognitive Attitudes and their Change ⋮ On the logic of theory change iteration of KM-update ⋮ Belief revision and computational argumentation: a critical comparison ⋮ Filtered belief revision: syntax and semantics ⋮ On manipulation in merging epistemic states ⋮ Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Tracking probabilistic truths: a logic for statistical learning ⋮ On the Dynamics of Total Preorders: Revising Abstract Interval Orders ⋮ Unnamed Item ⋮ Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision ⋮ Belief change and 3-valued logics: Characterization of 19,683 belief change operators ⋮ Accommodative Belief Revision ⋮ A Verified AsmL Implementation of Belief Revision ⋮ Unnamed Item ⋮ On uniform belief revision ⋮ (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG ⋮ Information Fusion and Revision in Qualitative and Quantitative Settings ⋮ Logic-Based Fusion of Complex Epistemic States ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ Economics and Economy in the Theory of Belief Revision (Preliminary Report) ⋮ MATRIX REPRESENTATION OF BELIEF STATES: AN ALGEBRAIC SEMANTICS FOR BELIEF LOGICS ⋮ Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators ⋮ Revision operators with compact representations ⋮ Iterative probability kinematics ⋮ Incremental reasoning on monadic second-order logics with logic programming ⋮ Belief reconfiguration ⋮ Rational closure extension in SPO-representable inductive inference operators ⋮ Main issues in belief revision, belief merging and information fusion ⋮ Belief graphical models for uncertainty representation and reasoning ⋮ Syntax splitting and reasoning from weakly consistent conditional belief bases with c-inference ⋮ Expressing Belief Flow in Assertion Networks ⋮ The lexicographic closure as a revision process ⋮ On the semantics of combination operations ⋮ Conditional indifference and conditional preservation ⋮ Relevance Sensitive Non-Monotonic Inference on Belief Sequences ⋮ Hypothetical revision and matter-of-fact supposition ⋮ A framework for iterated revision ⋮ COMPLETENESS FOR COUNTER-DOXA CONDITIONALS – USING RANKING SEMANTICS ⋮ Handling conditionals adequately in uncertain reasoning and belief revision ⋮ Using Transfinite Ordinal Conditional Functions ⋮ Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points ⋮ Unnamed Item ⋮ Belief fusion and revision: an overview based on epistemic logic semantics ⋮ Logic and Learning ⋮ A Panorama of Iterated Revision ⋮ 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

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