Track trials, findings, and clinical evidence as it lands.
Search papers, labs, and topics across Lattice.
This paper introduces selective credibility-limited belief update, an advanced framework for belief revision that allows agents to incorporate only part of a compound epistemic input based on the credibility of successor worlds. By transforming the epistemic input into a weaker proxy relative to each source world before applying credibility-limited transitions, the authors provide both semantic and axiomatic characterizations of the new update operators. The framework not only recovers existing models like credibility-limited and Katsuno-Mendelzon updates as special cases but also enhances expressiveness and supports source-dependent selective acceptance in belief updates.
A new belief update framework allows agents to selectively incorporate only credible parts of complex epistemic inputs, vastly improving expressiveness in belief revision.
Belief update concerns changes in an agent's beliefs induced by changes in the underlying world. Standard Katsuno-Mendelzon update assumes that an epistemic input can be incorporated from every initially possible world, whereas credibility-limited belief update restricts, for each source world, the successor worlds regarded as credible or reachable. Nevertheless, existing credibility-limited approaches treat the epistemic input as an indivisible whole, and therefore cannot represent cases in which only part of a compound epistemic input can be realized. We introduce selective credibility-limited belief update, in which the epistemic input is transformed, relative to each source world, into a weaker proxy before the credibility-limited transition is performed. We provide semantic and axiomatic characterizations of the resulting class of update operators. We then identify two well-behaved sub-classes; namely, consistency-preserving update operators, which require every transformed epistemic input to be credible from its source world whenever the original epistemic input is consistent, and maximal consistency-preserving update operators, which additionally require the selected proxy to be maximally informative among the credible consequences of the original epistemic input. Finally, we establish the generality of the proposed framework by showing that credibility-limited belief update is recovered as a special case, while Katsuno--Mendelzon belief update emerges when credibility restrictions are removed and the transformation functions are taken to be identities. These results demonstrate that the framework provides a unified and strictly more expressive account of belief update, encompassing established approaches while supporting source-dependent selective acceptance.