[論文レビュー] A Principled Analysis of Merging Operations in Possibilistic Logic

Salem Benferhat, Didier Dubois+2 more|arXiv (Cornell University)|Jan 16, 2013

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

ひとこと要約

本稿は、不確実性または優先順位付けられた情報を取り扱う定性的アプローチとしての可能性論的論理における統合操作の分析のための原則的枠組みを提示する。古典的統合公理を優先順位レベルを組み込む形で拡張し、結合的、分散的、強化的、適応的、平均化の5つの演算子クラスを形式的公理分析を通じて評価し、合理性基準と優先順位の一貫性に基づいて適切な統合戦略の選定に体系的な根拠を提供する。

ABSTRACT

Possibilistic logic offers a qualitative framework for representing pieces of information associated with levels of uncertainty of priority. The fusion of multiple sources information is discussed in this setting. Different classes of merging operators are considered including conjunctive, disjunctive, reinforcement, adaptive and averaging operators. Then we propose to analyse these classes in terms of postulates. This is done by first extending the postulate for merging classical bases to the case where priorites are avaialbe.

研究の動機と目的

• 可能性論的論理における不確実性または優先順位付けられた情報の複数のソースの統合を形式化すること。
• 古典的統合公理を、論理的ベースにおける優先順位レベルを扱えるように拡張すること。
• 結合的、分散的、強化的、適応的、平均化の5つの異なるタイプの統合演算子の分類と分析を行うこと。
• 原則的公理に基づく枠組みを用いて、これらの演算子の合理性と一貫性を評価すること。
• マルチソース信念統合における適切な統合戦略の選定のための理論的基盤を提供すること。

提案手法

• 論理式に関連する優先順位レベルを組み込むことで、古典的統合公理を可能性論的論理の文脈に拡張する。
• 5つの統合演算子クラスを提案する：結合的（最大の一貫性）、分散的（最小のコミットメント）、強化的（強い信念の保持）、適応的（文脈に応じた柔軟性）、平均化的（優先順位のバランス） 。
• 各演算子クラスの合理性と一貫性を評価するために、形式的公理に基づく分析を適用する。
• 可能性理論を用いて不確実性を表現・操作し、論理式を優先順位レベル（確実性の度合い）とペアで表現する。
• 統合結果をモデル化するために、可能性分布の辞書的結合に基づく意味論を採用する。
• 閉包性、一貫性、関連性の保持といった拡張公理への適合性をチェックすることで、演算子を評価する。

実験結果

リサーチクエスチョン

• RQ1 古典的統合公理は、どのようにして可能性論的論理における優先順位付けられた情報に対応させるか。
• RQ2 結合的、分散的、強化的、適応的、平均化のうち、どの演算子クラスが信念統合において合理性と一貫性を最もよく保持するか。
• RQ3 拡張公理フレームワーク下で、各統合演算子クラスの形式的性質は何か。
• RQ4 優先順位レベルは、定性的論理フレームワークにおける統合操作の結果にどのように影響を与えるか。
• RQ5 マルチソース信念統合における合理的・非合理的な統合行動を区別するための基準は何か。

主な発見

• 結合的演算子は、最も妥当なモデルを優先することで最大の一貫性を確保するが、関連情報の破棄を引き起こす可能性がある。
• 分散的演算子は、特定のモデルへのコミットメントを最小限に抑え、より多くの情報を保持するが、過剰な曖昧さを引き起こす可能性がある。
• 強化的演算子は、複数のソースからの強い信念を保持することで、ソース間の合意がある場合に信頼性を向上させる。
• 適応的演算子は、入力の一貫性に応じて統合行動を動的に調整することで、耐障害性を向上させる。
• 平均化的演算子は、優先順位レベルを分散させることでバランスの取れた統合を提供するが、強い信念が希釈される可能性がある。
• 公理分析により、いかなる1つの演算子も普遍的にすべての合理性基準を満たすとは限らないことが判明し、文脈依存的な選択の必要性が強調された。