Mixing Non-Monotonic Logical Reasoning and Probabilistic Planning for Robots