<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/"><channel><title>Uncertainty on Moonment</title><link>https://moonment.net/en/tags/uncertainty/</link><description>Moon's notes on concepts, real projects, and reasoning open to review.</description><generator>Hugo</generator><language>en-US</language><managingEditor>Moon</managingEditor><webMaster>Moon</webMaster><copyright>© 2026 Moonment</copyright><lastBuildDate>Tue, 29 Sep 2026 15:04:00 +0800</lastBuildDate><atom:link href="https://moonment.net/en/tags/uncertainty/index.xml" rel="self" type="application/rss+xml"/><item><title>Logic and Probability: Deduction, Uncertainty, and Evidence</title><link>https://moonment.net/en/notes/logic-and-probability/</link><pubDate>Sun, 27 Sep 2026 23:27:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/logic-and-probability/</guid><description>Logic constrains what follows from premises; probability represents uncertainty and evidential support. This essay separates truth, validity, credence, conditional probability, Bayes, causation, and AI generation.</description><content:encoded><![CDATA[<p>Logic and probability both discipline inference, but they do not ask the same question.</p>
<blockquote>
<p><strong>Logic asks what follows from what. Probability asks how strongly the available information supports competing possibilities.</strong></p>
</blockquote>
<p>That distinction matters whenever evidence is incomplete. A conclusion can be logically valid but based on false premises. A hypothesis can be strongly supported without being entailed. A probability can equal one inside a model without expressing a logical truth.</p>
<p>Logic provides structure. Probability represents uncertainty within a structure. Neither can replace the other.</p>
<p>This essay focuses on their interface: why entailment is not conditional probability, and how deductive consequence relates to graded evidential support. <a href="/en/notes/what-is-logic/">Logic</a> treats consequence in its own right; <a href="/en/notes/probability-and-bayes/">Probability and Bayes</a> examines interpretations of probability and belief revision.</p>
<h2 id="the-scope-of-logic">The scope of “logic”</h2>
<p>Logic includes many systems: classical and non-classical logics, modal logic, temporal logic, inductive logic, and accounts of defeasible reasoning. The clearest starting point for comparison is classical deductive logic.</p>
<p>Classical logic studies propositions, truth values, and consequence. An argument is valid when there is no interpretation in which all its premises are true and its conclusion is false.<a href="https://plato.stanford.edu/entries/logic-classical/">Stanford Encyclopedia of Philosophy: Classical Logic</a></p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">All humans are mortal.
</span></span><span class="line"><span class="cl">Socrates is human.
</span></span><span class="line"><span class="cl">Therefore Socrates is mortal.
</span></span></code></pre></div><p>If both premises are true, the conclusion cannot be false. The relation can be written:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">D ⊨ C
</span></span></code></pre></div><p>This says that every interpretation satisfying premises <code>D</code> also satisfies conclusion <code>C</code>.</p>
<h2 id="validity-truth-and-soundness">Validity, truth, and soundness</h2>
<p>Validity concerns the form of an inference. It does not verify the premises.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">All fish can fly.
</span></span><span class="line"><span class="cl">Carp are fish.
</span></span><span class="line"><span class="cl">Therefore carp can fly.
</span></span></code></pre></div><p>The form is valid. The first premise is false. A sound argument therefore requires both:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">valid inference
</span></span><span class="line"><span class="cl">+ true premises
</span></span></code></pre></div><p>This produces three separate questions:</p>
<ol>
<li>Are the concepts and propositions clear?</li>
<li>Are the premises true or adequately supported?</li>
<li>Does the conclusion follow from them?</li>
</ol>
<p>Probability often enters the second question. Evidence may support a premise to some degree even when it cannot establish it deductively.</p>
<h2 id="what-probability-represents">What probability represents</h2>
<p>Probability assigns values between zero and one to events or propositions, but the meaning of those values depends on interpretation.</p>
<p>Probability may represent:</p>
<ul>
<li>long-run frequency across repeated trials;</li>
<li>an objective chance or propensity in a physical system;</li>
<li>evidential support for a proposition;</li>
<li>a rational or personal degree of belief;</li>
<li>the output distribution of a statistical model.</li>
</ul>
<p>These interpretations share mathematical rules without making the same philosophical claim about what probability is.<a href="https://plato.stanford.edu/entries/probability-interpret/">Stanford Encyclopedia of Philosophy: Interpretations of Probability</a></p>
<p>“There is a 70% probability of rain tomorrow” may summarize a calibrated forecast over comparable cases, a model distribution, or a degree of belief given current evidence. It does not say that rain is logically required.</p>
<h2 id="two-different-relations">Two different relations</h2>
<table>
  <thead>
      <tr>
          <th>Question</th>
          <th>Logic</th>
          <th>Probability</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Central concern</td>
          <td>Does the conclusion follow from the premises?</td>
          <td>How much support does the evidence give a possibility?</td>
      </tr>
      <tr>
          <td>Typical expression</td>
          <td>If A, then B</td>
          <td><code>P(B | A) = 0.7</code></td>
      </tr>
      <tr>
          <td>Strength</td>
          <td>necessary, possible, impossible</td>
          <td>a degree from 0 to 1</td>
      </tr>
      <tr>
          <td>Main failures</td>
          <td>contradiction, invalid inference, equivocation</td>
          <td>bad conditioning, ignored base rates, misspecified models</td>
      </tr>
      <tr>
          <td>Response to new information</td>
          <td>add, remove, or revise premises</td>
          <td>update a probability distribution</td>
      </tr>
  </tbody>
</table>
<p>Logical consequence is categorical relative to the premises:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">A ⊨ B
</span></span></code></pre></div><p>Conditional probability is graded:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(B | A) = 0.9
</span></span></code></pre></div><p>The second expression still allows cases in which A is true and B is false. A high conditional probability is not an entailment.</p>
<h2 id="truth-is-not-a-probability-value">Truth is not a probability value</h2>
<p>In classical logic, a proposition under an interpretation is true or false. Probability describes uncertainty about events or propositions; it does not turn truth into a percentage.</p>
<p>Before tomorrow arrives, a forecast may assign a 70% probability to rain. After time, place, and the criterion for rain are fixed, the proposition “it rained” is either true or false. The earlier probability described an uncertain epistemic or predictive state.</p>
<p>It helps to distinguish:</p>
<table>
  <thead>
      <tr>
          <th>Level</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>truth</td>
          <td>Is the proposition actually the case?</td>
      </tr>
      <tr>
          <td>evidential support</td>
          <td>How strongly does the available evidence support it?</td>
      </tr>
      <tr>
          <td>credence</td>
          <td>How strongly does an agent believe it?</td>
      </tr>
  </tbody>
