Logic and Probability for Scene Interpretation