[論文レビュー] A note on the uniqueness of models in social abstract argumentation

Leïla Amgoud, Elise Bonzon+8 more|arXiv (Cornell University)|May 9, 2017

Multi-Agent Systems and Negotiation参考文献 3被引用数 3

ひとこと要約

本稿は、重み付きの攻撃を持つ抽象的議論枠組みにおける社会的モデルの一意性を調査し、単純積妥当性に基づくモデルが3つ以下の議論に対しては一意性を保つが、4つ以上の議論に対しては複数の妥当な解が存在するため一意性が成立しないことを示している。著者らは、4つの相互に攻撃し合う議論を持つ反例を用いて非一意性を証明し、異なるモデルが矛盾する議論順序付けをもたらすことを示している。

ABSTRACT

Social abstract argumentation is a principled way to assign values to conflicting (weighted) arguments. In this note we discuss the important property of the uniqueness of the model.

研究の動機と目的

• 単純積妥当性が、すべての枠組みサイズにおいて社会的抽象的議論で一意なモデルを保証するかを調査すること。
• LM11における予想を解決すること：単純積妥当性のもとで、すべての社会的抽象的議論枠組みにおいて一意性が成立するか。
• 非一意性が議論順序付けおよび順序独立性などの意味的性質に与える影響を分析すること。
• 重み付き議論枠組みにおいて複数の妥当なモデルが共存する条件を同定すること。

提案手法

• 議論の集合A、攻撃の集合R、各議論に割り当てられる賛成／反対票数Vからなる三元組⟨A, R, V⟩として社会的抽象的議論を形式化する。
• τε = v⁺/(v⁺ + v⁻ + ε) を用いた単純積妥当性を適用し、スコアの組み合わせに積t-ノルム、攻撃者の集約に確率的和t-コノールム、否定を1−xとして用いる。
• |A| ≤ 3 に対して一意性を証明する。非線形方程式系を解析し、単調性および対称性の議論を用いて (0,1)³ 内に唯一の解が存在することを示す。
• 4つの議論が完全に相互に攻撃し合うサイクル（a↔b, c↔d, a↔c, b↔d）を持つ反例を構築し、複数の妥当なモデルを示す。
• 得られた方程式系を数値的に解き、異なる議論順序付けを持つ3つの異なるモデルを特定する。
• 無関係な議論を追加した比較例を通じて、正規化が順序独立性などの意味的性質に与える影響を評価する。

実験結果

リサーチクエスチョン

• RQ1 社会的抽象的議論における単純積妥当性は、すべての枠組みサイズにおいて一意なモデルを保証するか？
• RQ2 重み付き議論枠組みにおいて複数の妥当なモデルが生じる条件は何か？
• RQ3 複数のモデルの存在が議論順序付けおよび意味的整合性に与える影響は何か？
• RQ4 正規化によって、順序独立性などの重要な意味的性質に違反せずに一意性を回復できるか？
• RQ5 無関係な議論が、接続された議論の相対的順序付けにどの程度影響を与えるか？

主な発見

• 3つ以下の議論を含む枠組みでは、単純積妥当性が一意な社会的モデルを保証する。これは、非線形方程式系の対称性解析により証明されている。
• 4つ以上の議論を含む枠組みでは、複数の異なるモデルが存在しうることを、4つの相互に攻撃し合う議論を持つ反例によって示した。
• 反例により3つの異なるモデルが得られた：(1) すべての議論が同等に順位付けされるモデル（M ≈ 0.366）、(2) bとdが優位となるモデル（M ≈ 0.889）、(3) aとcが優位となるモデル（M ≈ 0.889）。これらは順位付けの矛盾を示している。
• 複数のモデルの存在は、議論の順位付けが枠組みと票構造によって一意に決定されないことを示し、予測可能性を損なう。
• |A| で τ(a) を正規化する正規化戦略は、|R⁻(a)|×τ(a) < 1 を満たすようにすることで一意性を回復できるが、順序独立性を破る可能性がある。
• 無関係な議論を追加すると、接続された議論の相対的順位付けが逆転することがあり、M(a) が 0.7074 から 0.9074 に上昇し、M(f) が 0.7058 から 0.97 に上昇した例から、順序独立性に反する結果が得られた。