</table>
<p>Evidence and credence can be represented probabilistically. Neither is identical to truth.</p>
<h2 id="probability-one-is-not-always-logical-necessity">Probability one is not always logical necessity</h2>
<p>If <code>D</code> logically entails <code>C</code>, and <code>P(D) &gt; 0</code>, a probability model that respects the logical relation must satisfy:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">D ⊨ C
</span></span><span class="line"><span class="cl">→ P(C | D) = 1
</span></span></code></pre></div><p>The converse does not generally hold:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(C | D) = 1
</span></span><span class="line"><span class="cl">⇏ D ⊨ C
</span></span></code></pre></div><p>Probability one means that the model assigns all relevant probability mass to the event. Logical necessity means that no interpretation satisfying the premises makes the proposition false.</p>
<p>Continuous distributions make the difference vivid. A single exact point can have probability zero while remaining a possible value. Probability zero therefore need not mean contradiction, just as probability one need not mean logical truth.</p>
<h2 id="invalid-deduction-can-still-contain-evidence">Invalid deduction can still contain evidence</h2>
<p>Consider:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">If it rains, the ground becomes wet.
</span></span><span class="line"><span class="cl">The ground is wet.
</span></span><span class="line"><span class="cl">Therefore it rained.
</span></span></code></pre></div><p>As a deductive argument, this affirms the consequent and is invalid. Sprinklers, cleaning, or a leak could also wet the ground.</p>
<p>Yet wet ground may raise the probability of rain when:</p>
<ul>
<li>rain nearly always wets the ground;</li>
<li>other causes of wet ground are uncommon;</li>
<li>rain itself is not extremely rare.</li>
</ul>
<p>The observation can support the hypothesis without proving it:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">not deductively entailed
</span></span><span class="line"><span class="cl">but probabilistically confirmed
</span></span></code></pre></div><p>Inductive logic studies relations of this kind: premises may make a conclusion more credible without guaranteeing it.<a href="https://plato.stanford.edu/entries/logic-inductive/">Stanford Encyclopedia of Philosophy: Inductive Logic</a></p>
<h2 id="probability-depends-on-logical-structure">Probability depends on logical structure</h2>
<p>Probabilities cannot be assigned coherently until the events or propositions are specified.</p>
<p>One must know:</p>
<ul>
<li>which events exclude one another;</li>
<li>which can occur together;</li>
<li>whether one event includes another;</li>
<li>what the condition in a conditional probability means;</li>
<li>what counts as the negation of an event;</li>
<li>whether the listed possibilities are exhaustive.</li>
</ul>
<p>Suppose:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">A = a user clicked an advertisement
</span></span><span class="line"><span class="cl">B = a user completed a purchase attributed to that click
</span></span></code></pre></div><p>If the operational definition makes B a subset of A, then:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">B → A
</span></span><span class="line"><span class="cl">P(B) ≤ P(A)
</span></span></code></pre></div><p>A report showing more attributed buyers than recorded clickers signals a definition, attribution, collection, or data-integration problem. A more sophisticated probability formula will not repair an incoherent event structure.</p>
<h2 id="bayes-connects-evidence-and-belief-revision">Bayes connects evidence and belief revision</h2>
<p>Bayes&rsquo; theorem is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(H | E) = P(E | H) × P(H) / P(E)
</span></span></code></pre></div><p>Here:</p>
<ul>
<li><code>H</code> is a hypothesis;</li>
<li><code>E</code> is evidence;</li>
<li><code>P(H)</code> is the prior probability;</li>
<li><code>P(E | H)</code> is the likelihood of the evidence if the hypothesis is true;</li>
<li><code>P(H | E)</code> is the posterior probability after observing the evidence.</li>
</ul>
<p>Bayesian reasoning does not assert:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">E occurred
</span></span><span class="line"><span class="cl">→ H must be true
</span></span></code></pre></div><p>It compares how expected the evidence would be under rival hypotheses, then reallocates confidence. Logical relations define hypotheses, evidence, exclusions, and implications. Probability quantifies the resulting uncertainty. Bayesian epistemology develops this into a normative account of rational belief revision.<a href="https://plato.stanford.edu/entries/epistemology-bayesian/">Stanford Encyclopedia of Philosophy: Bayesian Epistemology</a></p>
<p>Bayes also exposes a common error: confusing <code>P(E | H)</code> with <code>P(H | E)</code>. A test may be highly likely to return positive when a condition is present while the probability of the condition given a positive result remains much lower, especially when the condition is rare.</p>
<h2 id="probability-is-not-causation">Probability is not causation</h2>
<p>Logic, probability, and causation answer different questions:</p>
<table>
  <thead>
      <tr>
          <th>Relation</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>logical</td>
          <td>What must be accepted if the premises are accepted?</td>
      </tr>
      <tr>
          <td>probabilistic</td>
          <td>How does conditioning on information change uncertainty?</td>
      </tr>
      <tr>
          <td>causal</td>
          <td>What would change under an intervention, and through what process?</td>
      </tr>
  </tbody>
</table>
<p>A strong association may arise from reverse causation, a common cause, selection, measurement, or random variation. Causal analysis adds temporal order, counterfactual comparisons, interventions, mechanisms, and assumptions that identify an effect. The fuller account is developed in <a href="/en/notes/causality-causes-and-reasons/">What Causation Means</a>.</p>
<h2 id="probability-does-not-choose-an-action">Probability does not choose an action</h2>
<p>A well-calibrated probability still leaves practical questions unresolved:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">logic: is the reasoning coherent?
</span></span><span class="line"><span class="cl">probability: how likely are the outcomes?
</span></span><span class="line"><span class="cl">value: how good or bad are the outcomes?
</span></span><span class="line"><span class="cl">risk: which losses are tolerable?
</span></span><span class="line"><span class="cl">authority: who may make the choice?
</span></span><span class="line"><span class="cl">decision: which action is selected?
</span></span></code></pre></div><p>The option with the highest probability of success may have a trivial benefit, an unacceptable downside, or costs imposed on people who did not authorize the decision. Probability supplies inputs to decision-making; it does not settle values and responsibility.</p>
<h2 id="logic-and-probability-in-ai-systems">Logic and probability in AI systems</h2>
<p>A language model assigns probabilities to possible next tokens given context, then a decoding procedure selects outputs:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">context
</span></span><span class="line"><span class="cl">→ probability distribution over next tokens
</span></span><span class="line"><span class="cl">→ token selection
</span></span><span class="line"><span class="cl">→ generated text
</span></span></code></pre></div><p>High generation probability does not establish that a sentence is true, logically entailed, responsive to the user&rsquo;s actual aim, or authorized for action.</p>
<p>An AI system therefore needs more than probabilistic generation. Depending on the task, it may need:</p>
<ul>
<li>factual retrieval and source checks;</li>
<li>consistency and schema validation;</li>
<li>explicit rules and permission checks;</li>
<li>calculations or formal proofs;</li>
<li>execution results and external feedback.</li>
</ul>
<p>A fluent answer may be probable but contradictory. A valid derivation may be built on false retrieved facts. A calibrated prediction may still identify no useful intervention. These are different failure modes and require different checks.</p>
<h2 id="an-audit-for-uncertain-inference">An audit for uncertain inference</h2>
<p>When reading or constructing an argument under uncertainty, ask:</p>
<ol>
<li>What exactly are the propositions or events?</li>
<li>Which statements are premises, observations, assumptions, or definitions?</li>
<li>Is the conclusion entailed or only supported to a degree?</li>
<li>What evidence supports the premises?</li>
<li>What interpretation does the probability number have?</li>
<li>Is the conditioning information stated correctly?</li>
<li>Have base rates and rival hypotheses been considered?</li>
<li>Has an association or prediction been mistaken for a cause?</li>
<li>Which values, risks, and permissions remain outside the probability model?</li>
<li>What new evidence would change the conclusion?</li>
</ol>
<h2 id="conclusion">Conclusion</h2>
<p>Logic and probability impose different kinds of discipline on reasoning.</p>
<blockquote>
<p><strong>Logic specifies constraints among propositions and identifies what follows from accepted premises. Probability represents uncertainty about events or propositions and constrains how confidence should respond to evidence.</strong></p>
</blockquote>
<p>Their connection can be summarized as:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">logic defines the structure
</span></span><span class="line"><span class="cl">→ probability represents uncertainty within it
</span></span><span class="line"><span class="cl">→ evidence updates probabilities
</span></span><span class="line"><span class="cl">→ causal inquiry asks what changes what
</span></span><span class="line"><span class="cl">→ values and risks enter decisions
</span></span><span class="line"><span class="cl">→ action produces new evidence
</span></span></code></pre></div><p>Logic cannot replace probability when evidence is incomplete. Probability cannot replace logic when definitions conflict, possibilities are omitted, or an inference is invalid. Sound reasoning requires both the structure of consequence and the discipline of uncertainty.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://plato.stanford.edu/entries/logic-classical/">Stanford Encyclopedia of Philosophy: Classical Logic</a></li>
<li><a href="https://plato.stanford.edu/entries/logical-consequence/">Stanford Encyclopedia of Philosophy: Logical Consequence</a></li>
<li><a href="https://plato.stanford.edu/entries/probability-interpret/">Stanford Encyclopedia of Philosophy: Interpretations of Probability</a></li>
<li><a href="https://plato.stanford.edu/entries/logic-inductive/">Stanford Encyclopedia of Philosophy: Inductive Logic</a></li>
<li><a href="https://plato.stanford.edu/entries/epistemology-bayesian/">Stanford Encyclopedia of Philosophy: Bayesian Epistemology</a></li>
</ul>
]]></content:encoded></item><item><title>Expected Value: Probability, Risk, and Decision</title><link>https://moonment.net/en/notes/what-is-expected-value/</link><pubDate>Sun, 27 Sep 2026 23:00:28 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-expected-value/</guid><description>Expected value is a probability-weighted mean, not a prediction of the next outcome. This essay explains its mathematics, uses, limits, relation to risk, and role in decision theory.</description><content:encoded><![CDATA[<p>Expected value is often described as “what you can expect.” That phrase is convenient and dangerous. The expected value of a gamble may be an outcome that can never occur. It need not be the most likely outcome, and it does not promise what will happen next.</p>
<p>Expected value is a mathematical property of a probability distribution:</p>
<blockquote>
<p><strong>It is the probability-weighted mean of the values taken by a random variable.</strong></p>
</blockquote>
<p>Its importance comes from combining consequences and probabilities in one quantity. Its limitation is exactly the same: a single mean cannot preserve the full shape of a distribution or decide what risks a particular agent should accept.</p>
<h2 id="random-variables-and-distributions">Random variables and distributions</h2>
<p>A random variable assigns numerical values to outcomes. For a fair coin, define:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">heads → X = 1
</span></span><span class="line"><span class="cl">tails → X = 0
</span></span></code></pre></div><p>The corresponding distribution is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(X = 1) = 0.5
</span></span><span class="line"><span class="cl">P(X = 0) = 0.5
</span></span></code></pre></div><p>For a discrete random variable, expected value is defined as:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">E[X] = Σ xᵢ P(X = xᵢ)
</span></span></code></pre></div><p>For the coin:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">E[X] = 1 × 0.5 + 0 × 0.5 = 0.5
</span></span></code></pre></div><p>No single toss produces half a head. The expectation belongs to the distribution, not to an individual trial. OpenStax therefore describes expected value as the mean of a discrete random variable and, under repeated trials, as its long-run average.<a href="https://openstax.org/books/statistics/pages/4-2-mean-or-expected-value-and-standard-deviation">OpenStax: Mean or Expected Value and Standard Deviation</a></p>
<h2 id="expected-value-is-not-the-most-likely-outcome">Expected value is not the most likely outcome</h2>
<p>Consider a lottery:</p>
<table>
  <thead>
      <tr>
          <th>Outcome</th>
          <th style="text-align: right">Probability</th>
          <th style="text-align: right">Payoff</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>win</td>
          <td style="text-align: right">10%</td>
          <td style="text-align: right">$100</td>
      </tr>
      <tr>
          <td>lose</td>
          <td style="text-align: right">90%</td>
          <td style="text-align: right">$0</td>
      </tr>
  </tbody>
