Shielded base contraction

DOI10.1016/j.artint.2018.03.007zbMath1445.68203OpenAlexW2792647923WikidataQ62045323 ScholiaQ62045323MaRDI QIDQ1647518

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

Publication date: 26 June 2018

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

Full work available at URL: http://hdl.handle.net/10400.13/3441

zbMATH Keywords

base contractionaxiomatic characterizationsshielded contractionbelief basesnon-prioritized belief change

Mathematics Subject Classification ID

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

Related Items (4)

TWO LEVEL CREDIBILITY-LIMITED REVISIONS ⋮ Toward credible belief base revision ⋮ Levi and Harper identities for non-prioritized belief base change ⋮ Credibility-limited Base Revision: New Classes and Their Characterizations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• AGM 25 years. Twenty-five years of research in belief change
• On the logic of theory change: safe contraction
• Two modellings for theory change
• Belief contraction without recovery
• Reversing the Levi identity
• Preferential belief change using generalized epistemic entrenchment
• A survey of multiple contractions
• A survey of non-prioritized belief revision
• Selective revision
• A textbook of belief dynamics. Theory change and database updating
• Semi-revision
• 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
• Safe Contraction Revisited
• New operators for theory change

This page was built for publication: Shielded base contraction