[論文レビュー] ABA+: Assumption-Based Argumentation with Preferences

Kristijonas Čyras, Francesca Toni|arXiv (Cornell University)|Oct 10, 2016

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

ひとこと要約

本稿では、仮定に基づく議論（ABA）の新規拡張であるABA+を紹介する。ABA+は、攻撃関係に仮定の優先順位を直接統合する攻撃反転を通じて、より直感的で保守的な矛盾する議論の取り扱いを可能にする。このアプローチにより、さまざまな意味論において一意で優先される拡張が保証され、ABAの基本的性質が保持される。

ABSTRACT

We present ABA+, a new approach to handling preferences in a well known structured argumentation formalism, Assumption-Based Argumentation (ABA). In ABA+, preference information given over assumptions is incorporated directly into the attack relation, thus resulting in attack reversal. ABA+ conservatively extends ABA and exhibits various desirable features regarding relationship among argumentation semantics as well as preference handling. We also introduce Weak Contraposition, a principle concerning reasoning with rules and preferences that relaxes the standard principle of contraposition, while guaranteeing additional desirable features for ABA+.

研究の動機と目的

• 議論システム、特にABAのような構造的枠組みにおける優先順位の形式的定式化に向けた合意の欠如に対処すること。
• 対象レベルでの仮定の優先順位を攻撃関係に直接統合する優先順位処理メカニズムを構築することにより、メタレベルの集約を回避すること。
• ABA+がABAを保守的に拡張し、衝突のない性質や許容性といった望ましい意味論的性質を保持すること。
• 論理的一致性を損なわずに規則と優先順位を用いた推論を可能にする緩和された原則である弱対偶（Weak Contraposition）を導入・正当化すること。
• 攻撃削除やメタレベルでの優先順位集約とは異なり、攻撃反転を用いることで、既存のアプローチと差別化される点を示すこと。

提案手法

• ABA+では、仮定の優先順位を定義し、攻撃を反転させる：攻撃者が攻撃対象よりも優先順位が低い場合、攻撃の方向を反転させる。
• 攻撃反転は、仮定Aが仮定Bの反対を導ける場合にのみ、AがBを攻撃すると定式化され、優先順位順序が攻撃が成立するか反転するかを決定する。
• ABA+の意味論は、得られた攻撃グラフに基づき定義され、標準的な議論意味論（例：完全、優先、安定）を用いて拡張を計算する。
• 標準的対偶を緩和するための新しい原則、弱対偶（Weak Contraposition）を導入し、部分的議論の閉包性を保ちつつ、より柔軟な推論を可能にする。
• ASPIC+への形式的マッピングにより、議論構造と敗北関係の同等性を示し、異なる形式的枠組みにおける優先順位処理の一貫性を検証する。
• 優先順位比較（エリート主義的、民主的、互いに排他的なエリート主義的）を用いて、得られた議論フレームワークにおける敗北関係を決定し、より優先順位の高い議論が低い議論を打ち負かすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 仮定の優先順位を、元のフレームワークの形式的性質を保持する形でABAに統合する方法は何か？
• RQ2 攻撃反転が、優先順位付きABAにおける受け入れ可能な拡張の存在と一意性に与える影響は何か？
• RQ3 攻撃を破棄するか、メタレベルで優先順位を集約する既存のアプローチと比較して、ABA+はどのように異なるか？
• RQ4 対偶のような論理的原則は、ABA+でどのように保持されたり緩和されたりするのか、その結果は何か？
• RQ5 ABA+は、議論構造と敗北関係の同等性を保ちつつ、ASPIC+に形式的にマッピング可能か？

主な発見

• ABA+はABAを保守的に拡張し、優先順位が存在しない場合にはABAのすべての拡張がABA+でも有効であることが保証される。
• 攻撃反転の使用により、ある仮定が他の仮定よりも厳密に優先される場合、参照投票の例で示されるように、ABA+は衝突時に一意な優先拡張を生成する。
• ABA+は、さまざまな議論意味論において、衝突のない性質、許容性、安定性といった望ましい意味論的性質を満たす。
• 弱対偶の導入により、完全な対偶を必要とせず、欠損規則と優先順位を用いた推論が可能になり、論理的一致性を保ちつつ柔軟性が向上する。
• ASPIC+への形式的マッピングにより、ABA+の議論と敗北関係が、同じ優先順位順序のもとでASPIC+と一致することが確認され、アプローチの一貫性が検証された。
• ABA+は、多数の既存の優先順位付き議論システムとは異なり、仮定レベルで優先順位を統合し、攻撃関係を直接変更することで、攻撃を破棄するか、議論レベルで優先順位を集約するのではなく、対象レベルでの優先順位処理を実現する点で差別化される。