Toward Robots That Reason: Logic, Probability & Causal Laws