Seol mar théacs é seo: Reasoning with uncertainty in robotics :