From iterated revision to iterated contraction: extending the Harper identity

DOI10.1016/J.ARTINT.2019.103171MaRDI QIDQ2289014zbMATH OpenOpenAlexFDO

Authors Richard Booth, Jake Chandler

Publication date 20 January 2020

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL http://orca.cf.ac.uk/125889/1/EHIAIJ%20-%20after%20reviews.pdf

zbMATH Keywords

belief revisionbelief contractioniterated belief changerational closureHarper identity

Mathematics Subject Classification ID

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

Recommendations

• A conditional perspective for iterated belief contraction
• How do the Harper and Levi identities constrain belief change?
• On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
• Three approaches to iterated belief contraction
• Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches

Cites work

• scientific article; zbMATH DE number 1333624 (Why is no real title available?)
• scientific article; zbMATH DE number 1333625 (Why is no real title available?)
• scientific article; zbMATH DE number 1444719 (Why is no real title available?)
• scientific article; zbMATH DE number 5588549 (Why is no real title available?)
• A note on the rational closure of knowledge bases with both positive and negative knowledge
• A panorama of iterated revision
• Admissible and restrained revision
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Dynamic belief revision operators
• Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
• Handbook of computational social choice
• How to revise a total preorder
• Iterated belief change and the recovery axiom
• Iterated belief revision, revised
• Iterated revision and minimal change of conditional beliefs
• Knowledge in flux. Modeling the dynamics of epistemic states
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional knowledge base revision and minimal change
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• Strong belief and forward induction reasoning.
• The measurement of ranks and the laws of iterated contraction
• Three approaches to iterated belief contraction
• Two modellings for theory change
• What does a conditional knowledge base entail?
• When Maximizing Entropy gives the Rational Closure

Cited in

(9)

• Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
• Three approaches to iterated belief contraction
• On Iterated Contraction: Syntactic Characterization, Representation Theorem and Limitations of the Levi Identity
• How do the Harper and Levi identities constrain belief change?
• Dynamic preference logic meets iterated belief change: representation results and postulates characterization
• A conditional perspective for iterated belief contraction
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
• Elementary belief revision operators
• Iterated contraction based on indistinguishability

This page was built for publication: From iterated revision to iterated contraction: extending the Harper identity

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