[論文レビュー] Attacker and Defender Counting Approach for Abstract Argumentation

Fuan Pu, Jian Luo+2 more|arXiv (Cornell University)|Jun 13, 2015

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

ひとこと要約

本稿では、対話ゲーム枠組みにおいて、発言者（擁護者）の数（擁護者手番）と反発者（反対者）の数（反対者手番）に基づいて、抽象的妥当性評価を行うカウント式意味論を提案する。議論木としての議論評価をモデル化し、寄与度の減衰要因を適用することで正規化と収束を達成し、最もから最もでないまでの一連の順序付けられた評価が可能になる。

ABSTRACT

In Dung's abstract argumentation, arguments are either acceptable or unacceptable, given a chosen notion of acceptability. This gives a coarse way to compare arguments. In this paper, we propose a counting approach for a more fine-gained assessment to arguments by counting the number of their respective attackers and defenders based on argument graph and argument game. An argument is more acceptable if the proponent puts forward more number of defenders for it and the opponent puts forward less number of attackers against it. We show that our counting model has two well-behaved properties: normalization and convergence. Then, we define a counting semantics based on this model, and investigate some general properties of the semantics.

研究の動機と目的

• 従来の妥当性意味論が、引数の順序付けにおいて空または曖昧な結果をもたらすという限界を是正すること。
• 擁護者および反対者数に基づく段階的アプローチを用いて、引数の妥当性を数値的かつきめ細やかに評価すること。
• 正規化と収束といった良好な性質を保証するカウント式意味論を形式化すること。
• 発言者と反発者エージェント間の対話ゲームとしての引数評価をモデル化することで、一貫性がありスケーラブルな引数順序付けを可能にすること。
• 引数の反対者同士の構造的関係が、相対的な妥当性順位に与える影響を調査すること。

提案手法

• 発言者（PRO）と反対者（OPP）の間の対話ゲームとして引数評価をモデル化し、手番が交互に移り変わり、議論木内の攻撃者ノードおよび擁護者ノードとしてラベル付けされる。
• 寄与度の減衰要因 α を用いて、議論木内の擁護者および攻撃者ノードの数に基づき、引数に数値的強度値を割り当てる。
• 正規化と収束を保証する再帰的公式を用いて、擁護者および攻撃者寄与度を統合するカウント式意味論 vα を定義する。
• 集合比較関係 ≤α を導入し、S1 ≤α S2 であるとは、S1 から S2 への単射写像が存在し、各写像された引数がその元以上に妥当であることを意味する。
• 攻撃者集合がより大きく、またはより高い順位の引数を含む場合に厳密な優位性を特定する強力な比較関係 ≺α を採用する。
• 議論木構造を用いて引数強度を再帰的に計算し、根の引数が対話を開始し、攻撃関係に基づいて以降の手番が木を構築する。

実験結果

リサーチクエスチョン

• RQ1 従来の拡張に基づく意味論よりもきめ細やかなスケールで、引数の妥当性をどのように評価できるか。
• RQ2 合理的かつ一貫性のある順序付けを保証するため、数値的引数評価モデルが満たすべき性質は何か。
• RQ3 議論木内の擁護者および攻撃者数のカウントが、引数の相対的妥当性にどのように影響するか。
• RQ4 攻撃者数が少ない、もしくは質の高い攻撃者を有する引数がより妥当であると見なせる条件は何か。
• RQ5 減衰要因 α が得られる妥当性順位に与える影響は何か。また、収束と正規化を保証する役割は何か。

主な発見

• 提案されたカウント式意味論は正規化を達成し、引数強度値が 0 から 1 の間で有界になるため、意味的な比較が可能になる。
• 意味論は収束性を示し、引数強度値の再帰的計算が安定化し、一意で明確に定義された結果をもたらす。
• 引数 xi の 1 長さ攻撃者集合が xj のそれ以上に ≤α である場合、xi は xj と同等以上に妥当である、すなわち xi ⪰α xj となる。これは合理的な順序付け行動を示す。
• 攻撃者集合が xi に対して xj より強く <α である場合（記号で ≺α と表記）、xi は xj より厳密に妥当性が高い、すなわち xi ≻α xj となる。これは複雑な状況でも厳密な順序付けを可能にする。
• 例題フレームワークでは、直接計算と集合比較の両方で x4 ≻ x1 ≻ x3 ≻ x2 という順序が一貫して得られ、モデルの予測力が裏付けられる。
• 攻撃者集合の比較と再帰的カウントを用いた順序付けの導出が一貫していることから、複雑なグラフにおいてもスケーラブルかつ直感的な引数順序付けが可能であることが示された。