A belief state needs an observation model; a planning score is not a probability
Use a small explicit partially observed model to distinguish state uncertainty, Bayesian evidence updates, heuristic rankings, and decision utility.
On this page
The question for today
What you’ll understand
- Compute a posterior using stated likelihoods and a positive normalizer.
- Identify conditional independence and repeated-evidence assumptions.
- Separate probability calibration, model uncertainty, and action-value judgments.
An agent often cannot directly observe whether a resource is healthy, a document is current, or an action succeeded. It can track explicit alternatives and gather evidence. A formal belief state is a probability distribution over a specified state space under a specified transition and observation model. A relevance score, verbal confidence label, or normalized set of model preferences is not automatically such a distribution. Use probabilities only with a defensible meaning, and preserve uncertainty or unknown states when the evidence does not justify a precise number.
State the hidden alternatives and their measurement model
A finite partially observed model names hidden states, possible actions, transition probabilities, and observation likelihoods. The belief distribution summarizes uncertainty under those assumptions. The POMDP literature derives its update by prediction through transitions followed by conditioning on the observed result. Those guarantees depend on the specified model; an open-ended language task rarely arrives with every state and likelihood known. A useful engineering record can instead list unresolved hypotheses, source evidence, and qualitative uncertainty without fabricating a calibrated probability for each one.
When numerical probabilities are used, document how they were estimated and evaluate calibration on relevant held-out outcomes. A softmax over arbitrary plan scores sums to one, but that algebra alone does not make its values probabilities of real-world success. Missing states, changing tools, and selective observations can invalidate calibration from another environment. A zero likelihood for an actual observation signals an unsupported case or model mismatch; do not divide by zero or silently assign certainty because the old model could not represent what occurred.
Do not count one observation as independent evidence twice
Two tool responses can reflect the same cached measurement, mirror the same source, or share a common failure. Treating them as conditionally independent can make a posterior unjustifiably extreme. Preserve observation IDs and source dependencies. If a second measurement is genuinely conditionally independent given a static state, repeated Bayes updates can be valid; if the state changes between probes, include the transition model. The number of agreeing text passages is not by itself the number of independent observations.
Belief and utility are also different. A decision combines state probabilities with a declared outcome or cost model; the most likely state need not determine the best action when consequences are asymmetric. A probability estimate can be well calibrated while the utility model ignores an important user requirement. Conversely, uncertainty can justify gathering a discriminating observation rather than immediately acting on the highest-scored plan. Keep evidence quality, state uncertainty, action costs, and acceptance constraints separate so a numerical preference cannot silently override a required precondition.
Test uncertainty statements against controlled evidence
Use a small known environment to verify the filtering arithmetic, then test repeated cached evidence, unexpected observations, changed likelihoods, and omitted alternatives. Measure both calibration and decision outcomes where the interpretation permits them. For an open-ended task, inspect whether the agent preserves unresolved hypotheses and requests or gathers the evidence that would distinguish them. A detailed numerical belief record is not useful if its likelihoods are invented. Report the uncertainty model and its limits with empirical performance rather than claiming formal POMDP optimality for an approximate language-agent controller.
The sampling lab displays an independent Bernoulli sample-mean law, not a belief filter. Reset, set both p=0.4 and n=25, predict mean 0.4 and variance 0.0096, then Play or Step. Reset and set both p=0.4 and n=100 for variance 0.0024. Exact binomial bars assume independent equal-probability trials; playback highlights outcomes, not random draws. The normal comparison is approximate and its Berry–Esseen value bounds standardized CDF error, not each bar or a posterior. The model supplies no tool likelihood, hidden state, correlated evidence, or probability calibration.
Work it through
Two diagnostic results update a stated static-state model
A toy resource is failed with prior probability 0.4 and working with 0.6. A diagnostic is positive with probability 0.9 when failed and 0.2 when working. A second diagnostic is conditionally independent given the same unchanged state and has the same likelihoods. Observe positive, then negative.
For the first positive, failed and working joint masses are 0.4×0.9=0.36 and 0.6×0.2=0.12. The positive normalizer is 0.48, so posterior failure probability is 0.36/0.48=0.75.
For the second negative, likelihoods are 0.1 if failed and 0.8 if working. Applying them to the new prior gives masses 0.75×0.1=0.075 and 0.25×0.8=0.2.
The new normalizer is 0.275, so failure probability is 0.075/0.275=3/11≈0.27272727. This update would not be justified if the second result merely repeated the first measurement or the state changed without a modeled transition.
The posterior follows explicit state, likelihood, independence, and timing assumptions. It is not an interpretation that can be attached to an arbitrary retrieval or planning score.
The living notebook
Explore the model
Interactive lab · sampling
An exact independent sampling law does not calibrate an agent belief
Reset, set both p=0.4 and n=25, predict mean 0.4 and variance 0.0096, then Play or Step. Reset and re-enter both p=0.4 and n=100 for variance 0.0024. Exact binomial masses assume independent trials and playback highlights outcomes, not samples. n caps at 100. The normal overlay is approximate and the Berry–Esseen value bounds standardized CDFs only; there is no hidden-state filter or tool observation model.
- Mean sample proportion
- 0.5
- Sample-mean variance
- 0.0125
- Uniform CDF error bound
- ≤ 0.1062
Exact binomial masses for the mean of n independent Bernoulli trials, compared with normal mass between adjacent half-count boundaries; normal tails outside the finite support remain outside the bars. Playback highlights outcomes, not random samples. The Berry–Esseen bound applies to standardized CDFs, not individual bars or continuity-corrected errors. At p = 0 or 1, normal comparison and that bound are disabled. Normal-CDF evaluation uses a numerical approximation with absolute error below 7.5×10⁻⁸ (at most 1.5×10⁻⁷ per interval, before rounding). Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forAttach probabilities to a specified evidence model, not merely to a normalized score display.
Pause & reason
Check your understanding
Your turn
Try it yourself
A static condition has prior probability 0.2. A test is positive with probability 0.8 when the condition holds and 0.1 otherwise. Compute the posterior after a positive. Why must a cached repeat not be treated as another independent positive?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Compare the two joint masses, then identify whether the second response contains a new measurement.
Compare with the solution
The masses are 0.2×0.8=0.16 and 0.8×0.1=0.08, so the posterior is 0.16/0.24=2/3. A cached repeat is the same evidence, not a new conditionally independent draw; multiplying another likelihood would double count it and produce unjustified certainty under this model.
Keep the idea
Take it with you
- A belief distribution requires a specified state space and evidence model.
- Source dependence and state changes matter when combining observations.
- Heuristic scores, calibrated probabilities, utility, and hard constraints play different roles.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.