[論文レビュー] Pruning Search Space in Defeasible Argumentation

Carlos Iván Chesñevar, Guillermo Ricardo Simari+1 more|arXiv (Cornell University)|May 27, 2004

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

ひとこと要約

本稿では、攻撃評価のための重要なリテラルを特定し、対立する議論の生成を制限する弁別的制約を適用することにより、探索空間を縮小する2つのメカニズムを通じて、帰属的論証システムの最適化手法を提案する。このアプローチにより、ターゲット議論と共有する基礎を最大化する反論者を優先することで、計算コストを低減し、より効率的な弁別的木の構築が可能になる。

ABSTRACT

Defeasible argumentation has experienced a considerable growth in AI in the last decade. Theoretical results have been combined with development of practical applications in AI & Law, Case-Based Reasoning and various knowledge-based systems. However, the dialectical process associated with inference is computationally expensive. This paper focuses on speeding up this inference process by pruning the involved search space. Our approach is twofold. On one hand, we identify distinguished literals for computing defeat. On the other hand, we restrict ourselves to a subset of all possible conflicting arguments by introducing dialectical constraints.

研究の動機と目的

• 帰属的論証システムにおける弁別的推論の高い計算コストに対処すること。
• 議論の過程で関連する対立点に焦点を当てることで、議論の探索に必要な探索空間のサイズを縮小すること。
• 反論者の選択に優先順位基準を導入することで、議論ラインの構築における効率性を向上させること。
• ゴール指向の攻撃検出と共有基礎分析を用いることで、帰属的論理プログラミング（DeLP）のスケーラブルな実装を可能にすること。

提案手法

• 本稿では、共有された基礎リテラルに基づいて、反論者がターゲット議論を遮断できるかどうかを評価するゴール指向の攻撃検出メカニズムを導入する。
• 反論者の優先順位順序を、共有基礎の概念を用いて定義する。ここで、攻撃された議論と共有するリテラルが多い反論者が優先される。
• 議論ラインの共有基礎に補完的リテラルが含まれるかどうかに基づき、評価順序 $\preceq_{\text{eval}}$ が形式化される。
• 各段階で考慮される可能性のある反論者の集合を制限する弁別的制約を適用することで、対立する議論の生成を制限する。
• このアプローチはDeLPフレームワークに統合され、厳密な規則と帰属的規則を活用して、議論とその対立を効率的に計算する。
• バックワードチェイニングを用い、共有基礎に基づくプルーニングにより、関連性の低い議論経路の探索を回避する。

実験結果

リサーチクエスチョン

• RQ1 議論的完全性を損なわせることなく、帰属的論証における探索空間をどのように縮小できるか？
• RQ2 効率性を向上させるために、弁別的木構築の過程で反論者を優先順位付けする基準として何を用いることができるか？
• RQ3 議論間の共有基礎をどのように形式的に定義し、探索プルーニングをガイドするために用いることができるか？
• RQ4 ゴール指向の攻撃検出は、議論システムのスケーラビリティをどのように向上させるか？
• RQ5 弁別的制約を用いて、推論の過程で考慮される対立する議論の数を制限することは可能か？

主な発見

• 提案された評価順序 $\preceq_{\text{eval}}$ により、攻撃された議論と共有する基礎リテラルが多い反論者が最初に探索されるため、重複する探索が削減される。
• 最大の共有基礎を持つ反論者を優先することで、平均的な議論ラインが短くなり、探索効率が向上する。
• 弁別的制約により、可能な対立議論の集合を制限することで、探索空間の大半が効果的にプルーニングされる。
• 全議論ペair間の完全性チェックを回避することで、DeLPのより効率的な実装が可能になる。
• より大きな例における実験結果から、プルーニング戦略により、正当化の過程で探索される議論ラインの数が顕著に減少することが示された。
• 共有基礎を優先順位基準として用いることで、計算複雑性を増加させることなく、軽量かつ効果的な議論探索のガイドラインが実現できる。