[論文レビュー] Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics

Erich Grädel, Hayyan Helal+2 more|arXiv (Cornell University)|Jan 1, 2022

Advanced Algebra and Logic被引用数 2

ひとこと要約

この論文は、ランダム構造上の1階論理における古典的0-1法則を半環意味論へ拡張し、ランダム半環解釈下で、すべての1階文が漸近的に有限個の値のいずれかに評価されることを示している—具体的には、格子半環では0、1、または最小の正の値εである。自然半環ℕでは、文は無限大に発散する値にもほぼ確実に評価される可能性がある。本研究では、有限格子半環上でのほぼ確実な評価値を計算することがPSPACE完全であることを確立し、代数的表現と拡張性質を用いてこれらの結果を導出している。

ABSTRACT

Semiring semantics evaluates logical statements by values in some commutative semiring K. Random semiring interpretations, induced by a probability distribution on K, generalise random structures, and we investigate here the question of how classical results on first-order logic on random structures, most importantly the 0-1 laws of Glebskii et al. and Fagin, generalise to semiring semantics. For positive semirings, the classical 0-1 law implies that every first-order sentence is, asymptotically, either almost surely evaluated to 0 by random semiring interpretations, or almost surely takes only values different from 0. However, by means of a more sophisticated analysis, based on appropriate extension properties and on algebraic representations of first-order formulae, we can prove much stronger results. For many semirings K, the first-order sentences can be partitioned into classes F(j) for all semiring values j in K, such that every sentence in F(j) evaluates almost surely to j under random semiring interpretations. Further, for finite or infinite lattice semirings, this partition actually collapses to just three classes F(0), F(1), and F(e), of sentences that, respectively, almost surely evaluate to 0, 1, and to the smallest non-zero value e. The problem of computing the almost sure valuation of a first-order sentence on finite lattice semirings is PSPACE-complete. An important semiring where the analysis is somewhat different is the semiring of natural numbers. Here, both addition and multiplication are increasing with respect to the natural semiring order and the classes F(j), for natural numbers j, no longer cover all FO-sentences, but have to be extended by the class of sentences that almost surely evaluate to unboundedly large values.

研究の動機と目的

• ランダム構造上の1階論理における古典的0-1法則を半環意味論へ一般化すること。
• さまざまな可換半環上でのランダム解釈下における1階文の漸近的評価行動がどのように変化するかを調査すること。
• 半環内で、1階文のほぼ確実な評価値として現れる値を特定すること。
• 有限格子半環上でのほぼ確実な評価値を計算する計算複雑性を同定すること。
• 拡張公理、論理式の代数的表現、半環意味論における漸近的挙動との関係を探索すること。

提案手法

• ランダム半環解釈のための拡張性質を導入することで、古典的拡張公理枠組みを半環意味論へ適応する。
• 1階論理式を半環上での多項式としての代数的表現を用い、構造のサイズに依存せずに漸近的挙動を分析する。
• 可算ランダムK-解釈の概念を適用し、同型および飽和的議論を用いてほぼ確実な評価値を導出する。
• 量化子除去とモデル理論的技法を用い、評価確率が特定の半環値に収束することを示す。
• 半環文脈における拡張公理の理論のω-分類可能性と完全性を活用し、漸近的収束を証明する。
• 論理的および代数的還元を用いて、有限格子半環上でのほぼ確実な評価値の計算問題をPSPACE完全な決定問題へ還元する。

実験結果

リサーチクエスチョン

• RQ1 与えられた可換半環Kにおいて、ランダム半環解釈下で1階文のほぼ確実な評価値として現れる値はどれか？
• RQ2 1階論理の古典的0-1法則は、ブール論理から半環意味論に移行する際、どのように一般化されるか？
• RQ3 格子半環や自然半環ℕのような異なる半環において、1階文のほぼ確実な評価値に基づく分割構造はどのようなものか？
• RQ4 半環意味論における無限和・無限積の存在は、論理式の漸近的挙動にどのように影響するか？
• RQ5 有限格子半環上での1階文のほぼ確実な評価値を決定する計算複雑性はどの程度か？

主な発見

• 有限または無限格子半環では、1階文が高々3つのクラスに分割される：ほぼ確実に0、1、または最小の正の値ε ≠ 0に評価されるもの。
• 自然半環ℕでは、文は任意の自然数j ∈ ℕにほぼ確実に評価されるか、無限大に発散する値（クラスΦ∞で表される）に評価される可能性がある。
• 有限格子半環上での1階文のほぼ確実な評価値の計算は、計算的にPSPACE完全である。
• 有限格子半環K上での可算ランダムK-解釈は、有限K-解釈上でのほぼ確実な評価値と同じ評価値をもたらす。
• 半環意味論における拡張公理の理論により、すべての文が極限においてほぼ確実に真または偽であることが保証され、古典的0-1法則が一般化される。
• 論理式の多項式としての代数的表現により、宇宙の濃度に依存しない、構造のサイズにかかわらず一様な解析が可能になる。