</table>
<p>Its expected payoff is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">E[X] = 0.1 × 100 + 0.9 × 0 = 10
</span></span></code></pre></div><p>Yet $10 is not a possible payoff, and $0 is the most likely result.</p>
<p>Several summaries answer different questions:</p>
<table>
  <thead>
      <tr>
          <th>Quantity</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>expected value</td>
          <td>Where is the probability-weighted mean?</td>
      </tr>
      <tr>
          <td>mode</td>
          <td>Which outcome is most likely?</td>
      </tr>
      <tr>
          <td>median</td>
          <td>Which value divides the probability mass in half?</td>
      </tr>
      <tr>
          <td>variance</td>
          <td>How widely do outcomes spread around the mean?</td>
      </tr>
      <tr>
          <td>quantile</td>
          <td>What threshold contains a stated share of outcomes?</td>
      </tr>
      <tr>
          <td>worst case</td>
          <td>How severe can the loss become?</td>
      </tr>
  </tbody>
</table>
<p>Two distributions can have the same expected value while assigning radically different probabilities to gains, losses, and extreme outcomes.</p>
<h2 id="when-does-expectation-become-a-long-run-average">When does expectation become a long-run average?</h2>
<p>Expected value is defined from a distribution. Its interpretation as an observed long-run average requires additional conditions.</p>
<p>The intuitive story assumes that:</p>
<ul>
<li>comparable trials can be repeated;</li>
<li>the generating process remains stable;</li>
<li>observations have suitable independence or regularity;</li>
<li>the expectation exists and is finite;</li>
<li>the agent can remain in the process long enough for averaging to matter.</li>
</ul>
<p>Under appropriate conditions, averages across many trials can approach the expected value. That does not imply that a single observation should be close to it.</p>
<p>Many important choices are not indefinitely repeatable. A medical intervention, an irreversible project, or a decision that can exhaust all available capital may give one agent only one relevant draw. Expected value can still describe the modeled distribution, but “it works on average” is not a complete personal decision rule.</p>
<h2 id="why-expected-value-is-useful">Why expected value is useful</h2>
<p>Expected value compresses a distribution into a quantity that can be compared and combined. It is especially useful when:</p>
<ul>
<li>decisions repeat many times;</li>
<li>losses can be pooled or diversified;</li>
<li>outcomes have a common numerical scale;</li>
<li>probabilities are reasonably stable;</li>
<li>no single adverse outcome destroys the decision maker.</li>
</ul>
<p>Expectation is linear:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">E[aX + bY] = aE[X] + bE[Y]
</span></span></code></pre></div><p>This property does not require <code>X</code> and <code>Y</code> to be independent. It allows the expected value of a total to be assembled from the expectations of its components, which makes expectation central in statistics, finance, insurance, operations research, and machine learning.</p>
<h2 id="equal-means-can-hide-unequal-risks">Equal means can hide unequal risks</h2>
<p>Compare two choices:</p>
<table>
  <thead>
      <tr>
          <th>Choice</th>
          <th>Outcome</th>
          <th style="text-align: right">Expected value</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>A</td>
          <td>receive $10 for certain</td>
          <td style="text-align: right">$10</td>
      </tr>
      <tr>
          <td>B</td>
          <td>50% receive $100; 50% lose $80</td>
          <td style="text-align: right">$10</td>
      </tr>
  </tbody>
