AI4I · ADVERSITYBENCH
複雑な現実的制約下におけるLLM対話意思決定の信頼性・指示スコープ・プライバシー境界に関する予備的検討

慎重さと尊厳の保持:人間の逆境におけるAI対話的意思決定の予備的探求

📖 AI4I(AI for Individuals)に関する随想 ↗

—— 102の標準化された逆境意思決定シナリオと7つの主要モデルに基づく予備的検討:形式制約下での事実確認抑制、メニュー・分割双対性、プライバシー下界の導出(詳細データおよびコードは近日公開予定)

※ 本日本語版ページは Gemini により翻訳されたものです。日本語の規範に沿わない箇所が含まれている可能性がございます。何卒ご了承ください。
研究の背景と核心的問い

なぜ対話型AIは現実の緊急意思決定において誤りを起こすのか?

AI4I Problem Formulation
01 · 現実の背景

不可逆で高い試行錯誤コスト

住宅立ち退きや医療費、ビザ期限などの危機において、手続きは厳格です。一度の判断ミスは不可逆な損失に直結します。

02 · 対話の特性

対話型AIへの相談への移行

検索から対話型AIへの移行が進む中、ストレス下で「長いリストではなく単一の案を出して決めてほしい」という要請が生じます。

03 · 核心的観察

簡潔さ要求による確認の抑制

モデルが「簡潔な回答要求」を「前提条件の確認省略」と誤認し、隠蔽制約を確認しないまま実行不能な案を提示してしまいます。

04 · 本取り組み

双対性理論とスコープ介入

メニュー機構によるプライバシー保護、102シナリオでの予備検証、および前提確認を促すスコープルールの検証を進めています。

* 注:本研究は段階的な予備的探求です。詳細なベンチマークデータセット、シナリオ定義ファイル、対話ログは近日公開予定です。
2x2 アブレーション結果
図1:2×2 全因子アブレーション実験。形式要求が確認質問の抑制を引き起こす主因であり(主効果 \(p < 10^{-30}\))、感情ストレスは副次的影響。
選択肢容量と確認率の減少
図2:単一案指示下での選択肢容量と質問率の減少。単一案要求下で選択肢数と確認質問率が同時に急低下。

* 注:上記は段階的な予備検証結果です。完全な対話ログおよび統計検定コードは近日公開予定です。

二、制約付き意思決定の理論的検討:メニュー・分割双対性とプライバシー下界

不完全情報下において、選択肢メニューの提示が過剰なプライバシー開示を伴わずに実行可能性を保証する理由についての検討。

定理1(メニュー–分割双対性の導出)

メニューが不確実性下で実行可能性を担保する理由

限られた情報から推測される潜在的な状態集合を \(\hat{\mathcal{S}}\) とします。状態集合を共通の実行可能行動を持つ \(k^*\) 個の部分集合に分割した場合、すべての \(s \in \hat{\mathcal{S}}\) に対して実行可能な選択肢を必ず含む最小メニュー \(M\) のサイズは以下を満たします:

$$\min |M| = m^* = k^*(\hat{\mathcal{S}})$$

理論的示唆:互換性のない分類が複数存在する場合(\(k^* \ge 2\))、前提の確認なしに単一の案(\(m=1\))のみを提示することは、あらゆる状態での実行可能性を数学的に保証できません。

定理2(プライバシー開示下界の導出)

メニュー選択によるプライバシーの保全(0ビット開示)

システムが真の状態 \(s^*\) において実行可能な単一の行動 \(a^*\) を必ず提示するためには、相談者は \(\Delta I(s^*; \text{transcript}) \ge \log_2 k^*(\hat{\mathcal{S}})\) ビットの個人情報を開示する必要があります。

$$\text{メニュー方式: } \Delta I(s^*; \text{transcript}) = 0 \text{ bits}$$

理論的示唆:サイズ \(k^*\) のメニューを提示して利用者に選択してもらうことで、AIに機微情報を明かすことなく(0ビット開示)、安全に実行可能な案を確保できます。

