[論文レビュー] CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming

Joost Vennekens, Marc Denecker+1 more|ArXiv.org|Apr 10, 2009

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

ひとこと要約

この論文は、確率的因果法則を表現する論理言語CP-logicを紹介する。CP-logicは、確率的論理プログラムの意味的解釈を直感的かつ根拠に基づいて提供する。因果的ダイナミクスは確率木を用いて形式化され、CP-logicの意味論と論理プログラムのWell-Foundedモデルの間で同値性が証明され、論理プログラミングにおける確率的推論のための原理的でモジュラーかつ解釈可能な基盤を提供する。

ABSTRACT

This papers develops a logical language for representing probabilistic causal laws. Our interest in such a language is twofold. First, it can be motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level by Shafer in his framework of probability trees. In such a dynamic context, where the evolution of a domain over time is considered, the idea of a causal law as something which guides this evolution is quite natural. In our formalization, a set of probabilistic causal laws can be used to represent a class of probability trees in a concise, flexible and modular way. In this way, our work extends Shafer's by offering a convenient logical representation for his semantical objects. Second, this language also has relevance for the area of probabilistic logic programming. In particular, we prove that the formal semantics of a theory in our language can be equivalently defined as a probability distribution over the well-founded models of certain logic programs, rendering it formally quite similar to existing languages such as ICL or PRISM. Because we can motivate and explain our language in a completely self-contained way as a representation of probabilistic causal laws, this provides a new way of explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such a program expresses, in terms that are equally understandable by a non-logician. Moreover, we also obtain an additional piece of knowledge representation methodology for probabilistic logic programs, by showing how they can express probabilistic causal laws.

研究の動機と目的

• 確率的因果法則を、意味的に直感的で自己完結的な形で形式的に表現する論理言語を開発すること。
• 因果的ダイナミクスと時間的進化に基づいて、確率的論理プログラムの明確で技術的でない解釈を提供すること。
• CP-logicの意味論と論理プログラムのWell-Foundedモデルにおける確率分布との間の形式的同値性を確立すること。
• シャーファーの確率木フレームワークを拡張し、因果的確率的事象のコンパクトでモジュラーかつ論理的な表現を提供すること。
• 因果的効果を有する法則として知識を表現することにより、論理プログラミングにおける不確実性モデリングのための新しい手法を提供すること。

提案手法

• 論文は、各ルールが原子の真理値に影響を与える確率的事象を指定する、確率的因果ルールの言語としてCP-logicを定義する。
• 因果的優先順位を尊重するタイミング関数λを持つ「階層的CP理論」の概念を導入し、イベント実行における時間的整合性を保証する。
• 弱い実行モデルは、イベントが割り当てられたタイミングを尊重する形で実行される確率的Σプロセスとして構築される。これにより、因果的違反が生じない。
• イベントの実行順序を精緻化するためのイベントタイミング関数κを導入し、各ステップで実行可能であるルールの中で最小のタイミングを持つものだけが選択されるようにする。
• CP理論の形式的意味論は、基礎となる論理プログラムのWell-Foundedモデルの上での確率分布として定義され、再帰的確率伝播メカニズムが用いられる。
• 論文は、与えられたCP理論のすべての実行モデルが同じ確率分布を生成することを証明し、異なる実行順序においても意味論的不変性と等価性が保たれることを示している。

実験結果

リサーチクエスチョン

• RQ1 確率的因果法則を、直感的かつ論理的に厳密に形式的に表現する方法は何か？
• RQ2 CP-logicの意味論は、ICL や PRISM のような既存の確率的論理プログラミング言語とどのように関係しているか？
• RQ3 CP理論が、実行経路に依存せず、可能な世界の上に一意の確率分布を生成することを示せるか？
• RQ4 確率的イベントの実行が因果的優先順位と時間的順序を尊重するための条件は何か？
• RQ5 確率的解釈下での論理プログラムのWell-Foundedモデル意味論と、CP-logicの意味論との間に形式的同値性が存在するか？

主な発見

• CP-logicは、時間的経過に伴うイベント実行のダイナミクスに基づいて、直感的で数学的に整合性のある確率的因果法則の形式的意味論を提供する。
• 論文は、CP理論のすべての実行モデルが同じ確率分布を生成することを証明し、異なる実行順序においても意味論的一致性と不変性が保たれることを示している。
• CP理論の意味論は、対応する論理プログラムのWell-Foundedモデルの上での確率分布と正式に同値であり、既存の論理プログラミング意味論と結びついている。
• 特定の階層に従う実行モデルの存在は構成的に証明され、すべての階層的CP理論が有効な時間的実行順序を有することを示している。
• 因果的優先順位が保証されている：タイミングが低いイベントは、実行される前にはタイミングが高い原子に影響を与えない。これにより論理的かつ因果的整合性が維持される。
• 論文は、CP-logicがジョンとマリーの石投げの物語のような複雑な確率的因果的状況を、コンパクトでモジュラーかつ意味的に透明なルール集合として表現できることを確立している。