Combining Logic and Probability: Languages, Algorithms and Applications

AI problems are characterized by high degrees of complexity and uncertainty. Complexity is well handled by first-order logic, and uncertainty by probability. Combining the two in one language would be