[論文レビュー] Probabilistic team semantics

Arnaud Durand, Miika Hannula+3 more|arXiv (Cornell University)|Mar 6, 2018

Semantic Web and Ontologies参考文献 13被引用数 5

ひとこと要約

本稿は、割り当ての確率分布を組み込んだチーム意味論と確率論的論理の枠組みを導入し、条件付き独立性や周辺同一性といった確率的依存関係の形式的解析を可能にする。この枠組みは、2種類の存在記号第二階論理と関連づけられ、周辺同一性原子を含む単純な全称なし論理式ですらNP困難なモデルチェックを示しており、この文脈における推論の複雑さを強調している。

ABSTRACT

Team semantics is a semantical framework for the study of dependence and independence concepts ubiquitous in many areas such as databases and statistics. In recent works team semantics has been generalised to accommodate also multisets and probabilistic dependencies. In this article we study a variant of probabilistic team semantics and relate this framework to a Tarskian two-sorted logic. We also show that very simple quantifier-free formulae of our logic give rise to NP-hard model checking problems.

研究の動機と目的

• 確率分布を伴うチーム意味論を用いた、確率的依存関係の形式的枠組みの構築。
• この文脈において、確率的条件付き独立性および周辺同一性を表す原子の論理的性質の研究。
• 確率的チーム意味論と、有理数分布を対象とする2種類の存在記号第二階論理の変種との関係の確立。
• この論理におけるモデルチェックの計算複雑性の分析、特に全称なし断片の複雑性の分析。

提案手法

• 確率分布を備えた割り当ての集合として確率的チームを定義。
• 2つの主要な原子を導入：${\vec{y} \perp\!\!\!\perp_{\vec{x}} \vec{z}}$ は確率的条件付き独立性を表し、$\vec{x} \approx \vec{y}$ は周辺同一性を表す。
• これらの原子を拡張した第一階論理 $\mathsf{FO}(\approx)$ を確率的チーム意味論の下で形式化。
• この論理と、有理数分布を対象とする2種類の存在記号第二階論理との対応関係を確立。
• 正確な被覆問題をこの論理におけるモデルチェックに還元し、NP困難性を示す。
• 多チーム意味論を段階的なステップとして用い、確率的状況下での分析を可能にした。重みの共有が可能であるため、標準的な還元が確率的状況では失敗することを示した。

実験結果

リサーチクエスチョン

• RQ1 チーム意味論は、条件付き独立性や周辺同一性といった確率的依存関係をどのように拡張できるか。
• RQ2 チーム意味論の下で、確率的独立性および周辺同一性原子を拡張した第一階論理の表現力は何か。
• RQ3 この論理は公理化可能か、あるいは既知の論理的体系（例：第二階論理）と関連づけられるか。
• RQ4 特に全称なし断片に関して、この論理におけるモデルチェックの計算複雑性は何か。
• RQ5 標準的な被覆問題からモデルチェックへの還元が、確率的チーム設定ではなぜ失敗するのか。これは確率的推論の性質に何を示唆するか。

主な発見

• 多チーム意味論における原子 $\vec{x} \approx \vec{y}$ を含む論理 $\mathsf{FO}(\approx)$ は、データ複雑性において $\mathrm{NP}$-完全である。
• 論理 $\mathsf{FO}(\approx}$ の全称なし断片のモデルチェックは、$\mathrm{NP}$-困難である。これは非常に単純な論理式に対しても成り立つ。例えば $\texttt{set} \neq 0 \vee (\texttt{element} \approx \texttt{left} \land \texttt{set},\texttt{right} \approx \texttt{set},\texttt{left})$ に対しても同様である。
• 多チーム意味論で用いられる同じ還元は、確率的状況では失敗する。これは、重みを割り当ての間で分割可能であるためであり、正確な被覆が存在しない場合でも論理式を満たす可能性があるからである。
• 確率的チームは、有効な正確な被覆を形成しないチームに分数の重みを割り当てることで論理式を満たすことができる。これは多チーム意味論とは根本的に異なる点を示している。
• 本稿では、確率的チーム意味論と、有理数分布を対象とする2種類の存在記号第二階論理との間の正式な関係を確立した。
• 多チーム意味論における $\mathsf{FO}(\approx)$ のデータ複雑性は $\mathrm{NP}$-完全であり、複雑性の上限がタイトであることを確認した。