Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version

以下は、論文「Tenability and Weak Semantics: Modeling Non-uniform Defense（妥当性と弱い意味論：非均一な防衛のモデル化）」を、創造的な比喩を用いた平易な言葉で翻訳したものです。

大きなアイデア：「万能型」の問題

議論の場にいると想像してください。従来の議論理論（コンピュータが「真実」を決定するために使用するルール）には、厳格なルールがあります。勝利するには、あらゆる可能な攻撃に対して同時に防御できる、たった一つの完璧な物語を備えていなければならないというルールです。

この論文の著者たちは、これを**「均一な防衛（Uniform Defense）」**と呼んでいます。

彼らは、この考え方が硬直しすぎていると主張します。現実世界では、誰かがあなたに対して二つの矛盾する異なる告発をした場合、両方を説明できる一つの物語を用意する必要はありません。「X で告発されたら、X に対する防衛策がある。Y で告発されたら、Y に対する別の防衛策がある」と言えばよいのです。両方の防衛策を同時に頭の中に保持する必要はありません。相手が実際に何を言ってくるかによって、切り替える準備ができているだけで十分なのです。

この論文は、**「妥当性（Tenability）」**という新しい概念を導入します。これは次のような問いかけです：あなたの答えが直面する攻撃の種類によって変化する場合でも、一貫した攻撃のラインに対してあなたの立場を維持できるでしょうか？

三つのテストケース（「なぜ」のか）

古いルールが厳しすぎることを証明するために、著者たちは三つのシナリオ（新車の試乗のようなもの）を使用します。

1. 自滅的な攻撃（「狼来了」シナリオ）

• 設定: あなたは、明らかに嘘をついているか、あるいは自分自身を攻撃している人物に告発されます。
• 古いルール: 相手が無意味な攻撃をしていても、あなたはまだ彼らに対して防御しなければなりません。
• 新しいルール（妥当性）: 攻撃者が自滅的であれば、それは「現実的な」脅威ではありません。矛盾する嘘に対してエネルギーを浪費して防御する必要はありません。妥当性の考え方では、あなたはここで安全です。

2. 浮動する割り当て（「不可能な選択」シナリオ）

• 設定: 二人の人物があなたを告発します。彼らは互いに敵対しており（両方が真実を語っているわけにはいきません）。
  • 告発者Aは言います。「あなたは車を盗んだ」。
  • 告発者Bは言います。「あなたはボートを盗んだ」。
  • A に対して防御するには、B を支持する証拠が必要です。B に対して防御するには、A を支持する証拠が必要です。
• 問題: これらは互いに矛盾するため、両方の防衛策を同時に保持することはできません。
• 古いルール: 両方をカバーする一つの物語を持てないため、あなたは負けます。
• 新しいルール: ここで妥当性は「ノー」と言います。もし告発者たちが敵対関係なら、彼らは単一の一貫したラインでチームを組んであなたを攻撃することはできません。もしあなたが個別に彼らのどちらにも答えられないなら、あなたは困ったことになります。しかし、個別に答えられるなら、あなたは問題ありません。古いルールは、あなたに同時に両方に答えさせることを強いたため、ここで失敗しました。

3. 選言的復活（「自分だけの冒険」シナリオ）

• 設定: 二人の敵があなたを告発します。
  • 敵 1 は嘘であなたを攻撃します。あなたは敵 1 を打ち負かす特定の反論（C1）を持っています。
  • 敵 2 は別の嘘であなたを攻撃します。あなたは敵 2 を打ち負かす別の反論（C2）を持っています。
  • 重要な点: C1 と C2 は敵対関係です。あなたは同時に両方を使うことはできません。
