<?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/tags/uncertainty/</link><description>Moon 的概念笔记、真实项目与可复查的判断。</description><generator>Hugo</generator><language>zh-CN</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/tags/uncertainty/index.xml" rel="self" type="application/rss+xml"/><item><title>逻辑与概率：确定推导、不确定判断与证据</title><link>https://moonment.net/notes/logic-and-probability/</link><pubDate>Sun, 27 Sep 2026 23:27:00 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/notes/logic-and-probability/</guid><description>逻辑约束什么能够从前提推出，概率表达不完整信息下的可能性与证据支持。本文区分真值、有效性、置信度和条件概率，并说明贝叶斯、因果与 AI 中的边界。</description><content:encoded><![CDATA[<p>逻辑和概率都参与推理，但它们首先处理的是两类不同问题：</p>
<blockquote>
<p><strong>逻辑研究：接受某些前提以后，哪些结论必须成立、可能成立或不能成立。</strong></p>
</blockquote>
<blockquote>
<p><strong>概率研究：当结果尚未确定或信息不完整时，应当给不同事件或命题分配多大权重。</strong></p>
</blockquote>
<p>逻辑约束“什么能够从什么推出”，概率度量“在当前信息下应当多大程度相信什么”。</p>
<p>两者不是互相竞争的解释。概率计算需要逻辑帮助它确定命题、事件、条件和相互关系；逻辑推导进入现实问题时，也经常需要概率处理不完整证据和不确定前提。</p>
<p>本文只聚焦两者的接口：逻辑蕴含为何不同于条件概率，确定推导怎样与程度化的证据支持相接。需要单独了解推导体系，可读<a href="/notes/what-is-logic/">逻辑</a>；需要深入概率解释与贝叶斯更新，可读<a href="/notes/probability-and-bayes/">概率与贝叶斯</a>。</p>
<h2 id="本文所说的逻辑是什么">本文所说的“逻辑”是什么？</h2>
<p>“逻辑”是一个比日常使用更宽的学科概念。它可以研究演绎推理、归纳推理、模态、时间、义务、多值系统以及可撤销推理等不同形式。</p>
<p>为了说明逻辑与概率最基本的区别，本文首先以经典演绎逻辑为参照。</p>
<p>经典逻辑关心命题、真值以及前提和结论之间的有效推导关系。一个论证在逻辑上有效，意味着不存在这样一种解释：所有前提都是真的，而结论是假的。<a href="https://plato.stanford.edu/entries/logic-classical/">Stanford Encyclopedia of Philosophy: Classical Logic</a></p>
<p>例如：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">所有人都会死。
</span></span><span class="line"><span class="cl">苏格拉底是人。
</span></span><span class="line"><span class="cl">所以苏格拉底会死。
</span></span></code></pre></div><p>只要两个前提为真，结论就不可能为假。这里检查的是推导结构，而不是统计频率。</p>
<p>可以写成：</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>符号 <code>⊨</code> 表示：在所有使前提 <code>D</code> 为真的解释中，结论 <code>C</code> 也为真。</p>
<h2 id="有效推理不等于真实结论">有效推理不等于真实结论</h2>
<p>逻辑首先评价推理形式，不能替代对前提的事实检验。</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">所有鱼都会飞。
</span></span><span class="line"><span class="cl">鲤鱼是鱼。
</span></span><span class="line"><span class="cl">所以鲤鱼会飞。
</span></span></code></pre></div><p>这个论证的形式有效，但第一个前提不符合事实。因此，需要区分：</p>
<ul>
<li><strong>有效性</strong>：如果前提为真，结论是否必然为真；</li>
<li><strong>前提真实性</strong>：前提是否符合实际情况；</li>
<li><strong>可靠论证</strong>：推理有效，而且前提为真。</li>
</ul>
<p>所以，一个完整判断至少要经过：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">概念是否清楚
</span></span><span class="line"><span class="cl">→ 前提是否得到事实或证据支持
</span></span><span class="line"><span class="cl">→ 推导是否有效
</span></span></code></pre></div><p>概率经常进入第二步：现有证据为一个前提或假设提供多大支持。</p>
<h2 id="概率是什么">概率是什么？</h2>
<p>概率是定义在事件或命题之上的量，通常位于 0 和 1 之间。但“概率是什么”并没有唯一的哲学解释。</p>
<p>它可能表示：</p>
<ul>
<li>可重复事件的长期频率；</li>
<li>物理系统产生某种结果的机会或倾向；</li>
<li>现有证据对一个命题的支持程度；</li>
<li>一个主体对命题为真的置信程度；</li>
<li>统计模型给出的预测分布。</li>
</ul>
<p>这些解释共同使用概率演算，却不一定在谈同一种现实对象。<a href="https://plato.stanford.edu/entries/probability-interpret/">Stanford Encyclopedia of Philosophy: Interpretations of Probability</a></p>
<p>例如：</p>
<blockquote>
<p>明天下雨的概率是 70%。</p>
</blockquote>
<p>这句话可能表示气象模型在相似条件下的频率预测，也可能表示根据现有证据形成的置信度。无论采用哪一种解释，它都没有断言明天必然下雨。</p>
<h2 id="逻辑与概率分别回答什么">逻辑与概率分别回答什么？</h2>
<table>
  <thead>
      <tr>
          <th>维度</th>
          <th>逻辑</th>
          <th>概率</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>核心问题</td>
          <td>结论是否由前提推出？</td>
          <td>在当前条件下，结果有多大可能？</td>
      </tr>
      <tr>
          <td>主要对象</td>
          <td>命题及其推导关系</td>
          <td>事件、随机变量或命题的不确定性</td>
      </tr>
      <tr>
          <td>典型表达</td>
          <td>如果 A，那么 B</td>
          <td>在 A 条件下，B 的概率是 70%</td>
      </tr>
      <tr>
          <td>结论强度</td>
          <td>必然、可能、不可能</td>
          <td>0 到 1 之间的程度</td>
      </tr>
      <tr>
          <td>典型方法</td>
          <td>证明、反例、有效性检查</td>
          <td>统计估计、条件概率、贝叶斯更新</td>
      </tr>
      <tr>
          <td>常见错误</td>
          <td>矛盾、无效推导、偷换概念</td>
          <td>忽略基准率、错误条件化、错误模型</td>
      </tr>
      <tr>
          <td>面对新信息</td>
          <td>增加、删除或修改前提</td>
          <td>更新概率分布</td>
      </tr>
  </tbody>