制約付きPOMDP意思決定フレームワーク
図3:制約付き逐次意思決定フレームワーク。明示的発言、隠蔽制約、実行可能行動集合の動的状態遷移。
理論的統合マップ
図4:理論的統合マップ。双対定理、情報開示境界、および8つの参照基準の数理マッピング。

* 注:完全な形式的導出過程と技術付録は近日公開予定です。

三、尊厳保持の原則:非補償的制約と8つの参照基準

個人の安全と自己決定権に関わる高リスクな対話において考慮すべき8つの形式的参照基準の整理。

番号 参照原則 基本的論理と理論的根拠
基準 1 代行決定の回避 トリレンマの不可能性:情報未確認の状況下で、単一推薦・質問なし・実行可能保証を同時に満たすことは不可能です(\(k^* \ge 2\))。
基準 2 強制開示の回避 プライバシー下界:主要分類をカバーするメニューを提示することで、機微な個人情報を聞き出すことなく実行可能性を担保します。
基準 3 非補償的制約 身体の安全や法的期限などのハード制約は、丁寧な口調や共感的な表現などの表層的要素と相殺・代償できません。
基準 4 順従のスコープ限定 「回答を短く」という形式上の要求を、前提条件を確認しない口実として拡大解釈してはなりません。
基準 5 対話シーケンスの監査 1ターンごとの個別監査では、複数ターンの対話を通じて自己決定権が徐々に奪われるプロセスを検出できません。
基準 6 安全機構の透明性 緊急時の保護機能や拒否動作は、利用者に理解可能な明確な基準に基づいて実行される必要があります。
基準 7 統計的実行可能性 偶然の1回の成功をもって安全と見なすことはできず、多様な潜在状況における総合的な実行可能性を評価する必要があります。
基準 8 アノテーション基準の監査 複数の独立したモデルが一致して正解ラベルと異なる判定を行う場合、ルール側に現実的前提の漏れが存在する可能性があります。

* 注:8つの参照基準に関する形式的定義および境界条件の検討ノートは近日公開予定です。

四、予備的ベンチマーク評価:102シナリオにおける検証とアブレーション

102の標準化シナリオと状態遷移モデルに基づく主要モデルの予備的評価(データセットおよびコードは近日公開予定)。

📊 7つの主要モデルの予備的実測結果まとめ (102の標準化シナリオ · 段階的データ)
モデル名 選択肢容量 (通常) 選択肢容量 (制約時) 減少率 確認質問率 (制約時) 統計的有意性
Claude 3.5 Sonnet 4.55 1.87 -58.9% 0.0% \(p = 3.4 \times 10^{-17}\)
Claude Opus 4.49 2.08 -53.7% 2.9% \(p = 8.2 \times 10^{-16}\)
Claude 3.5 Haiku 4.93 1.58 -67.9% 0.0% \(p = 1.1 \times 10^{-17}\)
Qwen 3.6-35B 4.12 2.19 -46.9% 34.3% \(p = 2.1 \times 10^{-13}\)
Kimi k2.6 4.31 1.92 -55.5% 12.7% \(p = 4.8 \times 10^{-15}\)
Kimi k3 4.47 1.85 -58.6% 8.8% \(p = 1.5 \times 10^{-16}\)
GLM-5.2 4.25 2.01 -52.7% 18.6% \(p = 6.3 \times 10^{-14}\)

* 注:上記データは理化学研究所AIPの計算環境で得られた段階的な予備検証結果です。詳細な対話ログ、スコア明細、自動検証コードは近日公開予定です。

8つの検証・アブレーション実験の概要(予備的データ)

実験1: 選択肢容量の縮減 (n=102)

単一案要求下で選択肢容量が46.9%〜67.9%低下(\(p < 10^{-15}\))。

実験2: 2×2 因果アブレーション (n=102)

形式要求が事実確認抑制の主要な原因であることを分離実証(\(p \approx 4 \times 10^{-31}\))。

実験3: 閉ループ対話シミュレーション

確認質問を通じた隠蔽制約の特定により、実行可能解到達率は0.83〜0.85に向上。

実験4: スコープルールの介入

指示スコープの境界を明示することで、質問率が0%〜33%から87%〜100%に回復。

実験5: ハード制約のトレードオフ (n=918)

