Argumentative Characterizations of (Extended) Disjunctive Logic Programs

要約

この論文は、議論理論、特に仮定に基づく議論とさまざまな種類の論理プログラムとの関係について確立された一連の研究を継続します。
特に、仮定に基づく議論が通常の論理プログラムだけでなく、選言的論理プログラムとその拡張も表現できることを示すことで、カミナダ、シュルツ、トニの既知の結果を拡張します。
このために、議論フレームワークのコアロジックが尊重すべき選言に関するいくつかの推論ルールを検討し、論理プログラムのルールの先頭での選言の処理との対応を示します。

要約(オリジナル)

This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic programs. In particular, we extend known result of Caminada, Schultz and Toni by showing that assumption-based argumentation can represent not only normal logic programs, but also disjunctive logic programs and their extensions. For this, we consider some inference rules for disjunction that the core logic of the argumentation frameworks should respect, and show the correspondence to the handling of disjunctions in the heads of the logic programs’ rules.

arxiv情報

提供元, 利用サービス

arxiv.jp, Google