[rules-dev] Reasoning with Uncertainty