</table>
<p>Their expected values are identical. Their distributions are not.</p>
<p>A decision maker still needs to inspect:</p>
<ol>
<li><strong>Dispersion:</strong> How far can outcomes depart from the mean?</li>
<li><strong>Tail risk:</strong> Can a low-probability loss be catastrophic?</li>
<li><strong>Ruin:</strong> Can one failure remove the ability to continue?</li>
<li><strong>Timing:</strong> When do costs and benefits occur?</li>
<li><strong>Reversibility:</strong> Can the choice be undone or repeated?</li>
<li><strong>Dependence:</strong> Do losses arrive together rather than independently?</li>
<li><strong>Model error:</strong> How reliable are the estimated probabilities and values?</li>
</ol>
<p>Expected value is one feature of a distribution. Treating it as the distribution itself discards the information most relevant to many high-stakes choices.</p>
<h2 id="from-expected-value-to-expected-utility">From expected value to expected utility</h2>
<p>A dollar does not have the same practical significance in every state or for every person. Losing $10,000 may be tolerable for one agent and ruinous for another. The numerical payoff and its value to the decision maker must therefore be distinguished.</p>
<p>Expected utility applies a utility function to outcomes before averaging:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">E[U(X)] = Σ P(X = xᵢ)U(xᵢ)
</span></span></code></pre></div><p>In standard normative decision theory, an option is evaluated by combining beliefs about possible outcomes with the agent&rsquo;s valuation of those outcomes. Under specified consistency conditions, preferences can be represented as maximizing expected utility.<a href="https://plato.stanford.edu/entries/decision-theory/">Stanford Encyclopedia of Philosophy: Decision Theory</a></p>
<p>This is a normative representation of rational choice under uncertainty, not a complete psychological description of how people actually decide. Kahneman and Tversky developed prospect theory partly as a descriptive challenge to expected utility accounts. Their experiments emphasized reference dependence, the special weight of certainty, and different patterns of risk attitude for gains and losses.<a href="https://www.ucl.ac.uk/anaesthesia/sites/anaesthesia/files/kahneman-tversky.pdf">Kahneman and Tversky: Prospect Theory</a></p>
<h2 id="what-do-the-probabilities-mean">What do the probabilities mean?</h2>
<p>Every expected value inherits the interpretation and quality of its probabilities. A probability may represent:</p>
<ul>
<li>a long-run frequency;</li>
<li>an objective physical chance or propensity;</li>
<li>evidential support for a proposition;</li>
<li>an agent&rsquo;s degree of belief;</li>
<li>a predictive distribution estimated by a model.</li>
</ul>
<p>These interpretations are related but not interchangeable. The philosophy of probability distinguishes physical, evidential, and subjective readings, each of which changes what an expected value claim means.<a href="https://plato.stanford.edu/entries/probability-interpret/">Stanford Encyclopedia of Philosophy: Interpretations of Probability</a></p>
<p>A calculation may be arithmetically exact while its inputs are poor. Outcomes may have been omitted, values may be measured on the wrong scale, or probabilities may come from stale data and an incorrect model.</p>
<blockquote>
<p><strong>An expected value is no more reliable than its outcome definitions, value assignments, and probability estimates.</strong></p>
</blockquote>
<h2 id="expected-value-does-not-choose-by-itself">Expected value does not choose by itself</h2>
<p>To use expected value in a real decision:</p>
<ol>
<li>Define the available actions.</li>
<li>List materially different outcomes for each action.</li>
<li>Check for omitted indirect effects.</li>
<li>State where each probability comes from.</li>
<li>Decide what numerical value is being measured.</li>
<li>Compute the expectation.</li>
<li>Inspect dispersion, quantiles, dependence, and tails.</li>
<li>Test whether the agent can survive the downside.</li>
<li>Vary uncertain inputs and see whether the ranking changes.</li>
<li>Update the model when new evidence arrives.</li>
</ol>
<p>The expected value is an input to judgment. It cannot determine whether the modeled objective is morally acceptable, whether a loss is survivable, or whether the decision maker has authority to expose others to the risk.</p>
<h2 id="a-final-definition">A final definition</h2>
<blockquote>
<p><strong>Expected value is the probability-weighted mean of a random variable, used to summarize the center of its probability distribution.</strong></p>
</blockquote>
<p>It is not:</p>
<ul>
<li>a promise about the next observation;</li>
<li>the most likely outcome;</li>
<li>necessarily a value that can occur;</li>
<li>a full description of risk;</li>
<li>an automatic decision.</li>
</ul>
<p>Expected value makes uncertain consequences comparable. Good judgment begins after that calculation, by restoring the information that the average leaves out.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://openstax.org/books/statistics/pages/4-2-mean-or-expected-value-and-standard-deviation">OpenStax: Mean or Expected Value and Standard Deviation</a></li>
<li><a href="https://plato.stanford.edu/entries/probability-interpret/">Stanford Encyclopedia of Philosophy: Interpretations of Probability</a></li>
<li><a href="https://plato.stanford.edu/entries/decision-theory/">Stanford Encyclopedia of Philosophy: Decision Theory</a></li>
<li><a href="https://plato.stanford.edu/entries/rationality-normative-utility/">Stanford Encyclopedia of Philosophy: Normative Theories of Rational Choice: Expected Utility</a></li>
<li><a href="https://www.ucl.ac.uk/anaesthesia/sites/anaesthesia/files/kahneman-tversky.pdf">Kahneman and Tversky: Prospect Theory: An Analysis of Decision under Risk</a></li>
</ul>
]]></content:encoded></item><item><title>Expectation: Belief, Hope, Norms, and Action</title><link>https://moonment.net/en/notes/what-is-expectation/</link><pubDate>Sun, 27 Sep 2026 23:00:27 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/what-is-expectation/</guid><description>Expectation can be a forecast, a hope, a social standard, or a belief about what action can achieve. This essay separates those meanings and connects them to intention, decision, and feedback.</description><content:encoded><![CDATA[<p>An expectation is not simply a hope about the future. It can be a forecast, a background assumption, a standard imposed on someone, or a belief about what an action will produce.</p>
<p>The ambiguity matters because these attitudes answer different questions:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">What do I think will happen?
</span></span><span class="line"><span class="cl">What do I want to happen?
</span></span><span class="line"><span class="cl">What is someone supposed to do?
</span></span><span class="line"><span class="cl">What do I believe my action can bring about?
</span></span></code></pre></div><p>When these questions are compressed into one word, desire can masquerade as evidence, prediction can sound like obligation, and another person&rsquo;s demand can be treated as a fact about the future.</p>
<h2 id="a-working-definition">A working definition</h2>
<p>An expectation can be defined as:</p>
<blockquote>
<p><strong>An expectation is an attitude toward an outcome that remains unresolved for an agent, representing that outcome as likely, anticipated, required, or connected to action.</strong></p>
</blockquote>
<p>The outcome is usually future-directed, but it need not concern an event that has not yet occurred. Someone may say, “I expect the package has already arrived,” when the delivery is complete but its status remains unknown to them. The important condition is epistemic openness: the agent does not yet know the outcome.</p>
<p>Every expectation therefore contains at least:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">an agent
</span></span><span class="line"><span class="cl">+ an unresolved outcome
</span></span><span class="line"><span class="cl">+ a way of representing that outcome
</span></span><span class="line"><span class="cl">+ some attitude toward its occurrence
</span></span></code></pre></div><p>The last element determines which kind of expectation is involved.</p>
<h2 id="expectation-expectancy-hope-and-anticipation">Expectation, expectancy, hope, and anticipation</h2>
<p>English separates several ideas that ordinary conversation often blends.</p>
<table>
  <thead>
      <tr>
          <th>Term</th>
          <th>Central question</th>
          <th>Typical emphasis</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>expectation</td>
          <td>What is likely, normal, or required?</td>
          <td>belief, baseline, or standard</td>
      </tr>
      <tr>
          <td>expectancy</td>
          <td>What outcome can this action produce?</td>
          <td>an action–outcome belief, especially in psychology</td>
      </tr>
      <tr>
          <td>hope</td>
          <td>What desirable possibility remains open?</td>
          <td>desire plus possibility</td>
      </tr>
      <tr>
          <td>anticipation</td>
          <td>How am I oriented toward what is approaching?</td>
          <td>attention and emotion before an event</td>
      </tr>
      <tr>
          <td>forecast</td>
          <td>What does a method or model predict?</td>
          <td>evidence-based prediction</td>
      </tr>
      <tr>
          <td>intention</td>
          <td>What am I committed to trying to do?</td>
          <td>agency and action commitment</td>
      </tr>
  </tbody>