</table>
<p>可以把这种分工概括为：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">逻辑：约束推理结构
</span></span><span class="line"><span class="cl">概率：表达不确定程度
</span></span></code></pre></div><h2 id="真值不是概率值">真值不是概率值</h2>
<p>在经典逻辑中，一个明确命题在给定解释下为真或为假。</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">真
</span></span><span class="line"><span class="cl">假
</span></span></code></pre></div><p>概率则可以表达程度：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(A) = 0.2
</span></span><span class="line"><span class="cl">P(A) = 0.7
</span></span><span class="line"><span class="cl">P(A) = 0.99
</span></span></code></pre></div><p>这不意味着命题的真值变成了连续数值。</p>
<p>“明天下雨的概率是 70%”描述的是结果确定以前的不确定状态。到了明天，在地点、时间和降雨标准已经明确的情况下，“下雨”这个命题仍然要么符合事实，要么不符合事实。</p>
<p>因此至少要区分三个层次：</p>
<table>
  <thead>
      <tr>
          <th>层次</th>
          <th>问题</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>真值</td>
          <td>实际情况是否符合命题？</td>
      </tr>
      <tr>
          <td>证据支持</td>
          <td>当前证据在多大程度上支持命题？</td>
      </tr>
      <tr>
          <td>主体置信度</td>
          <td>某个主体在多大程度上相信命题？</td>
      </tr>
  </tbody>
</table>
<p>证据支持和主体置信度可能用概率表示，但它们都不等于命题本身已经“部分为真”。</p>
<h2 id="概率为-1-不一定是逻辑必然">概率为 1 不一定是逻辑必然</h2>
<p>逻辑必然表示：在所有满足前提的可能解释中，命题都成立。</p>
<p>概率为 1 则表示：在某个概率模型中，该事件拥有全部概率质量。</p>
<p>两者不能直接等同。</p>
<p>在标准概率模型中，如果 <code>D</code> 在逻辑上蕴含 <code>C</code>，并且 <code>P(D) &gt; 0</code>，那么：</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>但反过来不成立：</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>概率为 1 的事件仍然可能不是逻辑真理。在连续概率分布中，一个单点可以具有概率 0，但仍然属于可能取值。概率 0 因而不自动表示逻辑矛盾，概率 1 也不自动表示逻辑必然。</p>
<p>可以谨慎地概括为：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">逻辑不可能 → 在尊重该逻辑关系的概率模型中概率为 0
</span></span><span class="line"><span class="cl">概率为 0 ⇏ 逻辑不可能
</span></span><span class="line"><span class="cl">
</span></span><span class="line"><span class="cl">逻辑必然 → 在尊重该逻辑关系的概率模型中概率为 1
</span></span><span class="line"><span class="cl">概率为 1 ⇏ 逻辑必然
</span></span></code></pre></div><h2 id="逻辑蕴含不等于条件概率">逻辑蕴含不等于条件概率</h2>
<p>逻辑蕴含可以写成：</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>它表示，只要 A 为真，B 就不可能为假。</p>
<p>条件概率可以写成：</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>它表示，在 A 条件下，B 获得 90% 的概率。这里仍然允许 A 成立而 B 不成立。</p>
<p>因此，高条件概率表示强概率联系，不表示必然推出。</p>
<p>这个区别也解释了为什么下面的推理在演绎逻辑中无效，却可能在概率上提供支持：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">如果下雨，地面会湿。
</span></span><span class="line"><span class="cl">地面湿了。
</span></span><span class="line"><span class="cl">所以刚才下雨了。
</span></span></code></pre></div><p>这是“肯定后件”的形式。地面还可能因为洒水、漏水或者清洁而变湿，所以“地面湿”不能逻辑证明“下雨”。</p>
<p>但如果：</p>
<ul>
<li>下雨时地面几乎总会湿；</li>
<li>没下雨时地面很少变湿；</li>
<li>下雨本身并非极端罕见；</li>
</ul>
<p>那么观察到地面湿，可以提高“刚才下雨”的概率。</p>
<p>同一条证据可以做到：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">不能演绎证明假设
</span></span><span class="line"><span class="cl">但可以提高假设的概率
</span></span></code></pre></div><h2 id="演绎推理与概率归纳">演绎推理与概率归纳</h2>
<p>演绎推理追求必然的真值保持：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">前提为真
</span></span><span class="line"><span class="cl">→ 结论必然为真
</span></span></code></pre></div><p>概率归纳表达证据对结论的支持程度：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">证据 D
</span></span><span class="line"><span class="cl">→ 结论 C 获得程度为 r 的支持
</span></span></code></pre></div><p>可以写成：</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) = r
</span></span></code></pre></div><p>归纳逻辑研究的正是这种关系：前提不必保证结论，却可以使结论变得更可信。现代概率归纳经常使用条件概率和贝叶斯关系表示证据怎样支持相互竞争的假设。<a href="https://plato.stanford.edu/entries/logic-inductive/">Stanford Encyclopedia of Philosophy: Inductive Logic</a></p>
<p>因此，“逻辑处理确定性，概率处理不确定性”只是第一层概括。更准确地说：</p>
<ul>
<li>经典演绎逻辑处理必然推导；</li>
<li>概率演算约束不确定程度；</li>
<li>归纳逻辑研究证据如何以不同强度支持结论。</li>
</ul>
<h2 id="概率为什么需要逻辑">概率为什么需要逻辑？</h2>
<p>概率计算以前，必须先确定事件和命题的结构：</p>
<ul>
<li>哪些事件互相排斥；</li>
<li>哪些事件可以同时发生；</li>
<li>哪个事件包含另一个；</li>
<li>条件究竟是什么；</li>
<li>一个命题的否定是什么；</li>
<li>所有可能结果是否已经覆盖。</li>
</ul>
<p>例如：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">A = 用户点击广告
</span></span><span class="line"><span class="cl">B = 用户通过该广告完成购买
</span></span></code></pre></div><p>如果业务定义规定，通过该广告购买必须经过被记录的点击，那么：</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></code></pre></div><p>概率也必须满足：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">P(B) ≤ P(A)
</span></span></code></pre></div><p>如果数据报告显示广告购买人数高于广告点击人数，首先需要检查事件定义、归因窗口、数据来源和采集遗漏，而不是立即寻找一个新的概率公式。</p>
<p>逻辑先检查事件结构是否自洽，概率才在这个结构中分配数值。</p>
<h2 id="贝叶斯公式怎样连接逻辑与概率">贝叶斯公式怎样连接逻辑与概率？</h2>
<p>贝叶斯公式可以写成：</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>其中：</p>
<ul>
<li><code>H</code> 是假设；</li>
<li><code>E</code> 是证据；</li>
<li><code>P(H)</code> 是看到证据以前对假设的判断；</li>
<li><code>P(E | H)</code> 是假设成立时出现该证据的概率；</li>
<li><code>P(H | E)</code> 是观察证据以后对假设的更新判断。</li>
</ul>
<p>贝叶斯推理不是：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">观察到 E
</span></span><span class="line"><span class="cl">→ H 必然为真
</span></span></code></pre></div><p>它表达的是：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">观察到 E
</span></span><span class="line"><span class="cl">→ 比较 E 在不同假设下有多容易出现
</span></span><span class="line"><span class="cl">→ 重新分配对各个假设的相信程度
</span></span></code></pre></div><p>逻辑帮助我们定义假设、证据、互斥关系和推导条件；概率帮助我们表示更新前后的置信程度。贝叶斯认识论进一步把条件化理解为新证据出现后调整置信度的一种理性规范。<a href="https://plato.stanford.edu/entries/epistemology-bayesian/">Stanford Encyclopedia of Philosophy: Bayesian Epistemology</a></p>
<h2 id="概率关系也不等于因果关系">概率关系也不等于因果关系</h2>
<p>逻辑、概率和因果分别回答不同问题：</p>
<table>
  <thead>
      <tr>
          <th>关系</th>
          <th>主要问题</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>逻辑关系</td>
          <td>接受前提以后，结论是否必须成立？</td>
      </tr>
      <tr>
          <td>概率关系</td>
          <td>在给定条件下，结果有多大可能？</td>
      </tr>
      <tr>
          <td>因果关系</td>
          <td>如果改变一个因素，结果是否会随之改变，为什么？</td>
      </tr>
  </tbody>
