What kind of independence do we need for multiple iterated belief change?

DOI10.1016/J.JAL.2016.11.033MaRDI QIDQ2407482zbMATH OpenOpenAlexFDO

Authors Gabriele Kern-Isberner, Daniela Huvermann

Publication date 29 September 2017

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2016.11.033

zbMATH Keywords

iterated belief revisionconditional preservationC-revisionsindependence postulatesmultiple belief revision

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Logic Programming and Nonmonotonic Reasoning
• Iterated belief revision, revised
• On the logic of iterated belief revision
• The irreducibility of iterated to single revision
• Elementary belief revision operators

Cites work

• scientific article; zbMATH DE number 1844501 (Why is no real title available?)
• A thorough axiomatization of a principle of conditional preservation in belief revision
• Conditional ranking revision. Iterated revision with sets of conditionals
• Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
• Iterated belief revision, revised
• Knowledge in flux. Modeling the dynamics of epistemic states
• Logic Programming and Nonmonotonic Reasoning
• Multiple kernel contraction
• Nonmonotonic reasoning, conditional objects and possibility theory
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Parallel belief revision: revising by sets of formulas
• Properties of cross-entropy minimization
• Propositional knowledge base revision and minimal change
• Qualitative probabilities for default reasoning, belief revision, and causal modeling
• Selective revision
• Skeptical inference based on C-representations and its characterization as a constraint satisfaction problem
• Theory contraction through base contraction

Cited in

(3)

• Explicating logical independence
• Ranking kinematics for revising by contextual information
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

This page was built for publication: What kind of independence do we need for multiple iterated belief change?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407482)