</table>
<p>Hope has both a cognitive and a conative side. A standard philosophical account treats hope as involving a desired outcome together with belief that the outcome remains possible. A person can therefore hope for an outcome that they regard as very unlikely. That same person would not honestly say that they expect it.<a href="https://plato.stanford.edu/entries/hope/">Stanford Encyclopedia of Philosophy: Hope</a></p>
<p>Expectation usually places more weight on belief. Hope places more weight on desirability. Anticipation adds an affective and attentional orientation toward an approaching event.</p>
<h2 id="predictive-expectations">Predictive expectations</h2>
<p>A predictive expectation represents what an agent thinks will happen.</p>
<blockquote>
<p>Given the current release data, I expect adoption to grow next month.</p>
</blockquote>
<p>This is an epistemic judgment. It should answer to evidence, and it should change when the evidence changes.</p>
<p>A predictive expectation may be precise:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">There is a 70% chance that demand will exceed capacity.
</span></span></code></pre></div><p>It may also be qualitative:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Demand will probably remain stable.
</span></span></code></pre></div><p>Neither statement guarantees the outcome. Both summarize what the agent currently takes the evidence to support.</p>
<p>This kind of expectation should be kept separate from desire:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">I want A to happen.
</span></span><span class="line"><span class="cl">I currently expect B to happen.
</span></span></code></pre></div><p>There is no contradiction in holding both attitudes. Rational agency often begins by acknowledging that the desired outcome is not the most likely one.</p>
<h2 id="expectancy-as-an-actionoutcome-belief">Expectancy as an action–outcome belief</h2>
<p>In psychology, <em>expectancy</em> often refers to a belief that an action can produce a particular outcome. The APA Dictionary describes it both as a mental set shaping how a person approaches a situation and, in motivation theory, as a belief that one&rsquo;s actions can attain an outcome.<a href="https://dictionary.apa.org/expectancy">APA Dictionary of Psychology: Expectancy</a></p>
<p>This introduces agency:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">If I perform action A under conditions C,
</span></span><span class="line"><span class="cl">how likely is outcome O?
</span></span></code></pre></div><p>Such beliefs influence effort and persistence. If someone believes that preparation can change performance, preparation becomes instrumentally intelligible. If they believe that nothing they do can affect the result, motivation may collapse even when the desired outcome remains valuable.</p>
<p>Expectancy is still not intention. Believing that an action would work does not mean that the agent has decided to perform it.</p>
<h2 id="normative-expectations">Normative expectations</h2>
<p>An expectation can also express a standard rather than a forecast:</p>
<blockquote>
<p>The organization expects employees to protect confidential information.</p>
</blockquote>
<p>This sentence need not predict universal compliance. It states what employees are required or supposed to do.</p>
<p>Normative expectations organize families, workplaces, institutions, and social roles. They also raise questions of authority:</p>
<ul>
<li>Who sets the expectation?</li>
<li>On what grounds?</li>
<li>Who bears the cost of compliance?</li>
<li>What follows from refusal?</li>
<li>Can the expectation be contested or renegotiated?</li>
</ul>
<p>The fact that a standard is widely expected does not establish that it is justified. A social regularity, a role demand, and a moral obligation are different things.</p>
<h2 id="expectations-can-alter-outcomes">Expectations can alter outcomes</h2>
<p>Expectations shape attention, interpretation, effort, and interaction. This can create a feedback loop:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">expectation
</span></span><span class="line"><span class="cl">→ attention and behavior
</span></span><span class="line"><span class="cl">→ changes in the situation or in other people
</span></span><span class="line"><span class="cl">→ observed outcome
</span></span><span class="line"><span class="cl">→ reinforcement or revision of the expectation
</span></span></code></pre></div><p>If someone expects to fail, they may prepare less, withdraw earlier, or interpret ambiguous feedback as confirmation. The resulting behavior can make failure more likely. In social interaction, a perceiver&rsquo;s expectation may elicit behavior from another person that appears to confirm the original belief, a process described as behavioral confirmation.<a href="https://dictionary.apa.org/behavioral-confirmation">APA Dictionary of Psychology: Behavioral Confirmation</a></p>
<p>This does not mean that thought directly controls reality. Expectations influence outcomes only through causal pathways such as attention, effort, communication, coordination, and the reactions of other people. External constraints and chance remain real.</p>
<h2 id="expectation-is-not-intention">Expectation is not intention</h2>
<p>Expectation belongs to a larger chain of agency:</p>
<table>
  <thead>
      <tr>
          <th>Concept</th>
          <th>Question answered</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>need</td>
          <td>What condition or capability is missing?</td>
      </tr>
      <tr>
          <td>desire</td>
          <td>What outcome do I want?</td>
      </tr>
      <tr>
          <td>expectation</td>
          <td>What outcome seems likely, normal, or required?</td>
      </tr>
      <tr>
          <td>intention</td>
          <td>What am I committed to trying to do?</td>
      </tr>
      <tr>
          <td>goal</td>
          <td>What state has been selected as an objective?</td>
      </tr>
      <tr>
          <td>decision</td>
          <td>Which available course receives priority?</td>
      </tr>
      <tr>
          <td>action</td>
          <td>What was actually done?</td>
      </tr>
      <tr>
          <td>outcome</td>
          <td>What did action and environment produce together?</td>
      </tr>
  </tbody>
</table>
<p>“I expect the article to reach more readers” expresses a belief or hope about an outcome. “I intend to revise the title and opening” introduces an action commitment. “I will revise the title today” is a more specific decision.</p>
<p>The full loop is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">expectation
</span></span><span class="line"><span class="cl">→ intention
</span></span><span class="line"><span class="cl">→ decision
</span></span><span class="line"><span class="cl">→ action
</span></span><span class="line"><span class="cl">→ outcome
</span></span><span class="line"><span class="cl">→ revised expectation
</span></span></code></pre></div><p>The arrows are not automatic. An expectation may never become an intention. An intention may not survive execution. Action does not control every cause of the final result.</p>
<h2 id="expectation-gaps-and-reference-points">Expectation gaps and reference points</h2>
<p>Expectations also become standards against which outcomes are experienced.</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">expectation gap = observed outcome − reference expectation
</span></span></code></pre></div><p>The same outcome can feel favorable when it exceeds the reference point and disappointing when it falls below it. The outcome has not changed; the comparison has.</p>
<p>Managing expectations should therefore not mean adopting permanent pessimism. A better practice is to separate four questions:</p>
<ol>
<li><strong>Desired outcome:</strong> What would I like to happen?</li>
<li><strong>Predictive judgment:</strong> What does the current evidence make likely?</li>
<li><strong>Controllable action:</strong> Which conditions can I influence?</li>
<li><strong>Risk boundary:</strong> What can I tolerate if the desired result does not occur?</li>
</ol>
<p>This preserves ambition without converting desire into prediction.</p>
<h2 id="how-to-examine-an-expectation">How to examine an expectation</h2>
<p>When a person or institution says, “I expect…,” ask:</p>
<ol>
<li>Who holds the expectation?</li>
<li>What outcome remains unresolved?</li>
<li>Is this a prediction, a hope, a standard, or an action–outcome belief?</li>
<li>If it is predictive, what evidence supports it?</li>
<li>If it is normative, who has authority and who bears the cost?</li>
<li>Which causal conditions can the agent influence?</li>
<li>Has the expectation become an intention, decision, or plan?</li>
<li>What observation would require revision?</li>
</ol>
<h2 id="a-final-definition">A final definition</h2>
<blockquote>
<p><strong>Expectation is an agent&rsquo;s orientation toward an unresolved outcome: a representation of what is likely, desired, normal, required, or achievable through action.</strong></p>
</blockquote>
<p>The concept spans three domains that must remain distinguishable:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">epistemic: what is likely to happen
</span></span><span class="line"><span class="cl">evaluative: what would be good to happen
</span></span><span class="line"><span class="cl">normative: what is supposed to happen
</span></span></code></pre></div><p>Once these are separated, expectations can be tested as beliefs, discussed as values, challenged as standards, and converted into action without being mistaken for guarantees.</p>
<h2 id="references">References</h2>
<ul>
<li><a href="https://plato.stanford.edu/entries/hope/">Stanford Encyclopedia of Philosophy: Hope</a></li>
<li><a href="https://dictionary.apa.org/expectancy">APA Dictionary of Psychology: Expectancy</a></li>
<li><a href="https://dictionary.apa.org/behavioral-confirmation">APA Dictionary of Psychology: Behavioral Confirmation</a></li>
</ul>
]]></content:encoded></item><item><title>The Human-AI Action Loop: Interpretation, Coordination, and Feedback</title><link>https://moonment.net/en/notes/human-ai-joint-action-loop/</link><pubDate>Fri, 18 Sep 2026 15:20:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/human-ai-joint-action-loop/</guid><description>People express partial intentions, AI systems construct revisable task models, and action plus feedback lets both sides correct goals, plans, and evidence.</description><content:encoded><![CDATA[<blockquote>
<p><strong>Series: Thinking, Intention, and Action (4/4).</strong> Start with <a href="/en/notes/human-thinking/">How Human Thinking Works</a></p>
</blockquote>
<h2 id="collaboration-is-more-than-prompt-and-response">Collaboration Is More Than Prompt and Response</h2>
<p>Human–AI interaction is often pictured as:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">human writes a prompt
</span></span><span class="line"><span class="cl">→ AI returns an answer
</span></span></code></pre></div><p>That picture captures a message exchange. It leaves out why the request arose, how the system selected an interpretation, who authorized an external action, and how the result changes the next decision.</p>
<p>A fuller model is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">human situation, need, and purpose
</span></span><span class="line"><span class="cl">→ provisional intention
</span></span><span class="line"><span class="cl">→ linguistic request
</span></span><span class="line"><span class="cl">→ AI task model
</span></span><span class="line"><span class="cl">→ calibration of goals and boundaries
</span></span><span class="line"><span class="cl">→ authorized plan and action
</span></span><span class="line"><span class="cl">→ observation of consequences
</span></span><span class="line"><span class="cl">→ human evaluation and system revision
</span></span><span class="line"><span class="cl">→ next cycle
</span></span></code></pre></div><blockquote>
<p><strong>Effective human–AI collaboration is a continuing process of alignment, action, observation, and correction around a shared task.</strong></p>
</blockquote>
<h2 id="intentions-are-not-fully-formed-before-language">Intentions Are Not Fully Formed Before Language</h2>
<p>A person does not always begin with a complete objective waiting to be encoded into a perfect prompt. Intentions often become clearer through articulation, comparison, and trial.</p>
<p>A request can contain several levels:</p>
<table>
  <thead>
      <tr>
          <th>Level</th>
          <th>Question</th>
          <th>Example</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Utterance</td>
          <td>What was said?</td>
          <td>“Handle this article.”</td>
      </tr>
      <tr>
          <td>Operational intent</td>
          <td>What should the AI do?</td>
          <td>Summarize, edit, rewrite, or publish?</td>
      </tr>
      <tr>
          <td>Task purpose</td>
          <td>Why do it?</td>
          <td>Public release, internal review, or private understanding?</td>
      </tr>
      <tr>
          <td>Value boundary</td>
          <td>What outcomes are acceptable?</td>
          <td>Preserve the argument, protect privacy, verify claims</td>
      </tr>
  </tbody>
