We introduce a formal logical language, called conditional probability logic
(CPL), which extends first-order logic and which can express probabilities,
conditional probabilities and which can compare conditional probabilities.
Intuitively speaking, although formal details are different, CPL can express
the same kind of statements as some languages which have been considered in the
artificial intelligence community. We also consider a way of making precise the
notion of lifted Bayesian network, where this notion is a type of (lifted)
probabilistic graphical model used in machine learning, data mining and
artificial intelligence. A lifted Bayesian network (in the sense defined here)
determines, in a natural way, a probability distribution on the set of all
structures (in the sense of first-order logic) with a common finite domain $D$.
Our main result is that for every "noncritical" CPL-formula $\varphi(\bar{x})$
there is a quantifier-free formula $\varphi^*(\bar{x})$ which is "almost
surely" equivalent to $\varphi(\bar{x})$ as the cardinality of $D$ tends
towards infinity. This is relevant for the problem of making probabilistic
inferences on large domains $D$, because (a) the problem of evaluating, by
"brute force", the probability of $\varphi(\bar{x})$ being true for some
sequence $\bar{d}$ of elements from $D$ has, in general, (highly) exponential
time complexity in the cardinality of $D$, and (b) the corresponding
probability for the quantifier-free $\varphi^*(\bar{x})$ depends only on the
lifted Bayesian network and not on $D$. The main result has two corollaries,
one of which is a convergence law (and zero-one law) for noncritial
CPL-formulas.

介绍了一种形式逻辑语言，叫做条件概率逻辑（CPL），用于扩展一阶逻辑，表示概率、条件概率并进行条件概率比较。结合机器学习，数据挖掘和人工智能等领域，考虑了一种精确表述提升贝叶斯网络定义的方法，并证明一个非关键条件 CPL 公式存在一个几乎等价的非量化公式。该结果对于对于大学域上的概率推理问题，具有重要意义。