• 古いルール: あなたは負けます。なぜなら、あなた、C1、そして C2 がすべて連携して機能する「マスター・ストーリー（完全な物語）」が存在しないからです。古いルールは、すべてを同時にブロックする一つの完璧な盾を持っていることを要求します。
• 新しいルール（妥当性）: あなたは勝ちます！なぜなら、敵たちは（嘘が互いに矛盾しているため）同時に両方の嘘であなたを攻撃できないからです。
  • 相手が敵 1 を選べば、あなたは C1 を使います。
  • 相手が敵 2 を選べば、あなたは C2 を使います。
  • あなたは C1 と C2 の両方を同時にポケットに入れておく必要はありません。相手が手を動かしたときに、正しい方を取り出せる準備ができているだけでよいのです。

妥当性の三つのレベル

著者たちは、この新しいルールを、ビデオゲームの難易度レベルのように三つのバージョンとして定義しています。

1. 静的妥当性（「スナップショット」）:

   • 相手が一発のパンチを放つと想像してください。それをブロックする盾を見つけることができますか？
   • 比喩: 地図をチェックするようなものです。「この道を行けば、道はあるか？」これは一度のチェックです。シンプルですが、長くて行き来する戦いには対応していません。

2. 強妥当性（「達人対初心者のゲーム」）:

   • これはゲームです。あなた（提唱者）と相手が交互に手を打つのです。
   • 落とし穴: あなたはあなたの議論を永遠に防御しなければなりません。しかし相手は？彼らは自分の議論を防御する必要はありません。彼らは根拠のない突飛な主張を投げつけても、あなたはまだそれに対する答えを持っていなければなりません。
   • 比喩: あなたは完璧でなければならないが、相手は散漫で矛盾してもよいという議論のようなものです。あなたが混乱した質問に答え続け、崩壊せずにいられるなら、あなたは勝ちます。

3. 妥当性（「達人対達人」）:

   • これが最も現実的なバージョンです。あなたも相手も「公平」にプレイしなければなりません。
   • 相手が新しい議論を投げつけた場合、あなたがそれを攻撃した際、彼らもその議論を防御できなければなりません。
   • 比喩: これは実際の法廷や真剣な議論です。両側は自分の主張に固執しなければなりません。相手が物語を変えたら、彼らはその新しい物語を責任を持って引き受けなければなりません。あなたが、必要に応じて防衛策を切り替えながら、決して立ち往生することなく、この公平な戦いを navigat（導く）できれば、あなたは勝ちます。

「達人対無知」効果

この論文は、古い考え方を説明するために、面白いフレーズを使用します：「達人対無知」。

• 達人（あなた）: すべてに対して完璧で一貫した物語を持たなければなりません。
• 無知（相手）: 任意の、矛盾する無意味なものを投げつけても、あなたはまだそれらすべてを一つの完璧な物語で答えなければなりません。

著者たちは、これは不公平だと述べています。現実世界では、相手が一貫性がない場合、彼らは深刻な脅威ではありません。妥当性はこれを修正します。「あなたは、一貫した攻撃のラインに対してのみ答えなければならない。相手が二つの矛盾する攻撃を混ぜようとした場合、その混ぜ合わせは無視する」と言うのです。

結果（「スコアボード」）

著者たちは、コンピュータが立場が「妥当」かどうかを判断するのがどれほど難しいかを確認するために、重厚な数学を行いました。

• 静的妥当性: 計算は難しいが、管理可能（複雑な論理パズルをチェックするのと類似）。
• 強妥当性および妥当性: 計算は非常に難しい（チェスや将棋のような複雑な戦略ゲームを解くのと類似）。
• 良い知らせ: 難しいとはいえ、コンピュータにとって不可能ではありません。これは、私たちがすでに使用している他の高度な議論手法と同じ難易度レベルにあります。

まとめ

この論文は、防衛可能性とは、一つで完璧かつ包括的な物語を持つことではないと主張します。代わりに、それは柔軟な戦略を持つことについてのものであるべきです。

相手が作り出す可能性のあるすべての「一貫した」攻撃に答えられれば、あなたは「妥当（Tenable）」です。相手が選んだ攻撃に応じて防衛策を切り替えることで、あなたは答えられます。すべての可能な攻撃を正確に同時に答えられる必要はありません。相手が実際に放ってくるものに対して準備ができているだけでよいのです。