Updating the Belief Promotion Operator
Updating the Belief Promotion Operator
Daniel A. Grimaldi, M. Vanina Martinez, Ricardo O. Rodriguez
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
Main Track. Pages 1901-1907.
https://doi.org/10.24963/ijcai.2021/262
In this note, we introduce the local version of the operator for belief promotion proposed by Schwind et al. We propose a set of postulates and provide a representation theorem that characterizes the proposal. This family of operators is related to belief promotion in the same way that updating is related to revision, and we provide several results that allow us to show this relationship formally. Furthermore, we also show the relationship of the proposed operator with features of credibility-limited revision theory.
Keywords:
Knowledge Representation and Reasoning: Belief Change
Knowledge Representation and Reasoning: Logics for Knowledge Representation
Knowledge Representation and Reasoning: Reasoning about Knowledge and Belief