跳到主要內容

AI 302 · 模組 4

Verification、Human-in-the-Loop 與 Control Gates

哪些結果可以自動繼續?哪些結果必須先被確認?

開始第一節
已完成 0 / 6
同步我的進度加入梯次後,進度可跨裝置保存,講師也能看到

資訊

加入後,你已完成的模組編號會連同「學員代碼」傳送給講師,講師可以看到你的進度。請使用講師提供的代碼,不要輸入姓名、公司機密或其他個資。進度資料與該梯次的其他資料一起保存。

學習目標

  • 區分 Verification 與 Validation,並說明 Quality Gate、Safety Gate 與 Policy Gate
  • 說明 Gate 模型的四種結果:Pass、Retry、Human Review 與 Fail
  • 選擇合適的 Verification 來源:規則、Schema、可信來源、第二個模型評估、Policy Check 或 Human Review
  • 說明 Human Control 模式:行動前審查、不可逆動作前核准、不確定時 Escalation 與 Override
  • 設定 Evidence Requirement、Confidence 與 Risk Threshold,以及 Safe Stop 條件
  • 為每個動作判斷是自動繼續、自動驗證、需要人工審查、需要人工核准或禁止,並完成 Verification & HITL Gate Map

問題與需求

8 分鐘

輸出看起來沒問題,Run 就直接繼續嗎?

在單元 3,你讓 Run 在中斷後可以繼續。能夠可靠地繼續的 Run,也會可靠地帶著錯誤的結果繼續。本單元的核心問題是:哪些結果可以自動繼續?哪些結果必須先被確認?

工作情境(模擬)

某個 Workflow 撰寫回覆通知,並把每份草稿直接交給寄送 Step。其中一份草稿引用了一個截止日,但來源規定裡並沒有這個日期。格式完全正確,所以沒有任何東西發出警告。通知寄出後,系辦花了一週向收件者更正這個錯誤。

  • 格式良好不代表內容正確
  • 有些檢查程式可以做,有些需要人
  • 並不是每個動作都需要相同程度的檢查
  • 檢查放在哪裡,是 Harness 中的設計決策

注意

不要設計讓高影響的 AI 輸出未經審查就被接受的流程。Human-AI-Human 表示,寄出、變更或決定的內容,仍由人負責。

重點: 能可靠地繼續還不夠。要決定哪些結果可以自動往下走,哪些必須先被檢查或核准。

Gate 與 Verification

9 分鐘

Gate 模型:Pass、Retry、Human、Fail

Gate 是放在 Step 之間的檢查。Verification 問的是輸出是否正確,Validation 問的是它是否符合原本要滿足的需求。Gate 套用這些檢查,並決定接下來會發生什麼。Gate 有幾種:Quality Gate 檢查結果是否夠好,Safety Gate 檢查是否可能造成傷害,Policy Gate 檢查是否符合規則。

Gate 模型
  1. Agent Output:要被檢查的結果
  2. Verification Gate:套用檢查
  3. PASS:繼續下一個 Step
  4. RETRY:重新嘗試這個 Step(細節在單元 5)
  5. HUMAN:送交人工審查
  6. FAIL:停止,或進入 Recovery

文字版說明:輸出進入 Gate。Gate 有四種可能的結果。Pass 表示 Run 繼續。Retry 表示重新嘗試該 Step。Human 表示在任何事繼續之前由人審查。Fail 表示 Run 停止或進入 Recovery。Gate 不會讓結果停留在未定義的狀態。

Gate 的種類(模擬)
Gate它問的問題範例
Quality Gate結果夠好嗎?回覆完整並回答了問題
Safety Gate這會造成傷害嗎?回覆沒有洩漏個人資料
Policy Gate符合規則嗎?回覆沒有承諾例外
自我檢測

為什麼 Gate 有四種結果(Pass、Retry、Human、Fail),而不是只有 Pass 與 Fail?

為什麼 Gate 有四種結果(Pass、Retry、Human、Fail),而不是只有 Pass 與 Fail?

重點: Gate 檢查輸出,並決定四種結果之一:Pass、Retry、Human Review 或 Fail。

9 分鐘

Verification 的依據從哪裡來?

Gate 的品質取決於背後的檢查。不同的 Verification 來源適合不同的問題,而且可以組合使用。優先採用適合該問題、最可靠的來源,並且不要把模型自己檢查自己當作強而有力的證據。

Verification 來源(模擬)
來源適合用於限制
Deterministic Rule明確的是非檢查,例如日期範圍或必填欄位無法判斷語意
Schema Validation檢查輸出的結構與型別無法說明內容是否為真
Trusted Source Comparison把說法與核准的文件比對只和來源本身及其時效一樣好
Second-model Evaluation大規模判斷品質或一致性可能有相同的盲點,不是證明
Policy Check依書面規則檢查規則可能無法涵蓋所有情況
Human Review需要判斷、脈絡與責任時較慢,也耗費注意力

便宜且快速的檢查

  • 規則、Schema 與 Policy Check 可以自動執行
  • 適合及早抓到明確的錯誤
  • 無法決定需要判斷的事

需要判斷的檢查

  • Second-model Evaluation 與 Human Review
  • 適合語意、語氣與脈絡
  • 用在影響足以值得付出成本的地方
自我檢測

一份草稿引用了某個截止日。哪一種 Verification 來源最適合檢查該截止日是否正確?

一份草稿引用了某個截止日。哪一種 Verification 來源最適合檢查該截止日是否正確?

