[論文レビュー] Notes on Abstract Argumentation Theory

Anthony P. Young|arXiv (Cornell University)|Jun 18, 2018

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

ひとこと要約

この論文は、Dungの抽象的議論理論の詳細で証明を明確化した解説を提供しており、衝突のない集合、許容可能な集合、および拡張（好み、安定、基礎的）といった基礎的概念に焦点を当てている。任意のフレームワークにおいて、ナイーブ拡張および好みの拡張の存在に選択公理（AC）が必要であることを厳密に確立しており、これらの拡張が存在するための必要十分条件がACであること、すなわちACが成り立つ場合にのみ存在することを示している。

ABSTRACT

This note reviews Section 2 of Dung's seminal 1995 paper on abstract argumentation theory. In particular, we clarify and make explicit all of the proofs mentioned therein, and provide more examples to illustrate the definitions, with the aim to help readers approaching abstract argumentation theory for the first time. However, we provide minimal commentary and will refer the reader to Dung's paper for the intuitions behind various concepts. The appropriate mathematical prerequisites are provided in the appendices.

研究の動機と目的

• Dungの1995年の画期的な論文における抽象的議論理論に関するすべての証明を明確にし、明示的に解説すること。
• 初心者向けの主要な定義および概念を説明する詳細な例を提供すること。
• 抽象的議論フレームワークにおけるナイーブ拡張および好みの拡張の存在に、選択公理（AC）が論理的に必要であることを確立すること。
• 研究者および抽象的議論理論に初めて触れる学生のための技術的参考書および学習支援資料としての役割を果たすこと。
• 議論フレームワークに関連するラティス理論および順序理論の基礎的結果を、最小限の哲学的コメントを含んで提示すること。

提案手法

• Dungの第2節のすべての証明を再構築し、特に議論拡張の存在および構造的性質に焦点を当てて詳細に解説する。
• ラティス理論的概念（例えば、完全な部分順序、最大元）を用いて拡張の存在を形式化する。
• ツォルンの補題および選択公理（AC）を用いて、最大の衝突のない集合および許容可能な集合の存在を証明する。
• 任意の空でない集合の族から、特定の抽象的議論フレームワーク（AF）を構築し、ナイーブ拡張の存在がACを意味することを示す。
• 同じ構築および推論を用いて、好みの拡張を備えた対称的AFがACを意味することを示す。
• 不動点理論および関数合成（例えば、中立性関数および防衛関数）を用いて、拡張の性質およびそれらの相互作用を分析する。

実験結果

リサーチクエスチョン

• RQ1 抽象的議論フレームワークにおけるナイーブ拡張および好みの拡張の存在に、正確にどのような数学的根拠があるのか。
• RQ2 無限の議論フレームワークにおいて、選択公理は、衝突のない集合および許容可能な集合の存在とどのように関係しているのか。
• RQ3 どのような条件下で、異なる意味論（例えば、好み、安定、基礎的）が抽象的議論フレームワーク内で一致するのか。
• RQ4 ラティス理論的構造は、議論フレームワークにおける拡張の集合を特徴付けるために果たす役割は何か。
• RQ5 特定の種類の拡張（例えば、ナイーブまたは好み）の存在を用いて、選択公理のような基礎的集合論的公理を導くことは可能か。

主な発見

• 任意の抽象的議論フレームワークに対してナイーブ拡張が存在することは、選択公理と論理的に同値である。
• 任意の抽象的議論フレームワークに対して好みの拡張が存在することは、選択公理と論理的に同値である。
• 有限の議論フレームワークでは、有限の半順序集合は常に最大元を持つため、選択公理を必要とせず、ナイーブ拡張および好みの拡張が存在する。
• 中立性関数および防衛関数が、衝突のなさを保ち、拡張のラティス理論的構造を支援する方法で相互作用することを示した。
• 好みの拡張が許容可能な集合の最大集合であることが示され、基礎的拡張が防衛関数の最小不動点として一意に定義されることを示した。
• 本論文は、Dungの意味論がすべて一致するための必要十分条件として、議論フレームワークが整合的または相対的に基礎的であることを示し、意味論の同値性の条件を確立した。