[論文レビュー] Range-based argumentation semantics as 2-valued models

Mauricio Osorio, Juan Carlos Nieves|arXiv (Cornell University)|Feb 29, 2016

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

ひとこと要約

本稿では、半安定およびステージ意味論の根幹をなす概念「範囲（range）」に基づく議論的意味論を捉える論理プログラミング枠組み$SC_{1}$を提案する。議論的枠組みの論理プログラム表現にGelfond-Lifschitz還元を適用することで、GLサポートモデルおよびGLステージモデルを定義し、これらが2値モデルとして半安定およびステージ拡張を形式的に特徴づけることにより、範囲に基づく意味論の統一的論理プログラミング基盤を確立する。

ABSTRACT

Characterizations of semi-stable and stage extensions in terms of 2-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.

研究の動機と目的

• 半安定およびステージ意味論の中心的役割を果たす「範囲」の概念を論理プログラミングの観点から形式化すること。
• 論理プログラミング還元を用いて範囲に基づく意味論を捉える一般スキーマ$SC_{1}$を構築すること。
• 半安定およびステージ意味論がGLサポートモデルおよびGLステージモデルを通じて2値モデルとして形式的に特徴づけられることを示すこと。
• 既存の論理プログラムマッピング（$\Pi_{AF}$および$\Pi_{AF}^{-}$）が、これらの特徴づけをサポートできることを示すこと。
• 範囲に基づく議論的意味論のための統一的論理プログラミング基盤を確立すること。

提案手法

• 論理プログラム$P$と原子集合$M$を入力とし、還元関数$R$を用いて原子の部分集合を返す一般スキーマ$SC_{1}$を導入する。
• Gelfond-Lifschitz還元を$R$に具体化することで、GLサポートモデルおよびGLステージモデルを定義する。
• $\Pi_{AF}$および$\Pi_{AF}^{-}$マッピングを用いて議論的枠組みを論理プログラムに変換する。
• 得られた論理プログラムにGelfond-Lifschitz還元を適用し、半安定およびステージ拡張に対応するモデルを導出する。
• GLサポートモデルが半安定拡張に対応し、GLステージモデルがステージ拡張に対応することを示す。
• p安定意味論の核となる$RED$還元も同様の結果をもたらすことを示し、本アプローチの堅牢性を確認する。

実験結果

リサーチクエスチョン

• RQ1 議論的意味論における「範囲」の概念を論理プログラミングの観点からどのように捉えることができるか？
• RQ2 既存の論理プログラムマッピング（$\Pi_{AF}$および$\Pi_{AF}^{-}$）は、$SC_{1}$を介して範囲に基づく意味論を特徴づけられるか？
• RQ3 半安定およびステージ意味論は、論理プログラミングにおける2値モデルとして形式的に特徴づけられるか？
• RQ4 Gelfond-Lifschitz還元や$RED$のような還元は、これらのモデルの構築においてどのような役割を果たすか？
• RQ5 論理プログラミングを用いて、新しい範囲に基づく議論的意味論を定義する汎用フレームワークは存在するか？

主な発見

• GLサポートモデルは形式的に半安定拡張と同等であり、半安定意味論の論理プログラミング的特徴づけを提供する。
• GLステージモデルは形式的にステージ拡張と同等であり、ステージ意味論のための論理プログラミング的基盤を確立する。
• $SC_{1}$スキーマは、特にGelfond-Lifschitz還元を用いて、論理プログラミング還元を通じて範囲の概念を効果的に捉えている。
• $\Pi_{AF}$および$\Pi_{AF}^{-}$マッピングは、$SC_{1}$を介して半安定およびステージ意味論の両方を特徴づけることができ、その汎用性を確認する。
• $RED$還元は、GLサポートモデルおよびGLステージモデルの構築においてGelfond-Lifschitz還元と同等の結果をもたらすため、フレームワークの堅牢性が裏付けられる。
• 本研究は、論理プログラミングモデルを通じて新しい範囲に基づく議論的意味論を定義・分析する汎用的手法を提供する。