</table>
<p>例如：</p>
<ul>
<li>“正方形必然有四条边”主要是概念和逻辑关系；</li>
<li>“下雨时地面变湿的概率较高”是概率关系；</li>
<li>“降雨使地面获得水分，从而导致地面变湿”是因果解释。</li>
</ul>
<p>高概率联系不自动证明因果。共同原因、选择偏差、测量方式和反向作用都可能产生统计关联。因果判断还需要时间顺序、反事实、干预、机制或其他识别条件。关于这些方法的完整讨论，参见<a href="https://moonment.net/notes/causality-causes-and-reasons/">《因果是什么？从原因、推理到理由》</a>。</p>
<h2 id="从概率到行动还缺什么">从概率到行动还缺什么？</h2>
<p>即使概率已经计算正确，它也不能单独决定行动。</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">逻辑：推理是否成立
</span></span><span class="line"><span class="cl">概率：结果有多可能
</span></span><span class="line"><span class="cl">价值：不同结果有多重要
</span></span><span class="line"><span class="cl">风险：最坏结果是否能够承受
</span></span><span class="line"><span class="cl">权限：谁有权作出这个决定
</span></span><span class="line"><span class="cl">决策：最终选择哪种行动
</span></span></code></pre></div><p>成功概率更高的方案不一定值得执行。它可能收益很小、成本过高、最坏结果不可承受，或者把风险转嫁给没有授权的其他人。</p>
<p>概率提供决策输入，不替代价值和责任。</p>
<h2 id="在-ai-中怎样理解逻辑与概率">在 AI 中怎样理解逻辑与概率？</h2>
<p>大语言模型通常根据上下文为后续 token 分配概率，再按照解码策略生成输出：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">已有上下文
</span></span><span class="line"><span class="cl">→ 后续 token 的概率分布
</span></span><span class="line"><span class="cl">→ 选择 token
</span></span><span class="line"><span class="cl">→ 形成文本
</span></span></code></pre></div><p>一个句子被高概率生成，只说明它在模型和当前上下文中更容易出现。它不直接证明句子：</p>
<ul>
<li>符合事实；</li>
<li>推导有效；</li>
<li>与前文没有矛盾；</li>
<li>正确理解了用户意图；</li>
<li>获得了执行授权。</li>
</ul>
<p>完整 AI 系统还需要使用逻辑、规则和验证程序检查：</p>
<ul>
<li>输入是否满足前置条件；</li>
<li>数据结构是否有效；</li>
<li>多个陈述能否同时成立；</li>
<li>工具调用是否符合权限；</li>
<li>结果是否通过外部验证。</li>
</ul>
<p>因此：</p>
<blockquote>
<p><strong>概率模型在多个可能输出之间分配权重；逻辑与规则约束哪些推导和行动可以被接受。</strong></p>
</blockquote>
<p>一个回答可能语言概率很高，却在逻辑上矛盾；也可能推导形式有效，却建立在错误事实或错误概率输入之上。</p>
<h2 id="如何检查一段不确定推理">如何检查一段不确定推理？</h2>
<p>可以按以下顺序分析：</p>
<ol>
<li><strong>明确命题。</strong> 每个关键词究竟指什么？</li>
<li><strong>列出前提。</strong> 哪些内容被当作已经接受？</li>
<li><strong>检查逻辑。</strong> 结论是否必然推出，还是只得到一定程度支持？</li>
<li><strong>检查事实。</strong> 前提来自观察、数据、定义还是假设？</li>
<li><strong>检查概率含义。</strong> 数字表示频率、物理机会、证据支持还是主观置信度？</li>
<li><strong>检查条件。</strong> <code>P(B|A)</code> 中的 A 是否被正确说明？</li>
<li><strong>寻找替代解释。</strong> 同一证据是否也容易由其他假设产生？</li>
<li><strong>检查因果跳跃。</strong> 是否把相关或预测直接写成了原因？</li>
<li><strong>检查行动标准。</strong> 概率之外还需要考虑什么价值、风险和权限？</li>
<li><strong>说明更新条件。</strong> 什么新证据会改变当前判断？</li>
</ol>
<h2 id="对逻辑与概率关系的最终解释">对逻辑与概率关系的最终解释</h2>
<p>可以分别定义：</p>
<blockquote>
<p><strong>逻辑研究命题、概念和推理之间的形式约束，说明在接受某些前提时，哪些结论必然成立、可能成立或不能成立。</strong></p>
</blockquote>
<blockquote>
<p><strong>概率是在结果尚未确定或信息不完整时，对事件可能性、证据支持程度或主体置信程度进行量化的体系。</strong></p>
</blockquote>
<p>两者的关系可以整理为：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">逻辑建立命题和推理结构
</span></span><span class="line"><span class="cl">→ 概率在结构中表达不确定性
</span></span><span class="line"><span class="cl">→ 证据用于更新概率
</span></span><span class="line"><span class="cl">→ 因果解释变化怎样产生
</span></span><span class="line"><span class="cl">→ 价值和风险进入决策
</span></span><span class="line"><span class="cl">→ 行动产生新的证据
</span></span></code></pre></div><p>逻辑不能替代概率，因为现实中的信息经常不完整；概率也不能替代逻辑，因为数字不能修复矛盾的定义、遗漏的可能性和无效的推导。</p>
<p>更准确的认识不是在逻辑与概率之间二选一，而是在确定推导与不确定判断之间保持清楚的边界。</p>
<h2 id="参考">参考</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>期望值：概率加权、风险与决策</title><link>https://moonment.net/notes/what-is-expected-value/</link><pubDate>Sun, 27 Sep 2026 22:00:55 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/notes/what-is-expected-value/</guid><description>从随机变量和概率分布解释期望值，区分均值、最可能结果与长期平均，并说明风险、效用和现实决策边界。</description><content:encoded><![CDATA[<p>期望值的“期望”并不是希望、目标或乐观态度。它是概率论中的一个数学量：把一个随机变量的所有可能取值，按照各自的概率加权求和。</p>
<p>它回答的不是“下一次一定会发生什么”，而是：</p>
<blockquote>
<p><strong>如果把各种可能结果及其概率一起考虑，这个分布的概率加权中心在哪里？</strong></p>
</blockquote>
<h2 id="从随机变量开始">从随机变量开始</h2>
<p>期望值不直接属于一个模糊的“事件”，而是属于随机变量。</p>
<p>随机变量是把随机结果映射为数值的函数。例如，抛一枚硬币后，可以定义：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">正面 → X = 1
</span></span><span class="line"><span class="cl">反面 → X = 0
</span></span></code></pre></div><p>如果硬币是公平的，那么：</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>对离散随机变量，期望值定义为：</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>在硬币例子中：</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>一次抛币不可能得到 0.5 个正面。期望值是分布的均值，不必是随机变量真正能取到的值。</p>
<h2 id="期望值不是最可能的结果">期望值不是最可能的结果</h2>
<p>假设一个游戏有两种结果：</p>
<table>
  <thead>
      <tr>
          <th>结果</th>
          <th style="text-align: right">概率</th>
          <th style="text-align: right">收益</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>获得 100 元</td>
          <td style="text-align: right">10%</td>
          <td style="text-align: right">100 元</td>
      </tr>
      <tr>
          <td>什么都没有</td>
          <td style="text-align: right">90%</td>
          <td style="text-align: right">0 元</td>
      </tr>
  </tbody>
