[論文レビュー] Probabilistic Argumentation. An Equational Approach

Michael Gabbay, Odinaldo Rodrigues|arXiv (Cornell University)|Mar 18, 2015

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

ひとこと要約

本稿は、抽象的議論枠組みを古典的命題論理に翻訳することで、確率的意味論をモデルに基づく確率割り当てを介して導入する、新しい等式的手法を提示する。主な貢献は、確率的解釈が議論ネットワークの論理的構造に基づいて意味論的に根拠付けられる、原則的で論理的翻訳に基づく手法を提供することである。これは、従来の枠組みにおける恣意的確率割り当ての代替として一貫性のある選択肢を提供する。

ABSTRACT

There is a generic way to add any new feature to a system. It involves 1) identifying the basic units which build up the system and 2) introducing the new feature to each of these basic units. In the case where the system is argumentation and the feature is probabilistic we have the following. The basic units are: a. the nature of the arguments involved; b. the membership relation in the set S of arguments; c. the attack relation; and d. the choice of extensions. Generically to add a new aspect (probabilistic, or fuzzy, or temporal, etc) to an argumentation network can be done by adding this feature to each component a-d. This is a brute-force method and may yield a non-intuitive or meaningful result. A better way is to meaningfully translate the object system into another target system which does have the aspect required and then let the target system endow the aspect on the initial system. In our case we translate argumentation into classical propositional logic and get probabilistic argumentation from the translation. Of course what we get depends on how we translate. In fact, in this paper we introduce probabilistic semantics to abstract argumentation theory based on the equational approach to argumentation networks. We then compare our semantics with existing proposals in the literature including the approaches by M. Thimm and by A. Hunter. Our methodology in general is discussed in the conclusion.

研究の動機と目的

• 抽象的議論枠組みに確率を一貫性を持って割り当てる、原則的で意味論的根拠に基づく手法を開発すること。
• 既存の確率的議論枠組みにおける恣意的確率割り当ての限界を解消すること。
• 動的および構造的特徴を反映する体系的な手法「翻訳による論理学（Logic by Translation）」を確立し、確率的意味論が議論ネットワークの動的・構造的性質と整合することを保証すること。
• 提案された等式的手法を、ティムとハンターのものといった既存の枠組みと比較し、概念的および技術的差異を明らかにすること。

提案手法

• S に属する議論を原子命題とみなして、抽象的議論枠組み ⟨S, R⟩ を古典的命題論理理論 Δ⟨S,R⟩ に翻訳する。
• 攻撃関係を等式的制約として表現する：x ↔ ⋀ᵢ ¬yᵢ は、確率的解釈のための実数値意味論に再定式化され、x = 1 − max{yᵢ} として表される。
• 単位区間 [0,1] 上で等式系を解釈し、値 0（除外）、1（受容）、1/2（未定）をクライネの三値論理に対応させる。
• 命題理論 Δ⟨S,R⟩ の古典的モデルに確率を割り当て、その後、等式的制約を通じてそれらを議論枠組みに再帰的に輸出する。
• 等式系 (E3) を用いて、議論の受容可能性と確率割り当ての整合性を保証し、弱い確率的定義とは明確に区別する。
• 提案手法をティムの手法およびハンターの手法と比較し、一貫性のある意味論を実現するために強力な等式 (E3) が不可欠であることを強調する。

実験結果

リサーチクエスチョン

• RQ1 動的および構造的性質を損なわずに、抽象的議論枠組みに意味的に意味のある確率的意味論を割り当てる方法は何か？
• RQ2 論理的翻訳は、議論システムにおける確率的解釈をどのように意味論的に根拠づけるか？
• RQ3 提案された等式的手法は、ティムやハンターのものといった既存の確率的議論枠組みと、概念的および技術的にどのように異なるか？
• RQ4 論理的翻訳の手法によって、確率割り当てが一貫性を持ち、議論の意味論と整合するように保証できるか？
• RQ5 強力な等式 (E3) が、議論の受容可能性と確率的モデルの整合性を保証するために果たす役割は何か？

主な発見

• 等式的手法は、議論ネットワークを古典的命題論理に翻訳し、そのモデルに確率を割り当てることで、一貫性があり意味論的根拠を持つ確率的議論枠組みを提供する。
• この手法は、攻撃の論理的構造に整合した確率的割り当てを保証し、x = 1 − max{yᵢ} といった等式を用いて、攻撃者の状態に基づいて受容性を定義する。
• この手法は、対称的ノードに対して整合的でない値を許容するティムの手法とは根本的に異なり、強力な等式 (E3) を要求することで、議論のステータスと確率の整合性を強制する。
• 確率の内部的（モデルベース）および外部的（拡張ベース）な解釈を両方サポートし、特定の条件下で近似結果が収束することを示す。
• 同様の論理的翻訳手法を、曖昧性や時間的要因といった他の特徴に対しても適用可能に拡張可能であり、古典論理にそれらの特徴を組み込んだ場合に適用可能である。
• 著者らは、モデル理論的意味論に確率を根拠づけることで、他のシステム（例：ティムの手法における弱い不等式に依存する点）で見られる技術的妥協を回避できることを示している。