[論文レビュー] On the existence and multiplicity of extensions in dialectical argumentation

Bart Verheij|ArXiv.org|Jul 17, 2002

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

ひとこと要約

この論文は、DEFLOGフレームワークを用いて、対立的論証における安定拡張の存在および多重性を調査する。論文は、対立的正当化の概念を通じてこれらの拡張を特徴づけ、対立的正当化と許容性の間の形式的関係を確立することで、与えられた論証フレームワークにおける安定拡張の存在およびその数を統一的に決定する基準を提示する。

ABSTRACT

In the present paper, the existence and multiplicity problems of extensions are addressed. The focus is on extension of the stable type. The main result of the paper is an elegant characterization of the existence and multiplicity of extensions in terms of the notion of dialectical justification, a close cousin of the notion of admissibility. The characterization is given in the context of the particular logic for dialectical argumentation DEFLOG. The results are of direct relevance for several well-established models of defeasible reasoning (like default logic, logic programming and argumentation frameworks), since elsewhere dialectical argumentation has been shown to have close formal connections with these models.

研究の動機と目的

• 安定拡張が対立的論証フレームワークに存在するかどうかという基礎的問題に取り組む。
• このようなフレームワークにおいて複数の安定拡張が共存できる条件を分析する。
• 対立的正当化を用いて、拡張の存在および多重性を形式的に特徴づける。
• 論証理論における対立的正当化と許容性の間の関係を確立する。
• デフォルト論理や論理プログラミングを含む、代表的な帰結的推論モデルに適用可能な統一的基準を提供する。

提案手法

• 論文は、対立的論証の形式的フレームワークとしてDEFLOG論理を採用する。
• 対立的正当化を、安定拡張に含まれる議論が受け入れ可能かどうかを決定する主要な構造的性質として定義する。
• この手法は、対立的正当化の観点から論証フレームワークを分析することにあり、それが許容性と密接に関連していることが示されている。
• 形式的証明を用いて、安定拡張が存在し、かつ一意であるか、複数存在するかの条件を特徴づける。
• このアプローチは、論証フレームワーク内の攻撃関係および正当化の鎖の論理的分析に依存する。
• 結果は、既知の帰結的推論モデルへの応用を通じて検証され、広範な関連性が示されている。

実験結果

リサーチクエスチョン

• RQ1 対立的論証フレームワークにおいて、安定拡張が存在する条件は何か？
• RQ2 フレームワークが複数の安定拡張を許容するのではなく単一のものに制限されるのは、どのような要因によるか？
• RQ3 対立的正当化は、論証における許容性の概念とどのように関係しているか？
• RQ4 対立的正当化を用いて、安定拡張の存在および多重性を形式的に特徴づけられるか？
• RQ5 この特徴づけは、デフォルト論理や論理プログラミングなどの確立された帰結的推論モデルにどの程度適用可能か？

主な発見

• 論文は、DEFLOGにおける安定拡張の存在が、対立的正当化の概念によって完全に特徴づけられることを確立した。
• 複数の安定拡張が存在するのは、互いに正当化可能であるが、同時に敗北しない議論が存在する場合に限る。
• 対立的正当化は、許容性と安定拡張の存在の間の形式的ブリッジを提供し、統一的基準を提示する。
• この特徴づけは、デフォルト論理、論理プログラミング、および論証フレームワークに直接適用可能であることが示された。
• 結果として、DEFLOGフレームワークにおける安定拡張の存在に対して、対立的正当化が必要かつ十分であることが明らかになった。
• このフレームワークは、拡張の多重性を体系的に分析でき、複数の安定拡張が生じる状況を正確に特定することが可能である。