</table>
<p>期望收益是：</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>但是：</p>
<ul>
<li>一次的实际结果只会是 100 元或 0 元；</li>
<li>最可能的结果是 0 元；</li>
<li>10 元不是任何一次必然出现的收益；</li>
<li>期望值不承诺单次结果会接近它。</li>
</ul>
<p>因此需要区分：</p>
<table>
  <thead>
      <tr>
          <th>量</th>
          <th>回答的问题</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>期望值</td>
          <td>概率加权平均在哪里？</td>
      </tr>
      <tr>
          <td>众数</td>
          <td>哪个结果最可能？</td>
      </tr>
      <tr>
          <td>中位数</td>
          <td>哪个位置把概率分成两半？</td>
      </tr>
      <tr>
          <td>方差</td>
          <td>结果通常离均值有多远？</td>
      </tr>
      <tr>
          <td>分位数</td>
          <td>在给定概率下，结果不超过哪里？</td>
      </tr>
      <tr>
          <td>最坏结果</td>
          <td>失败时最多会损失什么？</td>
      </tr>
  </tbody>
</table>
<p>一个分布的期望值可以很好，但最常出现的结果仍然可能很差。</p>
<h2 id="期望值等于长期平均吗">期望值等于长期平均吗？</h2>
<p>教材常把期望值解释为“长期平均”。这是有用的直观，但需要补充条件。</p>
<p>期望值首先是根据概率分布定义的数学量。在满足相应条件时，如果同类试验被大量重复，观测平均才可以趋近期望值。</p>
<p>这个语境通常默认：</p>
<ul>
<li>试验能够重复；</li>
<li>概率机制没有在重复过程中改变；</li>
<li>各次观测具有合适的独立性或稳定性；</li>
<li>相关期望存在且是有限的。</li>
</ul>
<p>人生选择、重大手术、一次性投资和不可逆决策，往往不能被同一个人在同样条件下无限重复。这时，期望值仍然可以描述概率分布，但“长期一定能回到平均”不再是个人决策的充分理由。</p>
<h2 id="期望值为什么有用">期望值为什么有用？</h2>
<p>期望值把多个不确定结果压缩成一个可比较的数。它尤其适合：</p>
<ul>
<li>重复次数较多的决策；</li>
<li>多个彼此分散的项目组合；</li>
<li>保险、库存、排队和实验设计；</li>
<li>需要把概率与金额、数量或损失结合的问题；</li>
<li>对不同方案进行第一层筛选。</li>
</ul>
<p>期望还具有线性。对适当的随机变量：</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>这意味着可以先分别计算多个部分的期望，再把它们组合起来。线性本身不要求这些随机变量彼此独立。</p>
<h2 id="为什么不能只看期望值">为什么不能只看期望值？</h2>
<p>考虑两个方案：</p>
<table>
  <thead>
      <tr>
          <th>方案</th>
          <th>结果</th>
          <th style="text-align: right">期望值</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>A</td>
          <td>确定获得 10 元</td>
          <td style="text-align: right">10 元</td>
      </tr>
      <tr>
          <td>B</td>
          <td>50% 得 100 元，50% 亏 80 元</td>
          <td style="text-align: right">10 元</td>
      </tr>
  </tbody>
