Shielded Base Contraction (Extended Abstract)

Shielded Base Contraction (Extended Abstract)

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

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Journal track. Pages 6367-6371. https://doi.org/10.24963/ijcai.2019/889

In this paper we study a kind of non-prioritized contraction operator on belief bases -known as shielded base contractions. We propose twenty different classes of shielded base contractions and obtain axiomatic characterizations for each one of them. Additionally we thoroughly investigate the interrelations (in the sense of inclusion) among all those classes.
Keywords:
Knowledge Representation and Reasoning: Belief Change
Knowledge Representation and Reasoning: Reasoning about Knowlege and Belief