On the logic of iterated belief revision

From MaRDI portal

Publication:1399119

Jump to:navigation, search

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 beliefs epistemic states qualitative probability iterated revision AGM postulates probabilistic conditioning

Mathematics Subject Classification ID

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

Related Items

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, 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, (DIS)BELIEF CHANGE AND ARGUED FEED-BACK DIALOG, 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, Iterative probability kinematics, Incremental reasoning on monadic second-order logics with logic programming, 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

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1399119&oldid=13554685"