</table>
<p>两个方案的期望值相同，但风险结构完全不同。</p>
<p>一个完整决策还需要检查：</p>
<ol>
<li><strong>波动</strong>：结果会离期望值多远？</li>
<li><strong>尾部风险</strong>：小概率下会不会出现极大损失？</li>
<li><strong>破产风险</strong>：一次失败会不会使主体无法继续参与？</li>
<li><strong>时间</strong>：收益何时出现，期间是否需要承担成本？</li>
<li><strong>可逆性</strong>：决策失败后能否撤回或重试？</li>
<li><strong>机会次数</strong>：这是否是能够分散的多次决策？</li>
<li><strong>概率误差</strong>：概率是已知的，还是从有限数据中估计出来的？</li>
</ol>
<p>期望值只保留了分布的一个特征。两个形状完全不同的分布可以拥有相同的期望值。</p>
<h2 id="从期望值到期望效用">从期望值到期望效用</h2>
<p>金钱和结果对人的实际价值不一定线性增长。</p>
<p>对一个资源充足的人，损失 1 万元可能只是普通波动；对一个现金流已经断裂的人，同样的损失可能意味着无法继续生活或经营。</p>
<p>决策理论因此不只计算结果的期望值，还可以对每个结果赋予效用：</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>这里的 <code>U(x)</code> 表示结果对特定主体的价值，而不只是结果的名义数额。</p>
<p>期望效用理论是不确定决策的规范性模型：它说明在一组偏好和信念满足相应条件时，如何使选择保持一致。它不是人类心理的完整描述。</p>
<p>卡尼曼和特沃斯基的前景理论就是对期望效用作为实际选择描述模型的批评和替代。他们的实验工作表明，人对获得、损失、确定结果和仅有概率的结果，并不总是按照简单的期望效用方式处理。</p>
<h2 id="概率从哪里来">概率从哪里来？</h2>
<p>任何期望值都依赖于一个更基础的问题：用来加权的概率是什么？</p>
<p>概率可能表示：</p>
<ul>
<li>可重复机制的长期频率；</li>
<li>物理系统的倾向或机会；</li>
<li>证据对某个判断的支持程度；</li>
<li>一个主体的信念程度；</li>
<li>由统计模型估计得到的预测分布。</li>
</ul>
<p>这些解释并不完全相同。数学公式可以是正确的，输入的概率却可能来自错误模型、过少样本或过时数据。</p>
<p>因此：</p>
<blockquote>
<p><strong>期望值的精确度不会超过结果划分、数值估计和概率输入的可信度。</strong></p>
</blockquote>
<h2 id="现实决策中怎样使用期望值">现实决策中怎样使用期望值？</h2>
<p>可以按下面的顺序分析：</p>
<ol>
<li><strong>列出选项。</strong> 当前真正可以选择的行动是什么？</li>
<li><strong>列出结果。</strong> 每个选项可能导致哪些结果？</li>
<li><strong>检查遗漏。</strong> 是否把重要的间接后果排除在外？</li>
<li><strong>估计概率。</strong> 概率来自机制、数据、经验还是主观判断？</li>
<li><strong>为结果赋值。</strong> 计算的是金额、时间、生命、满意度，还是其他价值？</li>
<li><strong>计算期望值。</strong> 把结果按概率加权求和。</li>
<li><strong>检查分布。</strong> 不只看均值，还看波动、分位数和尾部。</li>
<li><strong>检查承受力。</strong> 主体能否活着等到长期平均？</li>
<li><strong>做敏感性分析。</strong> 如果概率或价值估计改变，结论是否立即反转？</li>
<li><strong>按新证据更新。</strong> 期望值是当前模型的输出，不是永久答案。</li>
</ol>
<h2 id="对期望值的最终定义">对“期望值”的最终定义</h2>
<p>可以把期望值定义为：</p>
<blockquote>
<p><strong>期望值是随机变量各个可能取值按其概率加权得到的均值，用来表示概率分布的中心位置。</strong></p>
</blockquote>
<p>它不是：</p>
<ul>
<li>下一次的保证；</li>
<li>最可能的结果；</li>
<li>一定能被实际取到的数值；</li>
<li>对风险的完整描述；</li>
<li>自动正确的决策答案。</li>
</ul>
<p>期望值的力量在于，它把概率与结果放进同一个计算。它的边界也在这里：一个加权平均无法单独告诉我们，一次失败有多严重、主体能否承受，以及用来计算的概率是否值得信任。</p>
<h2 id="参考">参考</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>期望：希望、预期、规范与行动</title><link>https://moonment.net/notes/what-is-expectation/</link><pubDate>Sun, 27 Sep 2026 22:00:54 +0800</pubDate><dc:creator>Moon</dc:creator><guid>https://moonment.net/notes/what-is-expectation/</guid><description>区分希望、预期、期待与规范要求，解释期望如何连接不确定未来、价值判断、行动和结果反馈。</description><content:encoded><![CDATA[<p>“期望”最容易被误解的地方，是人们常常把“我希望它发生”和“我认为它会发生”说成同一件事。</p>
<p>但是，希望是对结果的价值态度，预期是对结果的可能性判断。一个人可以强烈希望某件事发生，同时认为它几乎不会发生。</p>
<p>因此，期望不是一种单一的心理状态。它至少可能包含：</p>
<ul>
<li>对未来的表示；</li>
<li>对可能性的判断；</li>
<li>对结果的喜好或反感；</li>
<li>对自己或他人的要求；</li>
<li>为了某种结果而采取行动的倾向。</li>
</ul>
<h2 id="期望是什么">“期望”是什么？</h2>
<p>可以先把期望定义为：</p>
<blockquote>
<p><strong>期望是主体面向尚未确定的结果，所形成的可能性判断、价值态度或规范要求。</strong></p>
</blockquote>
<p>这个定义不把期望限定为未来。人也会对已经发生、但自己尚不知道结果的事情表达期望，例如“我希望他已经安全到家”。关键不是事件客观上是否已经发生，而是它对主体而言仍然没有确定。</p>
<p>期望通常包含四个基本部分：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">主体
</span></span><span class="line"><span class="cl">+ 尚未确定的结果
</span></span><span class="line"><span class="cl">+ 对结果可能性的判断
</span></span><span class="line"><span class="cl">+ 对结果的态度
</span></span></code></pre></div><h2 id="期望预期期待和希望">期望、预期、期待和希望</h2>
<p>这几个词在日常使用中经常重叠，但侧重点不同。</p>
<table>
  <thead>
      <tr>
          <th>概念</th>
          <th>主要问题</th>
          <th>侧重点</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>期望</td>
          <td>我对结果抱有什么判断或要求？</td>
          <td>可能性、价值和规范可能同时存在</td>
      </tr>
      <tr>
          <td>预期</td>
          <td>我认为什么会发生？</td>
          <td>预测和认知判断</td>
      </tr>
      <tr>
          <td>期待</td>
          <td>我如何等待它发生？</td>
          <td>等待中的情感和注意</td>
      </tr>
      <tr>
          <td>希望</td>
          <td>我想让什么发生？</td>
          <td>结果的可欲性</td>
      </tr>
      <tr>
          <td>愿望</td>
          <td>我想要什么？</td>
          <td>欲望本身，不必判断其能否实现</td>
      </tr>
  </tbody>
</table>
<p>中文“期望”可以根据语境对应英文 <code>expectation</code>、<code>expectancy</code> 或 <code>hope</code>，但这些英文概念也不等价。</p>
<ul>
<li><code>expectation</code> 通常是对将会发生什么的判断，也可以表示规范要求；</li>
<li><code>expectancy</code> 在心理学中常指对某种行动能否导致结果的信念；</li>
<li><code>hope</code> 强调结果是想要的，而且仍被认为可能；</li>
<li><code>anticipation</code> 更偏向事件到来之前的等待和情感状态；</li>
<li><code>forecast</code> 更明确地指向基于信息或模型的预测。</li>
</ul>
<p>对英文 <code>hope</code> 的当代哲学分析通常包含两个最低条件：主体认为某结果仍有可能，并且认为它值得被期待。因此，人可以希望一个自己认为极不可能的结果，却不会预期它真的发生。</p>
<h2 id="期望的四种常见结构">期望的四种常见结构</h2>
<h3 id="认知性期望">认知性期望</h3>
<p>认知性期望是对将会发生什么的判断。</p>
<blockquote>
<p>根据当前数据，我预期下个月的访问量会增长。</p>
</blockquote>
<p>这种期望应当受证据约束。新信息出现后，判断也应该改变。它可以用概率表达，但日常的认知性期望并不总是一个精确数字。</p>
<h3 id="愿望性期望">愿望性期望</h3>
<p>愿望性期望表达主体想要什么。</p>
<blockquote>
<p>我期望这个产品能真正解决用户问题。</p>
</blockquote>
<p>这是价值判断，并不自动说明结果有多大概率出现。愿望可以提供行动方向，也可能在没有证据时滑向一厢情愿。</p>
<h3 id="规范性期望">规范性期望</h3>
<p>规范性期望表达“应当怎样”。</p>
<blockquote>
<p>组织期望成员遵守信息安全规则。</p>
</blockquote>
<p>这句话不是预测所有人都会遵守，而是在设定行为标准。家庭、组织和社会对角色的期望往往属于这一类。</p>
<p>规范性期望还涉及权力：谁有权提出要求，谁承担后果，当事人能否拒绝或重新协商。“大家都这样期望”并不自动证明这种要求合理。</p>
<h3 id="行动性期望">行动性期望</h3>
<p>行动性期望不只表示对结果的看法，还会改变行动。</p>
<blockquote>
<p>我认为充分准备可以提高任务成功率，因此我决定提前测试。</p>
</blockquote>
<p>心理学中的 <code>expectancy</code> 常用来表示主体对“自己的行动能否带来某种结果”的信念。这种信念会影响动机、投入和坚持程度。</p>
<h2 id="期望为什么会影响结果">期望为什么会影响结果？</h2>
<p>期望会改变人注意什么、如何解释模糊信息，以及是否继续行动。</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">形成期望
</span></span><span class="line"><span class="cl">→ 调整注意和行动
</span></span><span class="line"><span class="cl">→ 行动改变部分环境
</span></span><span class="line"><span class="cl">→ 产生结果
</span></span><span class="line"><span class="cl">→ 结果反过来强化或修正期望
</span></span></code></pre></div><p>这可能形成自我实现的预言，例如一个人确信自己无法完成任务，因此减少准备，最后更容易失败。</p>
<p>但期望不是魔法。它只有在能够改变注意、决策、他人反应或环境条件时，才可能通过因果链影响结果。不能把“保持积极期望”当成脱离条件和行动的现实律。</p>
<h2 id="期望意图目标和决策">期望、意图、目标和决策</h2>
<p>这些概念共同参与行动，却处在不同环节。</p>
<table>
  <thead>
      <tr>
          <th>概念</th>
          <th>它回答的问题</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>需求</td>
          <td>什么缺口、处境或目标需要改变？</td>
      </tr>
      <tr>
          <td>愿望</td>
          <td>我想要什么？</td>
      </tr>
      <tr>
          <td>期望</td>
          <td>我希望、认为或要求什么结果出现？</td>
      </tr>
      <tr>
          <td>意图</td>
          <td>我准备促成什么？</td>
      </tr>
      <tr>
          <td>目标</td>
          <td>什么状态被明确设为要达成的结果？</td>
      </tr>
      <tr>
          <td>决策</td>
          <td>我在可选行动中选择哪一个？</td>
      </tr>
      <tr>
          <td>行动</td>
          <td>我实际做了什么？</td>
      </tr>
      <tr>
          <td>结果</td>
          <td>行动和环境共同产生了什么？</td>
      </tr>
  </tbody>
