Adnan KhanAdnanProduct & AI
San Francisco Bay Area
Get in touch

Source note2 min read

Selective Credibility-Limited Belief Update

Source

arXiv

arxiv.org/abs/2607.28523v1

Read the source

Source

Plain-Language Brief

The paper introduces a new method for updating an agent's beliefs called Selective Credibility-Limited Belief Update. This method allows for partial incorporation of epistemic inputs, meaning only part of a compound epistemic input can be realized. The paper provides semantic and axiomatic characterizations of this update operator and identifies two well-behaved sub-classes: consistency-preserving update operators and maximal consistency-preserving update operators. The framework is shown to encompass established approaches while supporting source-dependent selective acceptance.

What the Document Says

  • Belief update concerns changes in an agent's beliefs induced by changes in the world.
  • Standard Katsuno-Mendelzon update assumes incorporation from every initially possible world, but credibility-limited belief update restricts this.
  • Existing credibility-limited approaches treat epistemic input as indivisible.
  • The paper introduces Selective Credibility-Limited Belief Update that transforms the epistemic input relative to each source world before the credibility-limited transition.
  • Two well-behaved sub-classes are identified: consistency-preserving update operators and maximal consistency-preserving update operators.
  • The framework encompasses established approaches while supporting source-dependent selective acceptance.
  • Credibility-Limited Belief Update is recovered as a special case, and Katsuno--Mendelzon belief update emerges when credibility restrictions are removed.

Key Concepts Mentioned

  • Belief update
  • Epistemic input
  • Source world
  • Credibility-limited transition
  • Selective acceptance

Claims Made by the Document

  • Existing credibility-limited approaches treat epistemic input as indivisible.
  • The paper introduces a new method for belief update that allows for partial incorporation of epistemic inputs.
  • Two well-behaved sub-classes are identified within the proposed framework.

Evidence Used

  • The text describes the limitations of existing credibility-limited approaches and the introduction of a new method.
  • The text provides details about the two well-behaved sub-classes.

Methods / Approach

UNKNOWN

Limitations Stated by the Authors

UNKNOWN

Limitations Noted by the Agent

Agent interpretation — not from the source.

UNKNOWN

Open Questions

UNKNOWN

Notes for Future Q&A

May include interpretation. Labeled where it does.

UNKNOWN

Raw Abstract / Excerpt

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.