[論文レビュー] Hybrid Probabilistic Programs: Algorithms and Complexity

Michael Dekhtyar, Alex Dekhtyar+1 more|arXiv (Cornell University)|Jan 23, 2013

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

ひとこと要約

本稿は、イベント間の確率的依存関係をモデル化する論理プログラミングフレームワークであるハイブリッド確率的プログラム（HPPs）を導入する。HPPsは3つのクラス（HPP₁、HPP₂、HPPᵣ、r≥3）に分類され、論理的帰結、含意、整合性の計算のためのアルゴリズムと複雑性解析が提供されており、不確実性下での確率的推論における、 tractable と intractable なケースの正確な境界を確立する。

ABSTRACT

Hybrid Probabilistic Programs (HPPs) are logic programs that allow the programmer to explicitly encode his knowledge of the dependencies between events being described in the program. In this paper, we classify HPPs into three classes called HPP_1,HPP_2 and HPP_r,r>= 3. For these classes, we provide three types of results for HPPs. First, we develop algorithms to compute the set of all ground consequences of an HPP. Then we provide algorithms and complexity results for the problems of entailment ("Given an HPP P and a query Q as input, is Q a logical consequence of P?") and consistency ("Given an HPP P as input, is P consistent?"). Our results provide a fine characterization of when polynomial algorithms exist for the above problems, and when these problems become intractable.

研究の動機と目的

• HPP（ハイブリッド確率的プログラム）を通じて、論理プログラムにおける確率的依存関係を形式化するフレームワークを定式化すること。
• 構造的制約に基づき、HPP₁、HPP₂、およびHPPᵣ（r≥3）という3つの明確なクラスにHPPsを分類すること。
• HPPのすべてのグランド帰結の集合を計算するための効率的アルゴリズムを開発すること。
• HPPにおける含意問題と整合性問題の計算複雑性を分析すること。
• これらの問題が多項式時間で解けるか、あるいは困難になるような正確な条件を特定すること。

提案手法

• 本稿では、確率的依存関係を明示的にエンコードできるように拡張された論理プログラムとしてHPPsを定義する。
• 確率的依存関係の構造に基づく分類スキームを導入し、HPP₁、HPP₂、HPPᵣ（r≥3）という3つのクラスを定義する。各クラスは依存関係の数と性質において異なる。
• 各クラスに対して、論理的推論と確率的伝搬を用いて、すべてのグランド帰結の集合を計算するための特別なアルゴリズムを設計する。
• 含意問題を、クエリがHPPから論理的に導かれるかどうかを判定する問題として定式化し、整合性問題を、HPPが少なくとも1つの有効な確率的モデルを持つかどうかをチェックする問題として定式化する。
• 計算複雑性理論を用いて、3つのHPPクラスにおける含意と整合性の tractability を分類する。
• 形式的論理と確率論を活用して、計算複雑性の境界を導出し、多項式時間で解けるケースとNP困難またはco-NP困難なケースを明確に区別する。

実験結果

リサーチクエスチョン

• RQ1 確率的依存関係の構造的条件がどのようなものである場合に、HPPの含意問題が tractable に保たれるか。
• RQ2 HPPのすべてのグランド帰結を計算するための効率的アルゴリズムを構築可能か。また、その性能はHPPクラスにどのように依存するか。
• RQ3 HPPにおける整合性のチェックの計算複雑性は何か。また、HPP₁、HPP₂、HPPᵣ（r≥3）の間でどのように変化するか。
• RQ4 HPP推論において、多項式時間で解けるインスタンスと困難なインスタンスを正確に分離する境界は存在するか。
• RQ5 本稿で導入されたHPPのクラスは、既存の確率的論理プログラミング形式的体系とどのように関係しているか。

主な発見

• HPP₁の含意問題は多項式時間で決定可能であり、このクラスでは推論が tractable であることを示している。
• HPP₂の含意問題はNP完全であるため、HPP₁と比較して複雑性が著しく上昇していることが示された。
• r≥3のHPPᵣでは、含意問題がco-NP困難になるため、著しく高い困難性を示している。
• 整合性問題に関しては、HPP₁では多項式時間で決定可能だが、HPP₂ではNP完全、HPPᵣ（r≥3）ではco-NP困難になる。
• 本稿では、確率的論理プログラミングにおける tractable と intractable な領域を正確に区別する、細分化された複雑性分類を確立した。