From iterated revision to iterated contraction: extending the Harper identity

DOI10.1016/j.artint.2019.103171zbMath1478.03023OpenAlexW2973442115MaRDI QIDQ2289014

Jake Chandler, Richard F. Booth

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 revisioniterated belief changebelief contractionrational closureHarper identity

Mathematics Subject Classification ID

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

Related Items (3)

Mixed Iterated Revisions: Rationale, Algorithms, and Complexity ⋮ Elementary belief revision operators ⋮ Dynamic preference logic meets iterated belief change: representation results and postulates characterization

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Three approaches to iterated belief contraction
• Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches
• How to revise a total preorder
• Dynamic belief revision operators
• Iterated belief revision, revised
• Iterated belief change and the recovery axiom
• Two modellings for theory change
• Propositional knowledge base revision and minimal change
• What does a conditional knowledge base entail?
• A note on the rational closure of knowledge bases with both positive and negative knowledge
• On the logic of iterated belief revision
• Strong belief and forward induction reasoning.
• Iterated revision and minimal change of conditional beliefs
• The measurement of ranks and the laws of iterated contraction
• Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
• On the logic of theory change: Partial meet contraction and revision functions
• When Maximizing Entropy gives the Rational Closure
• Handbook of Computational Social Choice
• A Panorama of Iterated Revision

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