[論文レビュー] Probabilistic Default Reasoning with Conditional Constraints

Thomas Lukasiewicz|ArXiv.org|Mar 8, 2000

Bayesian Modeling and Causal Inference被引用数 4

ひとこと要約

本稿は、ペイルのシステムZ、レーマンの辞書的含意、ゲフナーの条件付き含意を一般化することで、区間値確率的文を扱えるようにした確率的デフォルト推論を導入する。これは、一貫性のない確率的知識、たとえば一般統計的ルールと特定の例外との間の矛盾を解消できるようにし、充足可能な条件下で古典的論理的および確率的含意に一般化される含意関係を保証する。

ABSTRACT

We propose a combination of probabilistic reasoning from conditional constraints with approaches to default reasoning from conditional knowledge bases. In detail, we generalize the notions of Pearl's entailment in system Z, Lehmann's lexicographic entailment, and Geffner's conditional entailment to conditional constraints. We give some examples that show that the new notions of z-, lexicographic, and conditional entailment have similar properties like their classical counterparts. Moreover, we show that the new notions of z-, lexicographic, and conditional entailment are proper generalizations of both their classical counterparts and the classical notion of logical entailment for conditional constraints.

研究の動機と目的

• 確率的条件制約からの確率的推論を古典的デフォルト推論フレームワークと統合し、不確実性と例外を扱う。
• デフォルト推論の原則（たとえば一般ルールよりも例外を優先する）を適用して、確率的知識ベース内の不整合を解消する。
• 古典的含意概念（システムZ、辞書的、条件付き含意）を、区間値確率的確率的条件制約の確率的設定に拡張する。
• 新しい含意関係が、古典的デフォルト推論の合理性と一貫性の性質を保ちつつ、確率的知識に適用可能であることを保証する。
• 一般ルールと特定の例外の間で矛盾が生じるような確率的状況においても、非単調的推論をサポートする形式的枠組みを提供する。

提案手法

• 区間値確率を用いて、古典的含意関係（システムZ、辞書的、条件付き）を条件制約に一般化する。
• 一般確率的ルールと特定の例外との矛盾が生じる場合に、デフォルト推論の原則を適用して、一般ルールを一時的に拒否または修正する。たとえば、'ペンギンは確率 ≤0.05 で飛ぶ' を '鳥は確率 0.9–0.95 で飛ぶ' に優先する。
• タイトな論理的帰結を用いて、導出された条件付き確率の区間境界を計算し、基礎となる確率的制約と一貫性を保つ。
• 3つの新しい含意関係、$\| sim^z$、$\| sim^{\it lex}$、$\| sim^{\it ce}$ を導入し、それぞれ条件制約におけるz-含意、辞書的含意、条件付き含意を表す。
• 確率的論理式を確率区間 [1,1] に変換する変換作用素 $\gamma$ を用い、古典的含意と比較可能にする。これにより、古典的デフォルト論理と比較可能になる。
• 合理的閉包と優先構造の概念を確率的デフォルトに適用し、例外が存在しても性質の継承が保証される。

実験結果

リサーチクエスチョン

• RQ1 古典的デフォルト推論フレームワーク（システムZ、辞書的含意、条件付き含意）を、区間値確率的確率的条件制約に拡張する方法は何か？
• RQ2 確率的条件制約の集合が充足可能であるとき、新しい確率的含意関係が古典的論理的含意に一致する条件は何か？
• RQ3 一般ルールと例外的クラスの間で生じる確率的ルールの矛盾（例：一般ルール vs. 特定の例外）を、デフォルト推論の原則を用いてどのように解消できるか？
• RQ4 提案された含意関係は、条件制約の文脈において、どのように古典的論理的および確率的含意を一般化するか？
• RQ5 一般確率的ルールが特定のクラス（例：ペンギン）に対して適用できない場合、たとえば「鳥は飛ぶ確率が 0.9–0.95」であるが「ペンギンは飛ぶ確率 ≤0.05」である場合、このフレームワークはそのような状況を処理できるか？

主な発見

• 提案されたz-含意、辞書的含意、条件付き含意は、それぞれ古典的対応物を一般化し、その主要な合理性の性質を保っている。
• 確率的知識と証拠の集合が充足可能である限り、新しい含意関係は、条件付けに基づく古典的論理的含意と一致する。
• 本フレームワークは、一般確率的ルール（例：'鳥は確率 0.9–0.95 で飛ぶ'）が特定の例外（例：'ペンギンは確率 ≤0.05 で飛ぶ'）と矛盾する場合に、それらを一時的に拒否することで不整合を解消し、一貫した結論を導く。
• 例15では、確率的制約からのタイトな論理的帰結に基づき、'ペンギン' のもとで '脚' の確率に対して [0.95,1] のタイトな区間が導出された。
• 例16では、独立した充足可能な部分導出から得られた区間 [0,0.05] と [0.95,1] を組み合わせることで、'ペンギンかつ金属の翼' のもとで '飛ぶ' の確率に対する凸包 [0,1] が計算された。
• 定理17は、すべての確率が確定的（つまり区間 [1,1]）である場合、新しい含意関係が古典的デフォルト含意に還元されることを示しており、古典論理との一貫性を確認している。