Credibility-limited Base Revision: New Classes and Their Characterizations

DOI10.1613/jair.1.12298zbMath1496.68334OpenAlexW3108728726MaRDI QIDQ5139599

Maurício D. L. Reis, Marco Garapa, Eduardo L. Fermé

Publication date: 9 December 2020

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.12298

zbMATH Keywords

belief revisionknowledge representationbelief update

Mathematics Subject Classification ID

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

Related Items (4)

Toward credible belief base revision ⋮ Deductive belief change ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ System of Spheres-based Two Level Credibility-limited Revisions

Cites Work

• 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 logic of theory change: safe contraction
• Belief contraction without recovery
• In defense of base contraction
• Reversing the Levi identity
• Logic and philosophy of science in Uppsala. Papers from the 9th international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991
• A survey of non-prioritized belief revision
• Shielded base contraction
• Selective revision
• A textbook of belief dynamics. Theory change and database updating
• On the revision of informant credibility orders
• A test battery for rational database updating
• 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
• Trust as a Precursor to Belief Revision
• Belief Integration and Source Reliability Assessment
• Belief Change
• New operators for theory change
• OUP accepted manuscript

This page was built for publication: Credibility-limited Base Revision: New Classes and Their Characterizations