</table>
<p>“我期望文章被更多人阅读”仍然只是对结果的态度。“我准备重写标题和导语”才开始形成意图。“今天先修改标题”是一个具体决策。</p>
<p>因此，从期望到结果需要经过：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">期望
</span></span><span class="line"><span class="cl">→ 意图
</span></span><span class="line"><span class="cl">→ 目标
</span></span><span class="line"><span class="cl">→ 决策
</span></span><span class="line"><span class="cl">→ 行动
</span></span><span class="line"><span class="cl">→ 结果
</span></span><span class="line"><span class="cl">→ 更新期望
</span></span></code></pre></div><p>期望本身不能保证行动，行动也不能保证结果。</p>
<h2 id="期望落差是什么">期望落差是什么？</h2>
<p>期望不仅预测结果，还会成为评价结果的参照点。</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">期望落差 = 实际结果 - 参照期望
</span></span></code></pre></div><p>同样获得 10 万元，原本预期 5 万元的人可能感到惊喜，原本预期 20 万元的人则可能感到失望。实际结果没变，参照点变了。</p>
<p>这并不意味着只要降低期望就能解决问题。过低的预期也可能削弱准备和行动。更有用的做法是把原本混在一起的内容分开：</p>
<ol>
<li><strong>期望结果</strong>：我想要什么？</li>
<li><strong>概率判断</strong>：根据当前证据，它有多可能？</li>
<li><strong>可控行动</strong>：我能够改变哪些条件？</li>
<li><strong>风险边界</strong>：如果没有发生，我能承受什么？</li>
</ol>
<h2 id="如何分析一个期望">如何分析一个期望？</h2>
<p>遇到“我期望……”时，可以继续追问：</p>
<ol>
<li>期望的主体是谁？</li>
<li>对象是什么结果？</li>
<li>这是希望、预测，还是要求？</li>
<li>如果是预测，证据和概率是什么？</li>
<li>如果是要求，谁有权提出，谁承担代价？</li>
<li>哪些条件受主体控制？</li>
<li>期望是否已经转化成目标、决策和行动？</li>
<li>什么新证据会使这个期望改变？</li>
</ol>
<h2 id="对期望的最终定义">对“期望”的最终定义</h2>
<p>可以把期望定义为：</p>
<blockquote>
<p><strong>期望是主体在结果尚未确定时，对什么可能发生、什么值得发生或什么应当发生所持有的态度。</strong></p>
</blockquote>
<p>这个概念之所以容易混乱，是因为它横跨了三个不同层次：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">事实判断：什么会发生
</span></span><span class="line"><span class="cl">价值判断：我想让什么发生
</span></span><span class="line"><span class="cl">规范判断：什么应当发生
</span></span></code></pre></div><p>把这三者分开，才能让期望成为可检验的判断、可讨论的价值和可执行的行动起点。</p>
<h2 id="参考">参考</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>人类与 AI 的共同行动回路：解释、协作与反馈</title><link>https://moonment.net/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/notes/human-ai-joint-action-loop/</guid><description>人通过语言表达不完整的意图，AI 据此形成可修正的任务解释，再以工具行动和现实反馈共同校正目标、计划与结果。</description><content:encoded><![CDATA[<blockquote>
<p><strong>专题：思维、意图与行动（4/4）</strong> 从第一篇开始阅读：<a href="/notes/human-thinking/">思维是什么？人如何形成理解、判断与行动</a></p>
</blockquote>
<h2 id="人与-ai-之间真正要连接什么">人与 AI 之间真正要连接什么？</h2>
<p>人类与 AI 的协作常被描述成：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">人给出提示词
</span></span><span class="line"><span class="cl">→ AI 给出答案
</span></span></code></pre></div><p>这个结构只描述了一次语言交换。它没有解释人为什么提出请求、AI 怎样理解请求、谁决定可以采取什么行动，也没有说明现实结果怎样反过来修正双方的判断。</p>
<p>更完整的结构是：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">人的处境、需要与目的
</span></span><span class="line"><span class="cl">→ 人形成暂时意图
</span></span><span class="line"><span class="cl">→ 用语言表达请求
</span></span><span class="line"><span class="cl">→ AI 构造任务解释
</span></span><span class="line"><span class="cl">→ 双方校准目标、对象与边界
</span></span><span class="line"><span class="cl">→ AI 形成计划并在授权内行动
</span></span><span class="line"><span class="cl">→ 观察现实结果
</span></span><span class="line"><span class="cl">→ 人评价结果，AI 更新解释
</span></span><span class="line"><span class="cl">→ 进入下一轮
</span></span></code></pre></div><blockquote>
<p><strong>人机协作不是一次准确翻译，而是双方围绕共同任务持续校准、行动和纠错的过程。</strong></p>
</blockquote>
<h2 id="人的意图为什么不能完整进入提示词">人的意图为什么不能完整进入提示词？</h2>
<p>人在行动以前，并不总有一个完整、固定、清晰的目标等待表达。很多意图是在表达、比较和尝试中逐渐形成的。</p>
<p>一个请求至少可能包含四层：</p>
<table>
  <thead>
      <tr>
          <th>层次</th>
          <th>问题</th>
          <th>示例</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>表达内容</td>
          <td>人说了什么？</td>
          <td>“帮我把这篇文章处理一下。”</td>
      </tr>
      <tr>
          <td>操作意图</td>
          <td>希望 AI 做什么？</td>
          <td>摘要、审校、重写或发布？</td>
      </tr>
      <tr>
          <td>任务目的</td>
          <td>为什么做？</td>
          <td>对外发表、内部讨论或个人理解？</td>
      </tr>
      <tr>
          <td>价值边界</td>
          <td>什么结果可以接受？</td>
          <td>保留原意、不能泄露、需要事实依据</td>
      </tr>
  </tbody>
