[論文レビュー] Abduction and Dialogical Proof in Argumentation and Logic Programming

Richard Booth, Dov M. Gabbay+3 more|arXiv (Cornell University)|Jul 15, 2014

Multi-Agent Systems and Negotiation参考文献 10被引用数 8

ひとこと要約

本稿は、抽象的議論枠組み（AF）への変更を、観察された議論の受容を説明する仮説として用いる、抽象的議論における帰納的推論のモデルを提示する。懐疑的および容認的受容のための対話的証明手続きを提示し、帰納的論理プログラムがこれらの枠組みに具体化可能であることを示し、帰納的論理プログラミングを対話的推論を通じて抽象化することを確立する。

ABSTRACT

We develop a model of abduction in abstract argumentation, where changes to an argumentation framework act as hypotheses to explain the support of an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypothe- ses that explain skeptical/credulous support) and we show that our model can be instantiated on the basis of abductive logic programs.

研究の動機と目的

• 観察された議論の受容を説明する仮説として、議論枠組み（AF）への変更を用いる抽象的議論における帰納的推論の形式的モデルの構築を目的とする。
• 特に懐疑的および容認的受容の文脈において、帰納的推論のための対話的証明理論の欠如に応えること。
• 帰納的論理プログラム（ALPs）が抽象的議論枠組みに具体化可能であり、説明力が保持されることを示すこと。
• 帰納的論理プログラミングにおける説明と、提案された帰納的議論枠組みからの説明との間の形式的対応関係を確立すること。
• 弁論パターンに基づく対話的証明システムを用いた帰納的説明の推論の基盤を提供すること。

提案手法

• 仮説が議論枠組みへの変更（議論や攻撃の追加・削除）として定義される、抽象的AFの拡張として帰納的議論枠組み（AAFs）を導入する。
• 主張者（proponent）が仮説的移動を用いて相手を説得し、議論の受容の必要性または可能性を主張する対話的証明手続きを定義する。
• 懐疑的および容認的受容を、AFへの仮説的変更を含む対話としてモデル化し、整合的かつ完全な証明規則を提供する。
• 正の仮説（追加）と負の仮説（削除）を用いて、帰納的論理プログラム（ALPs）をAAFsに写像し、帰納的説明を保持する。
• 完全な意味論を用いて拡張と受容状態を定義し、ALPの説明とAAFに基づく説明との間の対応関係を保証する。
• 項書き換えに類似した規則を用いて、攻撃の主張や否定といった対話的移動をシミュレートし、対話中の議論枠組みの進化をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 抽象的議論における帰納的推論をどのように形式化できるか。具体的には、議論枠組みへの変更を、観察された議論の受容を説明する仮説として用いること。
• RQ2 懐疑的および容認的受容の文脈における帰納的議論のための対話的証明手続きを開発可能か。また、それらは整合的かつ完全か。
• RQ3 帰納的論理プログラム（ALPs）を帰納的議論枠組みに具体化する際、説明力がどの程度保持されるか。
• RQ4 帰納的論理プログラミングにおける説明と、帰納的議論枠組みから導かれる説明との間の形式的対応関係は何か。
• RQ5 対話的証明システムを、優先的または最小限の説明のみを導出できるように適合可能か。仮説の優先順位はどのように統合できるか。

主な発見

• 提案された抽象的議論における帰納的推論のモデルは、議論枠組みへの変更を観察された議論の受容を説明する仮説として効果的にフレームする。
• 懐疑的および容認的受容の両方について、整合的かつ完全な対話的証明手続きが開発され、仮説的説得の形式としての推論プロセスを模倣する。
• 帰納的論理プログラミングと帰納的議論枠組みとの間の対応関係が形式的に確立された：ALPにおいて仮説がクエリを説明するならば、かつその場合に限り、対応する枠組みの変更がAAFにおいて観察を説明する。
• ALPsをAAFsに具体化する過程で、受容の意味論が保持され、ALPにおける懐疑的および容認的説明が、完全な意味論下でのAAFにおける説明と一致する。
• 本手法は、帰納可能要素（議論や攻撃）を独立して扱うことはできないことを示している。変更は全体的な枠組みの修正として扱わねばならず、例として $a$ と $d$ が独立に追加または削除できないことが示されている。
• 対話的証明システムは、構造的な対話によって帰納的推論の本質を捉えており、主張者が仮説的枠組みの変更を通じて議論の受容の必要性または可能性を正当化する。