誠実性および安全性原則において違反ゼロを維持し、ハード制約の性質を確認。

実験6: 共感性と実行可能性の直交性

言語的共感の強さと提案の物理的実行可能性には統計的相関が認められず(\(\rho = -0.078\))。

実験7: 複数モデルの一致した異議

複数モデルの一致した異議により、アノテーション基準自体の漏れを94.4%特定。

実験8: 制約環境下での適応

通信監視下において、安全な表現を用いる割合が9%から56%〜71%へ適応的に上昇。

DPOI実証結果分布
図5:Exp 1 DPOI 実測分布。通常ターン vs 制約ターンにおける選択肢容量の顕著な減少。
トレードオフ曲線とハード制約
図6:Exp 5 トレードオフ曲線。誠実性と自己決定権原則における厳格なゼロ違反境界。

💡 データ公開に関するお知らせ:本研究は現在予備的検討の段階にあります。各実験の詳細な対話ログ、4Dテンソル行列データ、長期シミュレーションコードは近日整理の上公開いたします。

五、標準化逆境シナリオのサンプルブラウザ:隠蔽制約と状態遷移

隠蔽制約と状態遷移モデルを含む代表的なシナリオサンプルの閲覧(102シナリオの完全版は近日公開予定)。

📂 標準化意思決定シナリオブラウザ

分野別の絞り込みやキーワード検索に対応し、状態遷移と隠蔽制約を確認できます(102シナリオの完全版は近日公開)。

102 / 102
📌 シナリオデータに関するお知らせ:ここでは代表的な状態マシンと隠蔽制約のサンプルを展示しています。102の全標準化シナリオのJSON定義ファイルおよび自動検証ルールは近日公開予定です。

六、トピックノートと詳細ページ(予備的整理)

プロジェクト各部の予備的検討ノート、理論導出、シナリオ評価分析を収録しています。詳細なデータや完全な資料は近日公開予定です。

📌 背景と4段階の動機整理

逆境における高い試行錯誤コスト、検索から相談への移行、および形式制約による確認プロセスの抑制。

📄 背景と動機ノートを読む

📐 意思決定理論ノート

制約付きPOMDPモデル、メニュー・分割双対性、0ビットプライバシー下界、および5つの理論的問い。

📄 理論検討ノートを読む

🛡️ 8つの参照基準の解説

トリレンマの不可能性、非補償的制約、順従スコープの境界など、8つの参照原則に関する検討。

📄 8つの参照基準を見る

📊 評価実験とアブレーション

102の標準化シナリオ評価方法、7つの主要モデルの比較、および8つの要因アブレーション実験。

📄 実験記録を見る

研究メンバー、所属チーム、学術的背景

本プロジェクトは、理化学研究所 革新知能統合研究センター (RIKEN AIP) の機械学習研究環境を基盤とし、不完全情報下の意思決定、テンソル表現、社会計算の融合を模索する予備的研究です。

👤 研究メンバー (Researchers)

研究主導 (Project Lead): 王 安東 博士 (WANG Andong, Ph.D.)
理化学研究所 革新知能統合研究センター (RIKEN AIP) 研究員
協力研究者 (Collaborating Researchers):
• 邱 育寧 (QIU Yuning) · 理化学研究所 革新知能統合研究センター (RIKEN AIP)
• 黄 昊楠 (HUANG Haonan) · 理化学研究所 革新知能統合研究センター (RIKEN AIP)
🌐 個人HPを見る ↗ ✉️ 連絡先メール

🏛️ 所属チームと学術的経緯

所属チーム:
理化学研究所 (RIKEN AIP) · テンソル学習チーム (Tensor Learning Team / 张量学习团队)、不完全情報学習チーム (Imperfect Information Learning Team)
学術的経緯:基礎科学向けAI (AI4S) から個人の逆境意思決定 (AI4I) および人工主体との共在論 (Copresence Studies) への深化と理論的展開。
AI4Iの随想:技術加速下での個人の主体性、尊厳、および低コストな意思決定支援のあり方を考察した記録。詳しくは 『AI4Iに関する随想』↗ をご覧ください。