重點: 讓 Verification 來源符合問題,組合多種來源,並且不要依賴模型為自己背書。

Human Control

9 分鐘

Human-in-the-Loop:審查、核准、Escalation、Override

Human-in-the-Loop 指的是設計人參與的位置,而不是模糊地承諾「有人在看」。每一種模式都有明確的觸發條件,以及人要做的明確動作,Run 也會保留 Approval State,讓大家知道決定了什麼。

Human Control 模式(模擬)
模式適用時機範例
行動前審查在 Run 繼續之前,由人查看結果職員在草稿被使用之前先閱讀
不可逆動作前核准在無法復原的動作之前,必須由人同意寄出正式通知之前先核准
不確定時 Escalation系統不確定,所以把決定交給人兩個來源不一致,由人決定
因政策或營運需要而 Override人可以改變或停止系統原本要做的事政策調整期間,主管暫停一批作業

Approval State:等待人的 Run 應該明顯處於暫停狀態,並記錄誰核准或拒絕、何時、依據什麼證據。結合單元 3,暫停的 Run 是已建立 Checkpoint 的 Run,等人決定之後就可以 Resume。

資訊

只點擊核准、卻看不到證據的人,並不是真正的 Gate。要給審查者做決定所需的東西:輸出、來源,以及它被標記的原因。
自我檢測

哪一種 Human Control 模式適合寄出正式通知、且無法撤銷的動作?

哪一種 Human Control 模式適合寄出正式通知、且無法撤銷的動作?

重點: 把 Human Control 設計為清楚的模式,並具備 Approval State 與審查者需要的證據。

Threshold 與 Safe Stop

9 分鐘

Evidence、Threshold 與 Safe Stop

要決定 Gate 給出哪一種結果,設計需要規則。三個概念可以幫上忙:需要什麼 Evidence、多高的 Confidence 才算足夠,以及多高的 Risk 就不應在沒有人的情況下繼續。

驅動 Gate 的規則(模擬)
概念意思範例
Evidence Requirement結果通過之前必須提出什麼每個說法都引用來源段落
Confidence Threshold檢查要多有把握才能自動通過低於門檻時送交人工審查
Risk Threshold不經人可以允許多大的影響任何會變更紀錄的動作都要核准
Safe Stop 條件Run 何時必須停止而不是猜測來源互相衝突,而且沒有人可以判斷
含 Threshold 的 Gate
  1. 輸出連同它的 Evidence 一起送達
  2. 缺少 Evidence:FAIL 或 RETRY
  3. Risk 高於門檻:HUMAN 核准
  4. Confidence 低於門檻:HUMAN 審查
  5. 其他情況:PASS 並繼續

文字版說明:Gate 先檢查 Evidence 是否存在。高 Risk 的結果送交人核准。低 Confidence 的結果送交人審查。只有通過所有檢查的結果才會自動通過。只看 Confidence 分數並不足夠,因為它可能是錯的。

資訊

Safe Stop 是有效的結果。帶著清楚原因停下來,比憑猜測繼續好。本單元教的是 Gate 的決定。停止或失敗之後該怎麼做,包括 Retry Policy 與 Recovery,屬於單元 5。
自我檢測

某個結果的 Confidence 很高,但會變更正式紀錄。Gate 應該怎麼做?

某個結果的 Confidence 很高,但會變更正式紀錄。Gate 應該怎麼做?

重點: 設定 Evidence Requirement、Confidence 與 Risk Threshold,以及 Safe Stop 條件,讓 Gate 的決定明確。

實作與應用

11 分鐘

實作:Automatic or Human Gate?

活動 4 稱為 Automatic or Human Gate?先做範例,再用你自己的 Workflow 練習。請不要在此練習中輸入真實的公司機密、客戶個人資料或任何未經授權的敏感資訊。

範例(模擬)。請求回覆 Workflow
動作決定理由
把請求文字複製到工作 State自動繼續低風險且完全可逆
檢查回覆是否包含所有必填欄位自動驗證可由 Deterministic Rule 決定
把回覆中的截止日與政策文件比對自動驗證,若不一致則人工審查有可信來源,但不一致需要判斷
把正式回覆寄給收件者需要人工核准不可逆,且影響真實的人
承諾截止日的例外禁止這不是 Workflow 該做的決定,只有具權限的人可以做
  1. 列出動作
    寫出你的 Workflow 中會產出輸出或改變某些東西的動作。
  2. 為每個動作選擇 Gate
    選擇一項:自動繼續、自動驗證、需要人工審查、需要人工核准,或禁止。並寫出理由。
  3. 指出 Verification 來源
    對每個自動驗證的動作,指出來源(規則、Schema、可信來源、第二個模型或 Policy Check)與門檻。
  4. 定義停止與 Escalation
    對每個 Human Gate,說明審查者看到什麼、Approval State 是什麼,以及沒有人回應時的 Safe Stop 條件。

資訊

交付成果:Verification & HITL Gate Map,內容包含每個動作、它的 Gate 決定、Verification 來源、Threshold、人的角色與 Safe Stop 條件。它會成為你的 Agent Harness & Reliability Canvas 的一部分。
自我檢測

在範例中,為什麼寄出正式回覆被設定為需要人工核准?

在範例中,為什麼寄出正式回覆被設定為需要人工核准?

重點: Human-AI-Human:由人決定哪些動作需要 Gate,自動檢查抓出明確的錯誤,人核准高影響的動作並持續負責。

接下來做什麼?