Reasoning with Uncertainty in Robotics