No English page yet. Showing the Japanese source.
Planner–Executor異種化
記事状態: 公開 · 最終確認: 未確認
要点
「Plan-and-Solve研究はplan→subtask executionの構造と特定推論taskでの比較結果を示す。Planner–Executor異種化は費用・権限分離の設計候補であり、planの完全性、executorの安全性、外部actionの可逆性を自動保証しない。ReActのようなinterleavingも代替設計である。」
現在の判断
Plan-and-Solveは、全体をsubtaskへ分けるplanと、planに従うsubtask executionの二成分を明示し、GPT-3の10 datasets/3 reasoning problemsでZero-shot-CoT等との比較を報告する。これはplan→executeという制御形の研究根拠だが、planner/executorを異なるmodel/providerにすること、executorが外部transactionを安全に行えること、planが常に完全であることは確立しない。ReActはreasoningとactingをinterleaveし、外部観測でplanを更新するため、固定planと反応型planのトレードオフを示すcounter-contextである。
どこまで当てはまるか
multi-LLM / implementation / cost / security / evaluation
詳しく理解する
なぜ重要か
強い推論モデルを計画、安価/決定論的系を実行に割り当てる構成は費用と権限を分離し得るが、planの不完全性とexecutorの過剰権限が同時に危険になる。
対象範囲と前提
multi-LLM / implementation / cost / security / evaluation
検討ポイント
Plan-and-Solve原著が示すplan→subtask executionは何を確立するか。plannerとexecutorを異種modelに分けること、または計画を信頼して実行することまで確立するか。
EVIDENCE TABLE
- source class: primary research paper; exact title: Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models; author/org: Lei Wang et al.; canonical URL: https://arxiv.org/abs/2305.04091 publication/update/access: submitted 2023-05-06, revised v3 2023-05-26 / accessed 2026-09-13 JST; version/release/tag/commit/API revision/model ID: arXiv v3 / ACL 2023; supporting locator: abstract lines 8-24（two components: devise plan to divide task into subtasks, then carry out subtasks; ten datasets/three reasoning problems; GPT-3 results）; evidence label: RESEARCH; relation: support / limit.
- source class: primary research paper; exact title: ReAct: Synergizing Reasoning and Acting in Language Models; author/org: Shunyu Yao et al.; canonical URL: https://arxiv.org/abs/2210.03629 publication/update/access: revised v3 2023-03-10 / accessed 2026-09-13 JST; version/release/tag/commit/API revision/model ID: arXiv v3; supporting locator: abstract lines 16-21（reasoning traces and actions interleaved, plans updated by external observations, HotpotQA/FEVER/ALFWorld/WebShop scope）; evidence label: RESEARCH; relation: counter / context.
利用できる条件
planner/executor model/API/version、tool permission、plan schema、state snapshot、approval、budget、rollback、provider data policyを確認する。実model混成・実tool executorは未実施。
実装・運用
plannerはtyped plan/dry-runのみ、executorはallowlisted deterministic/tool actions、state readback、step-level approval、replan on driftを設計候補とする。
確認・評価方法
plan completeness、dependency correctness、executor success、state divergence、action safety、replan frequency、latency/cost、human approval burdenを別scoreにする。計画品質を実行安全性に代用しない。
セキュリティとプライバシー
SECURITY/PRIVACY: plannerへ秘密を渡さず、executorに最小権限。AUDIT: plan version/hash、model IDs、state snapshot、step requests/results、approvals、replan。COST: planner expensive model、executor calls、readback。OPERABILITY: max steps、stop on drift、compensation/revert、dead-letter。
確認できていること
Plan-and-Solveは、全体をsubtaskへ分けるplanと、planに従うsubtask executionの二成分を明示し、GPT-3の10 datasets/3 reasoning problemsでZero-shot-CoT等との比較を報告する。これはplan→executeという制御形の研究根拠だが、planner/executorを異なるmodel/providerにすること、executorが外部transactionを安全に行えること、planが常に完全であることは確立しない。ReActはreasoningとactingをinterleaveし、外部観測でplanを更新するため、固定planと反応型planのトレードオフを示すcounter-contextである。
よくある失敗・反証
plan omission、stale world state、executor interpretation drift、subtask dependency、error propagation、tool permission overreach。planを一度承認した後の環境変化・権限変更・外部副作用は別監視が必要。
plan生成成功やexecutorの一step成功を、全体完了・安全・正しさの証拠としない。 UNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED
---
実務での使い方
planner/executor model/API/version、tool permission、plan schema、state snapshot、approval、budget、rollback、provider data policyを確認する。実model混成・実tool executorは未実施。
plannerはtyped plan/dry-runのみ、executorはallowlisted deterministic/tool actions、state readback、step-level approval、replan on driftを設計候補とする。
plan completeness、dependency correctness、executor success、state divergence、action safety、replan frequency、latency/cost、human approval burdenを別scoreにする。計画品質を実行安全性に代用しない。
SECURITY/PRIVACY: plannerへ秘密を渡さず、executorに最小権限。AUDIT: plan version/hash、model IDs、state snapshot、step requests/results、approvals、replan。COST: planner expensive model、executor calls、readback。OPERABILITY: max steps、stop on drift、compensation/revert、dead-letter。
本文ではplanner/executorのmodel、protocol、state、tool permission、approval、replan、rollback、costを明記し、GPT-3/ten-dataset研究値の適用範囲を固定する。
まだ確認できていないこと
- EA-126-UNKNOWN-01
planner/executor異種化の因果効果、plan drift検知、再計画条件、deterministic executorの実現、長期taskでの費用/安全性。
- EA-126-UNKNOWN-CURRENTNESS
外部根拠の再確認日がcanonical body/control-planeで確定していないため、currentnessはUNKNOWNとして保持する。日付を推測補完しない。
根拠資料
- 研究資料研究資料
source class: primary research paper; exact title: Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models; author/org: Lei Wang et al.; c
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
- 研究資料研究資料
source class: primary research paper; exact title: ReAct: Synergizing Reasoning and Acting in Language Models; author/org: Shunyu Yao et al.; canonical URL:
確認上の限界
元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
出典ID・検証情報・機械可読データ
根拠の種類と情報の鮮度は、ラベルとアイコンで確認できます。
- 記事ID
- EA-126
- 最終確認日
- —
- 提供元・モデル・プラン・利用環境
- —
- 対象地域
- —
元資料の全文と収録照合記録
WHY_THIS_MATTERS_TO_UPDATE
強い推論モデルを計画、安価/決定論的系を実行に割り当てる構成は費用と権限を分離し得るが、planの不完全性とexecutorの過剰権限が同時に危険になる。
SCOPE_ROUTING
multi-LLM / implementation / cost / security / evaluation
CLAIM_OR_RESEARCH_QUESTION
Plan-and-Solve原著が示すplan→subtask executionは何を確立するか。plannerとexecutorを異種modelに分けること、または計画を信頼して実行することまで確立するか。
EVIDENCE TABLE
- source class: primary research paper; exact title: Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models; author/org: Lei Wang et al.; canonical URL: https://arxiv.org/abs/2305.04091 publication/update/access: submitted 2023-05-06, revised v3 2023-05-26 / accessed 2026-09-13 JST; version/release/tag/commit/API revision/model ID: arXiv v3 / ACL 2023; supporting locator: abstract lines 8-24（two components: devise plan to divide task into subtasks, then carry out subtasks; ten datasets/three reasoning problems; GPT-3 results）; evidence label: RESEARCH; relation: support / limit.
- source class: primary research paper; exact title: ReAct: Synergizing Reasoning and Acting in Language Models; author/org: Shunyu Yao et al.; canonical URL: https://arxiv.org/abs/2210.03629 publication/update/access: revised v3 2023-03-10 / accessed 2026-09-13 JST; version/release/tag/commit/API revision/model ID: arXiv v3; supporting locator: abstract lines 16-21（reasoning traces and actions interleaved, plans updated by external observations, HotpotQA/FEVER/ALFWorld/WebShop scope）; evidence label: RESEARCH; relation: counter / context.
FINDINGS
Plan-and-Solveは、全体をsubtaskへ分けるplanと、planに従うsubtask executionの二成分を明示し、GPT-3の10 datasets/3 reasoning problemsでZero-shot-CoT等との比較を報告する。これはplan→executeという制御形の研究根拠だが、planner/executorを異なるmodel/providerにすること、executorが外部transactionを安全に行えること、planが常に完全であることは確立しない。ReActはreasoningとactingをinterleaveし、外部観測でplanを更新するため、固定planと反応型planのトレードオフを示すcounter-contextである。
LIMITS / COUNTEREVIDENCE / FAILURE ENVELOPE
plan omission、stale world state、executor interpretation drift、subtask dependency、error propagation、tool permission overreach。planを一度承認した後の環境変化・権限変更・外部副作用は別監視が必要。
AVAILABILITY_GATES
planner/executor model/API/version、tool permission、plan schema、state snapshot、approval、budget、rollback、provider data policyを確認する。実model混成・実tool executorは未実施。
IMPLEMENTATION_STATE
plannerはtyped plan/dry-runのみ、executorはallowlisted deterministic/tool actions、state readback、step-level approval、replan on driftを設計候補とする。
BENCHMARK_OR_EVAL
plan completeness、dependency correctness、executor success、state divergence、action safety、replan frequency、latency/cost、human approval burdenを別scoreにする。計画品質を実行安全性に代用しない。
SECURITY / PRIVACY / AUDIT / COST / OPERABILITY
SECURITY/PRIVACY: plannerへ秘密を渡さず、executorに最小権限。AUDIT: plan version/hash、model IDs、state snapshot、step requests/results、approvals、replan。COST: planner expensive model、executor calls、readback。OPERABILITY: max steps、stop on drift、compensation/revert、dead-letter。
SAFE_WORDING_FOR_FUTURE_BOOK
「Plan-and-Solve研究はplan→subtask executionの構造と特定推論taskでの比較結果を示す。Planner–Executor異種化は費用・権限分離の設計候補であり、planの完全性、executorの安全性、外部actionの可逆性を自動保証しない。ReActのようなinterleavingも代替設計である。」
UPDATE_WORK_HANDOFF
本文ではplanner/executorのmodel、protocol、state、tool permission、approval、replan、rollback、costを明記し、GPT-3/ten-dataset研究値の適用範囲を固定する。
OPEN_UNKNOWN
planner/executor異種化の因果効果、plan drift検知、再計画条件、deterministic executorの実現、長期taskでの費用/安全性。
STOP_CONDITION
plan生成成功やexecutorの一step成功を、全体完了・安全・正しさの証拠としない。 UNIT_CLOSE_STATUS: INDIVIDUAL_BOUNDED_CLOSE / EVIDENCE_RECORDED / UNKNOWN_PRESERVED
---
EVD-EA-126-URL-310E25743A23研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-EA-126-URL-310E25743A23
- 検証箇所
- EVIDENCE TABLE · - source class: primary research paper; exact title: Plan-and-Solve Prompting: Improving Zero-Shot Chain-of-Thought Reasoning by Large Language Models; author/org: Lei Wang et al.; canonical URL: https://arxiv.org/abs/2305.04091
- 適用範囲
- EVIDENCE TABLE
- 出典・来歴
- SOURCE_PACKET_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EVD-EA-126-URL-7647307FE498研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE- 裏付ける内容
- —
- 確認日
- —
- 出典・実験ID
- SRC-EA-126-URL-7647307FE498
- 検証箇所
- EVIDENCE TABLE · - source class: primary research paper; exact title: ReAct: Synergizing Reasoning and Acting in Language Models; author/org: Shunyu Yao et al.; canonical URL: https://arxiv.org/abs/2210.03629
- 適用範囲
- EVIDENCE TABLE
- 出典・来歴
- SOURCE_PACKET_REFERENCE_PROJECTED
- 限界
- 元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
EA-126-R11-RESEARCH研究資料研究資料根拠の出所: AUDITED_CANONICAL_RESEARCH_PACKETEA-126 監査済みresearch / canonical revision binding
- 裏付ける内容
- Plan-and-Solveは、全体をsubtaskへ分けるplanと、planに従うsubtask executionの二成分を明示し、GPT-3の10 datasets/3 reasoning problemsでZero-shot-CoT等との比較を報告する。これはplan→executeという制御形の研究根拠だが、planner/executorを異なるmodel/providerにすること、executorが外部transactionを安全に行えること、planが常に完全であることは確立しない。ReActはreasoningとactingをinterleaveし、外部観測でplanを更新するため、固定planと反応型planのトレードオフを示すcounter-contextである。
- 確認日
- —
- 出典・実験ID
- COMM-042-EA0126
- 検証箇所
- COMM-042-EA0126 · EA-126-R5-LEGACY-MIGRATION-20261008-R1 · content/staging/EA-126.md
- 適用範囲
- 監査済みEA本文・canonical revision・既存Source Graph relationの範囲。欠損currentnessは推測で閉じない。
- 出典・来歴
- AUDIT_PASS_CANONICAL_BINDING
- 限界
- canonical監査・revision bindingの存在を示す。外部ソースcurrentnessが本文またはcontrol-planeで確定していない場合は、currentnessをUNKNOWNのまま保持する。
EA-126-R11-WEB-READBACK実装資料実装資料根拠の出所: IMPLEMENTATION_READBACKEA-126 Web body identity / canonical readback
- 裏付ける内容
- canonical staging bodyのSHA-256一致とR9 canonical ledger readbackをProduction projectionの入力として検証する。
- 確認日
- —
- 出典・実験ID
- WEBBODY-EA0126-R8-C59F9E49
- 検証箇所
- WEBBODY-EA0126-R8-C59F9E49 · content/staging/EA-126.md · EA-126-R5-LEGACY-MIGRATION-20261008-R1
- 適用範囲
- R9/R10 canonical readback後のProduction生成時body identity。
- 出典・来歴
- CANONICAL_READBACK_BODY_HASH_MATCH
- 限界
- body identity/readbackは本文claim自体の真偽や外部ソースの最新性を追加保証しない。
- 出典ID
- COMM-042-EA0126, SRC-EA-126-URL-310E25743A23, SRC-EA-126-URL-7647307FE498, WEBBODY-EA0126-R8-C59F9E49
- 追跡中のUNKNOWN ID
- EA-126-UNKNOWN-01, EA-126-UNKNOWN-CURRENTNESS
- 再確認のきっかけ
- canonical revision/publication state change · body artifact hash change · source currentness change · new contradiction or implementation readback
機械検査: 通過 — Automated validation does not guarantee accuracy or authorize execution.
同じ記事IDの機械可読データです。