</table>
<p>Only part of this structure is usually explicit. The rest may live in earlier turns, the active document, established conventions, institutional rules, or judgments the person has not yet made.</p>
<p>Longer prompts can supply more evidence. They cannot eliminate the underlying problem. Length can also add contradiction, noise, and false precision.</p>
<h2 id="the-system-models-a-task-not-a-whole-person">The System Models a Task, Not a Whole Person</h2>
<p>An AI system has access to evidence such as:</p>
<ul>
<li>the current wording;</li>
<li>conversation history;</li>
<li>visible files and interfaces;</li>
<li>tool observations;</li>
<li>stored preferences and rules;</li>
<li>the user&rsquo;s acceptance or correction of intermediate results.</li>
</ul>
<p>From these signals it constructs a working task model:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">What is the object?
</span></span><span class="line"><span class="cl">What change is requested?
</span></span><span class="line"><span class="cl">What constraints apply?
</span></span><span class="line"><span class="cl">Which facts remain unknown?
</span></span><span class="line"><span class="cl">Which actions are authorized?
</span></span><span class="line"><span class="cl">What observable state counts as completion?
</span></span></code></pre></div><p>That model can become highly accurate without becoming a complete representation of the user&rsquo;s mind. Restricting claims to available evidence prevents the system from presenting speculation about a person as fact.</p>
<h2 id="three-kinds-of-understanding">Three Kinds of Understanding</h2>
<h3 id="semantic-understanding">Semantic understanding</h3>
<p>Can the system resolve the language? For example, what does “use the first one” refer to in the preceding exchange?</p>
<h3 id="operational-understanding">Operational understanding</h3>
<p>Can it turn the language into a concrete task? Which article, language, format, repository, and action are involved?</p>
<h3 id="outcome-understanding">Outcome understanding</h3>
<p>Does it know what state would satisfy the purpose? Is a generated file enough, or must the work be committed, deployed, and verified at a public URL?</p>
<p>These levels can separate:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">understanding the sentence
</span></span><span class="line"><span class="cl">≠
</span></span><span class="line"><span class="cl">knowing what operation to perform
</span></span><span class="line"><span class="cl">≠
</span></span><span class="line"><span class="cl">knowing what completion looks like
</span></span></code></pre></div><p>Many failures arise from disagreement about objects, permissions, or completion evidence even when the words were parsed correctly.</p>
<h2 id="building-a-shared-task-model">Building a Shared Task Model</h2>
<p>Human and system gradually establish a shared, revisable representation of the task. It normally includes:</p>
<table>
  <thead>
      <tr>
          <th>Element</th>
          <th>Question</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Object</td>
          <td>Which file, page, account, product, or problem is being changed?</td>
      </tr>
      <tr>
          <td>Goal</td>
          <td>What change should occur?</td>
      </tr>
      <tr>
          <td>Constraints</td>
          <td>Which facts, formats, styles, privacy limits, and rules must hold?</td>
      </tr>
      <tr>
          <td>Evidence</td>
          <td>What is known, inferred, disputed, or unavailable?</td>
      </tr>
      <tr>
          <td>Authorization</td>
          <td>How far may the system act?</td>
      </tr>
      <tr>
          <td>Completion</td>
          <td>What observable result establishes success?</td>
      </tr>
  </tbody>
