A Logical Interpretation of Dempster-Shafer Theory, with Application to Visual Recognition