Levi and Harper identities for non-prioritized belief base change

DOI10.1016/J.ARTINT.2023.103907MaRDI QIDQ6161502zbMATH OpenOpenAlexFDO

Authors Marco Garapa, Eduardo Fermé, Mauricio Reis

Publication date 27 June 2023

Published in Artificial Intelligence (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.artint.2023.103907

zbMATH Keywords

belief basesbase revisionnon-prioritized belief changebase contractionHarper identityconsistency-preserving Levi identitycredibility-limited base revisionshielded base contraction

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Cites work

• scientific article; zbMATH DE number 3831894 (Why is no real title available?)
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 108002 (Why is no real title available?)
• scientific article; zbMATH DE number 3641411 (Why is no real title available?)
• scientific article; zbMATH DE number 1784991 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• scientific article; zbMATH DE number 761250 (Why is no real title available?)
• scientific article; zbMATH DE number 1420854 (Why is no real title available?)
• scientific article; zbMATH DE number 7450022 (Why is no real title available?)
• scientific article; zbMATH DE number 6747877 (Why is no real title available?)
• A semantic approach to non-prioritized belief revision
• A survey of multiple contractions
• A survey of non-prioritized belief revision
• A textbook of belief dynamics. Theory change and database updating
• AGM 25 years. Twenty-five years of research in belief change
• An Axiomatic Characterization of Ensconcement-Based Contraction
• Belief change. Introduction and overview
• Belief contraction without recovery
• Credibility dynamics: a belief-revision-based trust model with pairwise comparisons
• Credibility limited revision
• Credibility-limited Functions for Belief Bases
• Credibility-limited base revision: new classes and their characterizations
• Evaluative multiple revision based on core beliefs
• In defense of base contraction
• Kernel contraction
• Knowledge in flux. Modeling the dynamics of epistemic states
• New operators for theory change
• Non-prioritized ranked belief change
• On the logic of theory change: Partial meet contraction and revision functions
• On the status of the postulate of recovery in the logic of theory change
• Preferential belief change using generalized epistemic entrenchment
• Prioritized and non-prioritized multiple change on belief bases
• Resource bounded belief revision
• Reversing the Levi identity
• Selective base revisions
• Selective revision
• Shielded base contraction
• Subjunctives, dispositions and chances
• Theory contraction through base contraction
• Two level credibility-limited revisions

Cited in

(3)

• Non-prioritised kernel contraction
• System of Spheres-based Two Level Credibility-limited Revisions
• Maps between different kinds of two-level credibility-limited revision operators

This page was built for publication: Levi and Harper identities for non-prioritized belief base change

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