</table>
<p>提示词通常只显式表达其中一部分。其余信息可能存在于前文、当前文件、既往约定、组织规则和用户自己尚未说清楚的判断中。</p>
<p>所以，“把提示词写得足够长”不能从根本上消除意图问题。表达长度会增加信息，也可能增加冲突、噪声和虚假的精确感。</p>
<h2 id="ai-理解的不是完整的人而是当前任务">AI 理解的不是完整的人，而是当前任务</h2>
<p>AI 能接触的只是证据：</p>
<ul>
<li>当前语言；</li>
<li>对话历史；</li>
<li>可见文件和页面；</li>
<li>工具返回结果；</li>
<li>已保存的偏好与规则；</li>
<li>用户对中间结果的确认和修正。</li>
</ul>
<p>据此，AI 构造的是一个工作性的任务模型：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">当前对象是什么？
</span></span><span class="line"><span class="cl">期望产生什么变化？
</span></span><span class="line"><span class="cl">有哪些约束？
</span></span><span class="line"><span class="cl">哪些事实仍然未知？
</span></span><span class="line"><span class="cl">哪些行动已经获得授权？
</span></span><span class="line"><span class="cl">怎样判断完成？
</span></span></code></pre></div><p>这个模型可以很准确，却仍然不是用户全部心理状态。把任务理解限制在当前可观察证据上，反而有助于防止 AI 把猜测写成事实。</p>
<h2 id="三种理解需要分开">三种“理解”需要分开</h2>
<h3 id="语义理解">语义理解</h3>
<p>AI 能否识别词语、句子和上下文的含义？例如，“使用第一种”中的“第一种”指向前面哪一个选项。</p>
<h3 id="操作理解">操作理解</h3>
<p>AI 能否把语言转化成具体任务？例如，它是否知道要修改哪篇文章、生成哪些语言版本、使用什么格式。</p>
<h3 id="结果理解">结果理解</h3>
<p>AI 是否知道什么结果才算满足人的目的？例如，文件已经生成，是否还需要提交仓库、部署网站，并验证线上地址。</p>
<p>三者并不自动同时成立。</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">听懂一句话
</span></span><span class="line"><span class="cl">≠
</span></span><span class="line"><span class="cl">知道该做什么
</span></span><span class="line"><span class="cl">≠
</span></span><span class="line"><span class="cl">知道怎样才算做完
</span></span></code></pre></div><p>很多人机协作失败并不是模型完全没有理解语言，而是操作对象、完成条件或结果标准没有对齐。</p>
<h2 id="共同任务模型怎样形成">共同任务模型怎样形成？</h2>
<p>双方需要逐步建立一个共享但可修正的任务模型。它通常包含六个部分：</p>
<table>
  <thead>
      <tr>
          <th>要素</th>
          <th>需要明确的问题</th>
      </tr>
  </thead>
  <tbody>
      <tr>
          <td>对象</td>
          <td>正在处理哪个文件、页面、账户、产品或问题？</td>
      </tr>
      <tr>
          <td>目标</td>
          <td>希望对象发生什么变化？</td>
      </tr>
      <tr>
          <td>约束</td>
          <td>哪些格式、事实、风格、隐私和规则不能破坏？</td>
      </tr>
      <tr>
          <td>证据</td>
          <td>哪些是事实，哪些是推断，哪些仍未知？</td>
      </tr>
      <tr>
          <td>权限</td>
          <td>AI 可以直接执行到哪一步？</td>
      </tr>
      <tr>
          <td>完成条件</td>
          <td>用什么可观察结果判断任务已经完成？</td>
      </tr>
  </tbody>
