Miika Hannula,Minna Hirvonen,Juha Kontinen,Yasir Mahmood,Arne Meier,Jonni Virtema
Abstract:We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic FOPT. We give a comprehensive picture of the relative expressivity of these logics together with the most studied logics in probabilistic team semantics setting, as well as relating their expressivity to a numerical variant of second-order logic. In addition, we introduce novel entropy atoms and show that the extension of first-order logic by entropy atoms subsumes probabilistic independence logic. Finally, we obtain some results on the complexity of model checking, validity, and satisfiability of our logics.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to study the expressive power and complexity of various logics under probabilistic team semantics with Boolean negation. Specifically, the paper explores the following points:
1. **Extension of Probabilistic Independence Logic**: The paper studies the extension of probabilistic independence logic (probabilistic independence logic) by introducing Boolean negation, and analyzes the impact of this extension on the logical expressive power and complexity.
2. **Comparison of FOPT Logic**: The paper also studies the relationship between a recently proposed logic FOPT(≤δc) and probabilistic independence logic. The FOPT logic is defined based on a computationally simpler probabilistic semantics, and it can precisely define those first - order definable dependency relations.
3. **Introduction of Entropy Atoms**: The author introduces new entropy atoms and shows that by extending first - order logic to include these entropy atoms, it can cover probabilistic independence logic.
4. **Complexity of Model Checking, Validity and Satisfiability**: The paper explores the complexity of the above logics in terms of model checking, validity and satisfiability, and presents relevant results.
### Formula Representation
- **Shannon Entropy Formula**:
\[
H(X) := -\sum_{i = 1}^{n}P(x_i)\log P(x_i)
\]
where \(X\) is a discrete random variable, \(x_1,\ldots,x_n\) are its possible outcomes, and \(P(x_i)\) is the probability of each outcome.
### Main Conclusions
- **Equivalence of Expressive Power**: The paper proves that the expressive power of probabilistic independence logic with Boolean negation (FO(⊥ ⊥c, ∼)) is equivalent to the full second - order logic (SOR(+,×)) on R - structures. This result indicates that these two logics have the same expressive power in describing certain types of probability and quantifier dependencies.
- **Complexity Results**: The paper provides complexity results for different logic systems in terms of model checking, validity and satisfiability. For example, the model - checking complexity of FOPT(≤δc) is PSPACE, while the complexity of FO(⊥ ⊥c) is higher, reaching EXPSPACE.
### Summary
By introducing Boolean negation and entropy atoms, this paper conducts an in - depth study of the logical expressive power and complexity under probabilistic team semantics, and establishes the connections between these logics and other logic systems. These research results are helpful for better understanding and handling probability and quantifier dependency problems, especially in applications involving uncertain reasoning and complex data modeling.