Combining logical and probabilistic models of AI.