</table>
<p>这不是要求人把所有内容一次性写进提示词。AI 可以先利用已有上下文完成低风险、可逆的工作，再在真正影响行动边界的地方取得必要信息。</p>
<p>良好的协作会保留已经确认的决定，避免每一轮都从头询问；也会在新证据出现时允许旧解释被推翻。</p>
<h2 id="澄清假设与行动怎样选择">澄清、假设与行动怎样选择？</h2>
<p>AI 面对歧义时，不应只有“猜”或“追问”两个选项。更合理的策略取决于三个变量：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">歧义程度 × 出错代价 × 可逆性
</span></span></code></pre></div><h3 id="低代价且可逆">低代价且可逆</h3>
<p>可以说明合理假设后先做。例如先生成一个文章草稿，用户可以直接修改。</p>
<h3 id="中等歧义">中等歧义</h3>
<p>可以保留多个候选、先完成共同部分，或者给出可比较的方案。</p>
<h3 id="高代价或不可逆">高代价或不可逆</h3>
<p>需要确认关键对象、权限或范围。例如公开发布、向他人发送消息、支付、删除不可恢复数据。</p>
<p>关键不是让 AI 永远等待，而是让确认发生在真正决定后果的边界上。</p>
<h2 id="提示词是证据不是完整契约">提示词是证据，不是完整契约</h2>
<p>提示词对当前任务具有直接约束力，但它仍需要与上下文、权限和现实条件一起解释。</p>
<p>同一句话在不同位置具有不同作用：</p>
<ul>
<li>“这个能发布吗？”是在询问可行性；</li>
<li>“准备成可发布版本”是在授权编辑；</li>
<li>“发布到网站”是在授权外部行动；</li>
<li>“我以后可能发布”只是陈述计划。</li>
</ul>
<p>AI 需要识别请求、讨论、假设、背景和授权之间的差别。</p>
<p>对话也会形成承诺。用户已经选择方案、批准发布或规定格式以后，系统应当把这些决定带入后续步骤。共同理解并不只存在于最后一句提示词里，而存在于整个交互历史中。</p>
<h2 id="行动怎样成为理解的检验">行动怎样成为理解的检验？</h2>
<p>单靠复述不能证明双方已经对齐。行动会把隐藏差异暴露出来。</p>
<p>例如，人说“把文章更新到网站”。AI 可能完成了本地 Markdown，却没有提交；完成提交，却没有部署；线上页面出现了，却缺少英文版本或 sitemap。</p>
<p>因此需要逐层验证：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">任务解释正确
</span></span><span class="line"><span class="cl">→ 产物内容正确
</span></span><span class="line"><span class="cl">→ 行动实际执行
</span></span><span class="line"><span class="cl">→ 外部状态改变
</span></span><span class="line"><span class="cl">→ 用户目标得到满足
</span></span></code></pre></div><p>每一层都提供新的证据。失败不是单纯的终点，也会告诉双方此前的任务模型哪里不完整。</p>
<h2 id="一个完整的人机行动回路">一个完整的人机行动回路</h2>
<p>可以把共同回路分成八步。</p>
<h3 id="1-人感知问题">1. 人感知问题</h3>
<p>人从需要、阻碍、机会或不满意的结果中发现需要改变的状态。</p>
<h3 id="2-人形成初步意图">2. 人形成初步意图</h3>
<p>人确定一个大致方向，但目标、手段和判断标准可能仍然模糊。</p>
<h3 id="3-人表达请求">3. 人表达请求</h3>
<p>语言把部分意图外化为提示词，并带入背景、材料和限制。</p>
<h3 id="4-ai-构造候选解释">4. AI 构造候选解释</h3>
<p>AI 识别对象、动作、约束和缺失信息，并比较可能的任务解释。</p>
<h3 id="5-双方校准">5. 双方校准</h3>
<p>AI 利用历史决定、复述、草稿、选项或必要追问，使任务达到足以行动的清晰度。</p>
<h3 id="6-ai-在授权内行动">6. AI 在授权内行动</h3>
<p>AI 规划步骤、调用工具、保存中间状态，并对高后果边界检查权限。</p>
<h3 id="7-系统观察结果">7. 系统观察结果</h3>
<p>读取文件变化、命令结果、线上页面、用户反馈或其他外部证据。</p>
<h3 id="8-双方修正">8. 双方修正</h3>
<p>用户可以改目标、指出偏差或接受结果；AI 据此更新任务模型，继续行动或结束。</p>
<p>这构成：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">意图
</span></span><span class="line"><span class="cl">→ 表达
</span></span><span class="line"><span class="cl">→ 解释
</span></span><span class="line"><span class="cl">→ 校准
</span></span><span class="line"><span class="cl">→ 行动
</span></span><span class="line"><span class="cl">→ 观察
</span></span><span class="line"><span class="cl">→ 评价
</span></span><span class="line"><span class="cl">→ 修正后的意图
</span></span></code></pre></div><h2 id="谁负责什么">谁负责什么？</h2>
<p>共同回路不意味着人的责任和 AI 的责任完全相同。</p>
<h3 id="人主要提供">人主要提供</h3>
<ul>
<li>需要改变的现实处境；</li>
<li>价值判断和最终目的；</li>
<li>私人背景与未公开限制；</li>
<li>对高后果行动的授权；</li>
<li>对结果是否值得接受的最终判断。</li>
</ul>
<h3 id="ai-主要提供">AI 主要提供</h3>
<ul>
<li>对当前证据的结构化解释；</li>
<li>候选方案、推理与风险差异；</li>
<li>可执行的步骤和工具使用；</li>
<li>对不确定性、权限和完成状态的显式记录；</li>
<li>根据新证据快速修正计划。</li>
</ul>
<h3 id="系统与组织必须提供">系统与组织必须提供</h3>
<ul>
<li>身份和权限控制；</li>
<li>数据与隐私边界；</li>
<li>日志、版本和可回退机制；</li>
<li>失败处理和责任分配；</li>
<li>对外部行动的可验证状态。</li>
</ul>
<p>AI 不能替人决定所有价值；人也不能把一切错误归因于一个孤立模型。结果来自整个社会技术系统。</p>
<h2 id="常见的断裂位置">常见的断裂位置</h2>
<h3 id="人把感觉直接当成明确目标">人把感觉直接当成明确目标</h3>
<p>用户知道“不对”，却还不知道要变成什么。此时 AI 应帮助比较结果，而不是假装存在唯一正确答案。</p>
<h3 id="ai-把最可能解释当成真实意图">AI 把最可能解释当成真实意图</h3>
<p>概率最高只说明现有证据更支持某种解释，不证明它就是用户内心的完整目的。</p>
<h3 id="双方只确认内容不确认行动">双方只确认内容，不确认行动</h3>
<p>一篇文章得到认可，不自动等于获得公开发布的权限。</p>
<h3 id="ai-把计划当成完成">AI 把计划当成完成</h3>
<p>“将会更新网站”不是更新证据。本地文件、提交、部署和线上验证是不同状态。</p>
<h3 id="人只评价输出不评价过程">人只评价输出，不评价过程</h3>
<p>一个偶然正确的答案可能来自不可靠方法；一个暂时失败的尝试也可能暴露关键未知。长期协作需要同时评价结果、证据和纠错能力。</p>
<h3 id="反馈没有进入下一轮">反馈没有进入下一轮</h3>
<p>如果用户的修正没有被保存或使用，同一种偏差会重复发生，协作就无法形成真正的闭环。</p>
<h2 id="怎样提高共同回路的质量">怎样提高共同回路的质量？</h2>
<p>对人而言：</p>
<ul>
<li>先说希望改变什么，而不只是给出一个动作词；</li>
<li>区分探索、草拟、修改、批准和发布；</li>
<li>在关键地方说明不能接受的结果；</li>
<li>用具体反馈指出哪一层理解错了；</li>
<li>允许意图在获得新信息后改变。</li>
</ul>
<p>对 AI 而言：</p>
<ul>
<li>把明确要求、推断和未知分开；</li>
<li>利用已确认的上下文，不重复索取信息；</li>
<li>在低风险任务上用可逆产物推进；</li>
<li>在高后果边界核对对象和权限；</li>
<li>报告实际结果，不把计划写成完成；</li>
<li>让反馈更新任务模型和后续行为。</li>
</ul>
<h2 id="结论">结论</h2>
<p>人类先在现实处境中形成需要、目标和意图，再通过语言把其中一部分交给 AI。AI 根据可见证据构造任务模型，通过推理与工具采取行动。现实结果和人的评价随后反过来修正这个模型，也可能修正人原来的意图。</p>
<p>所以，人机之间需要建立的不是一次性的“正确提示词”，而是一个能够持续校准的共同回路：</p>
<div class="highlight"><pre tabindex="0" class="chroma"><code class="language-text" data-lang="text"><span class="line"><span class="cl">人提供目的、价值与授权
</span></span><span class="line"><span class="cl">+
</span></span><span class="line"><span class="cl">AI 提供解释、方案与执行
</span></span><span class="line"><span class="cl">+
</span></span><span class="line"><span class="cl">环境提供结果与证据
</span></span><span class="line"><span class="cl">+
</span></span><span class="line"><span class="cl">反馈推动双方修正
</span></span></code></pre></div><blockquote>
<p><strong>真正可靠的人机协作，不要求 AI 读懂一个不可见的“真实内心”；它要求双方把当前任务、行动边界和完成证据逐步变得清楚。</strong></p>
</blockquote>
<h2 id="延伸阅读">延伸阅读</h2>
<ul>
<li><a href="/notes/ai-user-intent-inference/">AI 能断定用户的真实意图吗？</a></li>
<li><a href="/notes/ai-reasoning-and-action/">AI 如何推理并行动？</a></li>
<li><a href="/notes/human-thinking/">思维是什么？人如何形成理解、判断与行动</a></li>
<li><a href="https://aclanthology.org/2024.emnlp-main.119/">EMNLP 2024：让语言模型显式处理歧义</a></li>
</ul>
]]></content:encoded></item></channel></rss>