A Framework for Integration of Logical and Probabilistic Knowledge