[论文解读] 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

一句话总结

该论文将经典的一阶逻辑在随机结构上的0-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.

研究动机与目标

• 将经典一阶逻辑在随机结构上的0-1律推广至半环语义。
• 研究在不同交换半环上的随机解释下，一阶句子的渐近取值行为如何变化。
• 刻画在半环中哪些值可作为一阶句子的几乎必然取值。
• 确定在有限格半环上计算几乎必然取值的计算复杂度。
• 探索扩展公理、公式代数表示与半环语义中渐近行为之间的联系。

提出的方法

• 通过为随机半环解释引入扩展性质，将经典扩展公理框架适配至半环语义。
• 利用一阶公式在半环上的多项式代数表示，独立于结构大小分析其渐近行为。
• 应用可数随机K-解释的概念，通过同构与饱和性论证推导几乎必然取值。
• 运用量化消除与模型论技术，证明取值概率收敛至特定半环值。
• 利用半环语境下扩展公理理论的ω-分类性与完备性，证明渐近收敛性。
• 通过逻辑与代数归约，将有限格半环上计算几乎必然取值的问题归约为PSPACE完全的决策问题。

实验结果

研究问题

• RQ1 在给定的交换半环K中，哪些值可作为随机半环解释下一阶句子的几乎必然取值？
• RQ2 当从布尔语义转向半环语义时，一阶逻辑的经典0-1律如何推广？
• RQ3 在不同半环（如格半环或自然半环ℕ）中，基于其几乎必然取值，一阶句子的划分结构是怎样的？
• RQ4 半环语义中无限和与无限积的存在如何影响逻辑公式的渐近行为？
• RQ5 在有限格半环上，确定一阶句子几乎必然取值的计算复杂度是多少？

主要发现

• 对于有限或无限格半环，一阶句子被划分为至多三个类：几乎必然评估为0、1或最小正数ε ≠ 0的句子。
• 在自然半环ℕ中，句子可能以几乎必然的方式评估为任意自然数j ∈ ℕ，或评估为无界大的值，后者由类Φ∞捕获。
• 在有限格半环中，一阶句子的几乎必然取值在计算上是PSPACE完全的。
• 在有限格半环K上，可数随机K-解释的取值与有限K-解释上几乎必然取值相同。
• 半环语义中扩展公理理论确保每个句子在极限下几乎必然为真或为假，推广了经典0-1律。
• 将公式表示为多项式形式的代数表示，使得可在不同大小的结构上进行统一分析，且独立于论域基数。