</table>
<p>This does not require the person to specify everything at once. A system can use established context and produce reversible work while seeking information only where it changes the result or the permission boundary.</p>
<p>Good collaboration retains decisions already made. It also remains open to revision when new evidence conflicts with an earlier interpretation.</p>
<h2 id="clarify-assume-or-act">Clarify, Assume, or Act?</h2>
<p>Ambiguity does not force a choice between blind guessing and endless questioning. The practical rule depends on:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">degree of ambiguity × cost of error × reversibility
</span></span></code></pre></div><h3 id="low-cost-and-reversible">Low cost and reversible</h3>
<p>Proceed with a stated assumption or a draft. The result itself can help the person clarify the target.</p>
<h3 id="moderate-ambiguity">Moderate ambiguity</h3>
<p>Preserve alternatives, complete the common work, or present comparable options.</p>
<h3 id="high-consequence-or-difficult-to-reverse">High consequence or difficult to reverse</h3>
<p>Confirm the object, scope, and authorization before publication, payment, external messaging, or irreversible deletion.</p>
<p>The purpose of clarification is to control consequences. It should occur where a distinction materially changes the action.</p>
<h2 id="a-prompt-is-evidence-not-a-complete-contract">A Prompt Is Evidence, Not a Complete Contract</h2>
<p>A prompt directly constrains the current task, but its force still depends on context and conversational commitments.</p>
<p>Closely related sentences license different actions:</p>
<ul>
<li>“Can this be published?” requests an assessment.</li>
<li>“Prepare this for publication” authorizes editing.</li>
<li>“Publish this on the site” authorizes an external action.</li>
<li>“I may publish this later” reports a possibility.</li>
</ul>
<p>A system must distinguish questions, proposals, background information, corrections, and authorization.</p>
<p>Conversation also creates durable commitments. Once the person selects an option, approves publication, or defines a format, those decisions should guide later steps. The operative instruction is distributed across the interaction, not confined to the latest sentence.</p>
<h2 id="action-tests-understanding">Action Tests Understanding</h2>
<p>Restating a request does not prove that both sides share the same model. Action exposes hidden disagreement.</p>
<p>A person says, “Update the article on the website.” The system may create local Markdown but fail to commit it; commit without deployment; deploy one language but omit the other; publish both pages but leave discovery files stale.</p>
<p>Verification must therefore proceed through layers:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">task interpretation is correct
</span></span><span class="line"><span class="cl">→ artifact content is correct
</span></span><span class="line"><span class="cl">→ action actually occurred
</span></span><span class="line"><span class="cl">→ external state changed
</span></span><span class="line"><span class="cl">→ the outcome satisfies the purpose
</span></span></code></pre></div><p>Each layer produces evidence. A failed action also reveals which assumption or completion criterion was missing.</p>
<h2 id="the-joint-action-loop">The Joint Action Loop</h2>
<p>The process can be described in eight stages.</p>
<h3 id="1-the-person-encounters-a-problem">1. The person encounters a problem</h3>
<p>A need, obstacle, opportunity, or unsatisfactory result creates pressure to change the current state.</p>
<h3 id="2-a-provisional-intention-forms">2. A provisional intention forms</h3>
<p>The person selects a direction, although the goal, method, and standard may remain incomplete.</p>
<h3 id="3-the-request-is-externalized">3. The request is externalized</h3>
<p>Language carries part of the intention into a prompt, together with available context and constraints.</p>
<h3 id="4-the-ai-constructs-candidate-interpretations">4. The AI constructs candidate interpretations</h3>
<p>The system identifies objects, actions, constraints, missing information, and competing task models.</p>
<h3 id="5-the-task-is-calibrated">5. The task is calibrated</h3>
<p>History, paraphrase, drafts, options, or a necessary question make the interpretation clear enough for the next action.</p>
<h3 id="6-the-ai-acts-within-authorization">6. The AI acts within authorization</h3>
<p>The system plans steps, invokes tools, preserves state, and checks permission at consequential boundaries.</p>
<h3 id="7-consequences-are-observed">7. Consequences are observed</h3>
<p>Files, command results, public pages, user reactions, and other evidence show what actually happened.</p>
<h3 id="8-both-sides-revise">8. Both sides revise</h3>
<p>The person may change the goal, correct a mismatch, or accept the result. The system updates its task model and continues or stops.</p>
<p>The cycle is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">intention
</span></span><span class="line"><span class="cl">→ expression
</span></span><span class="line"><span class="cl">→ interpretation
</span></span><span class="line"><span class="cl">→ calibration
</span></span><span class="line"><span class="cl">→ action
</span></span><span class="line"><span class="cl">→ observation
</span></span><span class="line"><span class="cl">→ evaluation
</span></span><span class="line"><span class="cl">→ revised intention
</span></span></code></pre></div><h2 id="a-division-of-responsibility">A Division of Responsibility</h2>
<p>A joint loop does not make human and system responsibility identical.</p>
<h3 id="the-person-contributes">The person contributes</h3>
<ul>
<li>the real situation that needs to change;</li>
<li>value judgments and ultimate purpose;</li>
<li>private context and unspoken constraints;</li>
<li>authorization for consequential actions;</li>
<li>final acceptance of whether the outcome is worth having.</li>
</ul>
<h3 id="the-ai-system-contributes">The AI system contributes</h3>
<ul>
<li>a structured interpretation of available evidence;</li>
<li>alternative plans and their relevant differences;</li>
<li>executable steps and tool use;</li>
<li>explicit uncertainty, permission, and completion states;</li>
<li>rapid revision when new evidence arrives.</li>
</ul>
<h3 id="the-platform-or-organization-contributes">The platform or organization contributes</h3>
<ul>
<li>identity and access control;</li>
<li>data and privacy boundaries;</li>
<li>logs, versioning, and recovery;</li>
<li>failure handling and assignment of accountability;</li>
<li>observable status for external actions.</li>
</ul>
<p>The AI cannot settle every value question for a person. A person cannot explain every failure by pointing only to an isolated model. Outcomes belong to the complete sociotechnical arrangement.</p>
<h2 id="where-the-loop-breaks">Where the Loop Breaks</h2>
<h3 id="a-feeling-is-mistaken-for-a-complete-objective">A feeling is mistaken for a complete objective</h3>
<p>A person knows that an output is wrong but cannot yet specify the desired alternative. The system should help compare concrete possibilities rather than assume a unique hidden answer.</p>
<h3 id="the-most-likely-interpretation-becomes-true-intent">The most likely interpretation becomes “true intent”</h3>
<p>High probability means that available evidence favors an interpretation. It does not reveal the person&rsquo;s complete private purpose.</p>
<h3 id="content-approval-becomes-action-approval">Content approval becomes action approval</h3>
<p>Accepting an article does not automatically authorize its public release.</p>
<h3 id="a-plan-is-reported-as-completion">A plan is reported as completion</h3>
<p>“We will update the site” is not deployment evidence. Local files, commits, deployments, and live pages are different states.</p>
<h3 id="only-the-output-is-evaluated">Only the output is evaluated</h3>
<p>A correct answer can result from an unreliable method. A failed attempt can expose an important unknown. Durable collaboration evaluates results, evidence, and the capacity to correct.</p>
<h3 id="feedback-does-not-update-the-next-cycle">Feedback does not update the next cycle</h3>
<p>If corrections are neither retained nor applied, the same mismatch repeats and no learning loop forms.</p>
<h2 id="improving-the-loop">Improving the Loop</h2>
<p>A person can improve collaboration by:</p>
<ul>
<li>describing the desired change, not only naming an operation;</li>
<li>distinguishing exploration, drafting, revision, approval, and publication;</li>
<li>stating unacceptable outcomes at consequential points;</li>
<li>locating feedback at the level that was misunderstood;</li>
<li>allowing the intention itself to change after new evidence.</li>
</ul>
<p>An AI system can improve collaboration by:</p>
<ul>
<li>separating explicit requirements, inferences, and unknowns;</li>
<li>carrying forward confirmed context;</li>
<li>using reversible artifacts to advance low-risk work;</li>
<li>checking object and authorization at high-consequence boundaries;</li>
<li>reporting observed results instead of plans;</li>
<li>updating its task model after correction.</li>
</ul>
<h2 id="conclusion">Conclusion</h2>
<p>A human encounters a situation, develops needs and intentions, and expresses only part of them in language. An AI system uses visible evidence to construct a task model, reason about options, and act through tools. The consequences and the person&rsquo;s evaluation then revise that model and may revise the original intention.</p>
<p>The central object is therefore not a perfect one-shot prompt. It is a shared loop that remains correctable:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">human purpose, values, and authorization
</span></span><span class="line"><span class="cl">+
</span></span><span class="line"><span class="cl">AI interpretation, planning, and execution
</span></span><span class="line"><span class="cl">+
</span></span><span class="line"><span class="cl">environmental consequences and evidence
</span></span><span class="line"><span class="cl">+
</span></span><span class="line"><span class="cl">feedback that changes the next cycle
</span></span></code></pre></div><blockquote>
<p><strong>Reliable collaboration does not require an AI to read an invisible “true mind.” It requires both sides to make the current task, action boundary, and evidence of completion progressively clearer.</strong></p>
</blockquote>
<h2 id="further-reading">Further Reading</h2>
<ul>
<li><a href="/en/notes/ai-user-intent-inference/">User Intent in AI: Inference Under Uncertainty</a></li>
<li><a href="/en/notes/ai-reasoning-and-action/">How AI Systems Reason and Act</a></li>
<li><a href="/en/notes/human-thinking/">How Human Thinking Works: Representation, Reasoning, and Action</a></li>
<li><a href="https://aclanthology.org/2024.emnlp-main.119/">EMNLP 2024: Making Language Models Explicitly Handle Ambiguity</a></li>
</ul>
]]></content:encoded></item><item><title>User Intent in AI: Inference Under Uncertainty</title><link>https://moonment.net/en/notes/ai-user-intent-inference/</link><pubDate>Sat, 12 Sep 2026 22:03:10 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/en/notes/ai-user-intent-inference/</guid><description>What AI systems mean by user intent, how prompts support competing interpretations, and why confirmation improves action without revealing a private mental fact.</description><content:encoded><![CDATA[<blockquote>
<p><strong>Series: Thinking, Intention, and Action (3/4).</strong> Previous: <a href="/en/notes/ai-reasoning-and-action/">How AI Systems Reason and Act</a>; next: <a href="/en/notes/human-ai-joint-action-loop/">How Humans and AI Form a Shared Action Loop</a></p>
</blockquote>
<p>When an AI system says that it has identified a user’s intent, it has not discovered a hidden object inside the user’s mind. It has selected an interpretation that is useful for deciding what to do next.</p>
<p>That distinction is fundamental. In product engineering, <strong>user intent</strong> is usually an operational variable: search for a flight, cancel an order, summarize a document, edit a file. In psychology and philosophy, intention can mean a practical commitment, a purpose in acting, or the mental organization of action. The engineering label is narrower and more provisional.</p>
<blockquote>
<p><strong>An AI system infers an actionable interpretation from available evidence. It does not directly observe the user’s full purpose.</strong></p>
</blockquote>
<h2 id="intent-is-a-model-of-the-task">“Intent” is a model of the task</h2>
<p>Consider the prompt:</p>
<blockquote>
<p>Check this proposal.</p>
</blockquote>
<p>Several actions fit the words:</p>
<ul>
<li>summarize the proposal;</li>
<li>verify its claims;</li>
<li>identify logical gaps;</li>
<li>edit the prose;</li>
<li>judge whether it should be approved.</li>
</ul>
<p>A system needs some representation of the requested task before it can respond. Traditional dialogue systems often assign a message to a predefined intent such as <code>cancel_order</code>, then extract slots such as an order number. A language model can infer and express a much wider range of tasks without a fixed list, but the underlying problem remains: <strong>which action does this utterance license in this context?</strong></p>
<p>The inferred intent is therefore a working hypothesis about the task, not a complete theory of the person.</p>
<h2 id="prompts-are-often-underspecified">Prompts are often underspecified</h2>
<p>Natural language relies on shared context. People omit information because another person can usually recover it from the situation.</p>
<p>“Make it shorter” presupposes a text and a relevant standard of brevity. “Use the first one” presupposes a previously presented set of options. “Publish it” may presuppose a particular site, account, version, audience, and approval state.</p>
<p>Linguistic meaning alone cannot supply all of this. A useful interpretation may depend on:</p>
<table>
  <thead>
      <tr>
          <th>Evidence</th>
          <th>What it contributes</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Current wording</td>
          <td>Explicit action, object, constraints, and modality</td>
      </tr>
      <tr>
          <td>Conversation history</td>
          <td>Referents, accepted decisions, corrections, and unresolved questions</td>
      </tr>
      <tr>
          <td>Visible workspace</td>
          <td>The file, page, repository, or application currently in use</td>
      </tr>
      <tr>
          <td>User conventions</td>
          <td>Stable preferences established in prior interaction</td>
      </tr>
      <tr>
          <td>System rules</td>
          <td>Permissions, safety boundaries, and required workflow</td>
      </tr>
      <tr>
          <td>Consequences</td>
          <td>How costly an incorrect interpretation would be</td>
      </tr>
  </tbody>
