[論文レビュー] Collective Argumentation

Alexander Bochman|ArXiv.org|Jul 9, 2002

Logic, Reasoning, and Knowledge参考文献 5被引用数 5

ひとこと要約

本稿では、個々の議論の代わりに議論の集合同士の攻撃を許容する抽象的議論理論の拡張として、集合的議論（collective argumentation）を導入する。この手法により、論理的プログラミングにおける選言的論理プログラムの意味論を表現可能となり、議論の共有をモデル化するフレームワークを提供する。主な結果として、このような枠組みにおける安定的および好ましい拡張が、論理プログラミングにおける既知の意味論に対応することが示された。

ABSTRACT

An extension of an abstract argumentation framework, called collective argumentation, is introduced in which the attack relation is defined directly among sets of arguments. The extension turns out to be suitable, in particular, for representing semantics of disjunctive logic programs. Two special kinds of collective argumentation are considered in which the opponents can share their arguments.

研究の動機と目的

• 議論の集合同士の攻撃を許容するように抽象的議論理論を拡張し、協働的議論のモデル化を可能にする。
• 標準の議論フレームワークが直接扱えない選言的論理プログラムの意味論を形式的に表現するためのフレームワークを提供する。
• 対戦相手が議論を共有できる特別なケースを調査し、既知の意味論の自然な表現をもたらす。
• l-正の議論理論を、局所的議論理論の正の閉包として特徴づけ、既存の論理プログラミングの意味論と関連付ける。

提案手法

• 攻撃関係が個々の議論ではなく議論の集合に基づくフレームワークとして集合的議論を定義する。
• 集合Γが集合Δを攻撃する『集合的攻撃』の概念を導入し、ΔにΓによって許容可能な議論が存在しない場合に成立する。
• 攻撃関係の構造的性質に基づき、『正の』および『負の』議論理論を特徴づける。
• l-正の理論を特徴付けるために『輸出性』および『準局所性』の性質を導入し、これらは局所的理論の正の閉包である。
• 正の閉包構成を用いて、論理プログラミングにおける弱安定的および安定的集合を集合的フレームワーク内でモデル化する。
• 構造的制約を用いて、集合的設定内での標準的議論意味論（例：安定的、好ましい、完全な拡張）を再構築する。

実験結果

リサーチクエスチョン

• RQ1 抽象的議論理論を、個々の議論の代わりに議論の集合同士の攻撃を許容するようにどのように拡張できるか？
• RQ2 集合的議論は、複数のヘッドを有する選言的論理プログラムに対して自然な意味論を提供できるか？
• RQ3 対戦相手が議論を共有できる議論フレームワークの構造的性質は何か？
• RQ4 l-正の議論理論は、安定的および弱安定的モデルを含む既知の論理プログラミングの意味論とどのように関係するか？
• RQ5 局所的および非局所的集合的議論フレームワークの間で、許容集合の構造的差異は何か？

主な発見

• 本稿は、集合レベルの攻撃を許容することにより、選言的論理プログラムの実用的意味論のほとんどを表現可能であることを示した。
• l-正の議論理論が、局所的議論理論の正の閉包であることが正確に特徴づけられ、形式的特徴づけが得られた。
• KakasとMankarella（1991）の安定的理論は、l-正の集合的議論フレームワークにおける最大の許容集合として正確に表現可能である。
• l-正のフレームワークにおける許容集合の集合は下方向の半ラティスを形成しないことから、局所的ケースを越えた構造的複雑性が示された。
• 正の議論と負の議論は、自明化を伴わなければ互いに不適合であり、その組み合わせは対称的攻撃を引き起こし、古典的な不適合性に帰着する。
• このフレームワークにより、議論の共有が自然に表現可能であり、対戦相手が一時的に議論を共有することで、協働的議論の整合的意味論が得られる。