Levi and Harper identities for non-prioritized belief base change
From MaRDI portal
Publication:6161502
DOI10.1016/j.artint.2023.103907OpenAlexW4360604032MaRDI QIDQ6161502
Maurício D. L. Reis, Eduardo L. Fermé, Marco Garapa
Publication date: 27 June 2023
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2023.103907
base contractionbase revisionbelief basesnon-prioritized belief changeHarper identityconsistency-preserving Levi identitycredibility-limited base revisionshielded base contraction
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Prioritized and non-prioritized multiple change on belief bases
- AGM 25 years. Twenty-five years of research in belief change
- Theory contraction through base contraction
- On the status of the postulate of recovery in the logic of theory change
- Belief contraction without recovery
- In defense of base contraction
- Subjunctives, dispositions and chances
- Reversing the Levi identity
- Preferential belief change using generalized epistemic entrenchment
- A survey of multiple contractions
- Non-prioritized ranked belief change
- A survey of non-prioritized belief revision
- Resource bounded belief revision
- Shielded base contraction
- Selective revision
- A textbook of belief dynamics. Theory change and database updating
- Selective base revisions
- Credibility dynamics: a belief-revision-based trust model with pairwise comparisons
- An Axiomatic Characterization of Ensconcement-Based Contraction
- On the logic of theory change: Partial meet contraction and revision functions
- Kernel contraction
- Credibility limited revision
- Credibility-limited Functions for Belief Bases
- TWO LEVEL CREDIBILITY-LIMITED REVISIONS
- A Semantic Approach to Non-prioritized Belief Revision
- Credibility-limited Base Revision: New Classes and Their Characterizations
- Belief Change
- Evaluative multiple revision based on core beliefs
- New operators for theory change
This page was built for publication: Levi and Harper identities for non-prioritized belief base change