[論文レビュー] Nonmonotonic Probabilistic Logics between Model-Theoretic Probabilistic Logic and Probabilistic Logic under Coherence

Thomas Lukasiewicz|ArXiv.org|Jul 22, 2002

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

ひとこと要約

本稿は、モデル理論的確率論理と整合性に基づく確率論理の間のブリッジを形成する、PearlのSystem ZおよびLehmannの辞書的含意の確率的一般化を導入する。新しい形式的体系であるz-含意とlex-含意は、古典的デフォルト推論を適切に一般化し、整合性に基づく含意よりも強く、モデル理論的含意よりも弱い。特に、確率が0である事象への条件付き確率の取り扱いにおける矛盾を解決する。

ABSTRACT

Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P. In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated notions of classical default entailment that lie between model-theoretic probabilistic entailment and probabilistic entailment under coherence. That is, the new formalisms properly generalize their counterparts in classical default reasoning, they are weaker than model-theoretic probabilistic entailment, and they are stronger than probabilistic entailment under coherence. The new formalisms are useful especially for handling probabilistic inconsistencies related to conditioning on zero events. They can also be applied for probabilistic belief revision. More generally, in the same spirit as a similar previous paper, this paper sheds light on exciting new formalisms for probabilistic reasoning beyond the well-known standard ones.

研究の動機と目的

• 本稿の目的は、既存の確率的推論フレームワークの限界、特に確率が0である事象への条件付き確率処理における矛盾を解決することにある。
• 本稿は、モデル理論的確率論理と整合性に基づく確率論理の間の中間的レベルの含意を形式化することを目的としている。
• 目的は、古典的デフォルト推論を一般化しつつ、計算的・論理的整合性を維持する洗練された形式的体系を提供することにある。
• 本稿は、確率的信念の再評価を支援し、不確実性下での非単調的推論をより強固に扱えるようにすることを目的としている。

提案手法

• 本稿は、2つの新しい含意関係、z-含意とlex-含意を導入し、古典的非単調論理の確率的一般化に基づいて定義する。
• 確率的知識ベースのg-整合性を定義し、de Finettiの整合性原理に従って一貫性を保証する。
• 形式的体系は条件付き制約と区間境界に根ざしており、含意は知識ベースおよび条件付き制約を満たすモデルによって評価される。
• 本稿は、非ゼロの条件付き事象に対しては、g-整合性、z-含意、lex-含意が一致することを示している。これにより統一的枠組みが構築される。
• 確率的制約を古典的デフォルトに写像する演算子γを用い、System P、System Z、および辞書的含意といった古典的システムとの比較を可能にする。
• 理論的結果はモデル理論的および整合性に基づく推論を用いて導出され、含意タイプ間の同値性および階層関係の正式な証明がなされている。

実験結果

リサーチクエスチョン

• RQ1 確率的含意を、モデル理論的確率的含意と整合性に基づく確率的含意の間に厳密に位置づけるには、どのように形式化できるか？
• RQ2 新しい確率的含意形式（z-含意とlex-含意）と、System Zや辞書的含意といった古典的非単調論理との関係は何か？
• RQ3 g-整合性、z-含意、lex-含意が一致する条件は何か。また、それらが乖離する条件は何か？
• RQ4 これらの新しい形式的体系は、確率が0の事象への条件付き確率処理に起因する矛盾をどのように解決するか？
• RQ5 これらの含意関係は、確率的信念の再評価および不確実性下での非単調的推論に実際に有効に利用できるか？

主な発見

• z-含意とlex-含意の新しい形式的体系は、System Zおよび辞書的含意における古典的デフォルト推論を適切に一般化している。
• 条件付き事象の確率が正である確率的知識ベースでは、g-整合性、z-含意、lex-含意がすべて一致する。
• 本稿は、z-含意とlex-含意が整合性に基づく含意よりも強く、モデル理論的確率的含意よりも弱いことを証明している。
• 例4.9は、論理的含意として成立する (fly|eagle)[1,1] が、g-整合性含意では導出されない可能性があることを示しており、古典的推論とは顕著に異なる点を強調している。
• これらの形式的体系は、確率が0の事象への条件付き確率処理に起因する矛盾の解決に特に効果的であり、古典的直観を保っている。
• 理論的結果により、新しい含意関係が適切な写像のもとで古典的対応物を一般化することが確認され、確率的推論システム間の階層関係が確立された。