</table>
<p>Research on ambiguity shows why forcing every utterance into one interpretation can be brittle. Ellipsis, polysemy, and missing constraints can leave several readings reasonable at the same time. <a href="https://aclanthology.org/2024.emnlp-main.119/">EMNLP 2024: Making Language Models Explicitly Handle Ambiguity</a></p>
<h2 id="inference-is-better-represented-as-a-distribution">Inference is better represented as a distribution</h2>
<p>A simplified model is:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(task interpretation | prompt, context, environment, rules)
</span></span></code></pre></div><p>The system compares candidate interpretations under the evidence it can access. One interpretation may dominate; several may remain close; all may be poor because a crucial fact is missing.</p>
<p>This yields three different conditions:</p>
<ol>
<li><strong>Clear enough to act.</strong> One interpretation is strongly supported and the action is reversible.</li>
<li><strong>Ambiguous but manageable.</strong> The system can state an assumption, produce a draft, or preserve alternatives.</li>
<li><strong>Ambiguous and consequential.</strong> The system should obtain clarification or confirmation before an irreversible or externally consequential action.</li>
</ol>
<p>Confidence is decision-relative. The evidence needed to suggest a title is lower than the evidence needed to publish under someone’s name or transfer money.</p>
<h2 id="semantic-similarity-is-only-part-of-the-problem">Semantic similarity is only part of the problem</h2>
<p>Language models learn statistical relations among expressions and contexts. That helps them recognize that “clean this up” may request editing, or that code followed by an error message probably requests diagnosis.</p>
<p>But intent inference also involves pragmatics:</p>
<ul>
<li>What is the speaker trying to accomplish by saying this now?</li>
<li>Which earlier object does “it” refer to?</li>
<li>Is the sentence a request, a question, a correction, or background information?</li>
<li>Does a polite form conceal a firm requirement?</li>
<li>Is the user authorizing execution or merely discussing a possibility?</li>
</ul>
<p>Two prompts can be semantically similar while licensing different actions. “Can this be deleted?” asks about possibility. “Delete this” authorizes an action. “I am thinking about publishing it” does not necessarily authorize publication.</p>
<p>An effective system must therefore interpret language together with conversational commitments and action boundaries.</p>
<h2 id="a-deeper-goal-may-remain-hidden">A deeper goal may remain hidden</h2>
<p>Suppose a user asks for a resignation letter. Their immediate task may be clear: draft the letter. Their deeper purpose could be to resign, prepare for a negotiation, explore wording, write fiction, or test the system.</p>
<p>The system can often complete the immediate task without resolving the deeper goal. Confusing the two creates two errors:</p>
<ul>
<li><strong>Overreach:</strong> claiming knowledge of motives that the evidence does not support.</li>
<li><strong>Unnecessary friction:</strong> demanding a personal explanation when the requested task is already clear and safe to perform.</li>
</ul>
<p>A good assistant asks only for information that materially changes the work or the permission boundary. It can remain uncertain about a person’s deeper purpose while being precise about the action requested in the current turn.</p>
<h2 id="confirmation-changes-status-not-metaphysics">Confirmation changes status, not metaphysics</h2>
<p>If the assistant asks:</p>
<blockquote>
<p>Should I identify problems only, or rewrite the proposal as well?</p>
</blockquote>
<p>and the user answers:</p>
<blockquote>
<p>Rewrite it.</p>
</blockquote>
<p>then “rewrite the proposal” becomes an explicit instruction for the interaction. This is stronger evidence than the original ambiguous wording. It still does not prove every motive behind the request.</p>
<p>The most useful state model keeps these distinctions visible:</p>
<table>
  <thead>
      <tr>
          <th>State</th>
          <th>Meaning</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>Explicit</td>
          <td>Directly stated in the current instruction</td>
      </tr>
      <tr>
          <td>Inferred</td>
          <td>Supported by context but not directly stated</td>
      </tr>
      <tr>
          <td>Confirmed</td>
          <td>Restated and accepted for the present task</td>
      </tr>
      <tr>
          <td>Authorized</td>
          <td>Sufficient permission exists for the action</td>
      </tr>
      <tr>
          <td>Contradicted</td>
          <td>Later evidence conflicts with the interpretation</td>
      </tr>
      <tr>
          <td>Unknown</td>
          <td>Available evidence does not discriminate among relevant alternatives</td>
      </tr>
  </tbody>
</table>
<p>These labels describe evidence and workflow. They avoid a misleading field such as <code>true_intent = true</code>, which would turn an interpretation into an alleged psychological fact.</p>
<h2 id="intent-and-authorization-must-remain-separate">Intent and authorization must remain separate</h2>
<p>A model may correctly infer what a user wants and still lack authorization to perform the action. It may also have general permission to edit a workspace while misunderstanding which file the user meant.</p>
<p>Reliable systems therefore ask two separate questions:</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">Interpretation: What action is most likely being requested?
</span></span><span class="line"><span class="cl">Authorization: Is the system permitted to perform that action now?
</span></span></code></pre></div><p>This is especially important for publication, messages sent to other people, purchases, deletion, deployment, and access to private data. A confident guess does not create permission.</p>
<p>The inverse matters too. Repeatedly asking for confirmation after permission has already been granted adds friction and can obscure the actual uncertainty. The system should preserve prior authorization while remaining open to new corrections.</p>
<h2 id="action-is-a-test-of-interpretation">Action is a test of interpretation</h2>
<p>Because inferred intent is fallible, systems should prefer actions that produce useful feedback at low cost:</p>
<ul>
<li>draft before publishing;</li>
<li>preview before replacing;</li>
<li>show a diff before merging;</li>
<li>preserve previous versions;</li>
<li>state a consequential assumption;</li>
<li>make uncertain fields explicit rather than filling them with invented values.</li>
</ul>
<p>The user’s response then supplies new evidence. Acceptance, correction, revision, or rejection updates the working interpretation.</p>
<p>This resembles Bayesian learning in a broad sense: begin with candidate interpretations, observe evidence, update their relative plausibility, and continue revising. But the analogy has limits. A production language model does not necessarily maintain a transparent table of hypotheses or calibrated posterior probabilities, and a plausible interpretation is not thereby the user’s private truth.</p>
<h2 id="what-an-ai-system-can-responsibly-claim">What an AI system can responsibly claim</h2>
<p>An AI system can sometimes say:</p>
<ul>
<li>“The prompt explicitly asks for a rewrite.”</li>
<li>“Given the previous turn, ‘the first one’ most likely refers to option one.”</li>
<li>“The user confirmed that publication is authorized.”</li>
<li>“Two interpretations remain plausible.”</li>
</ul>
<p>It should be much more cautious about claims such as:</p>
<ul>
<li>“This is what the user really wants.”</li>
<li>“The user’s deeper motive is X.”</li>
<li>“The person had no intention to do Y.”</li>
</ul>
<p>The defensible conclusion is precise:</p>
<blockquote>
<p><strong>AI can infer, test, and confirm operational interpretations of a request. It cannot turn limited linguistic evidence into certainty about a person’s complete or ‘true’ intention.</strong></p>
</blockquote>
<h2 id="sources">Sources</h2>
<ul>
<li><a href="https://aclanthology.org/2024.emnlp-main.119/">EMNLP 2024: Making Language Models Explicitly Handle Ambiguity</a></li>
<li><a href="https://openai.com/index/our-approach-to-the-model-spec/">OpenAI: Our Approach to the Model Spec</a></li>
<li><a href="https://plato.stanford.edu/entries/intention/">Stanford Encyclopedia of Philosophy: Intention</a></li>
<li><a href="https://plato.stanford.edu/entries/questions/">Stanford Encyclopedia of Philosophy: The Pragmatics of How and Why Questions</a></li>
</ul>
]]></content:encoded></item></channel></rss>