Toward Robots That Reason: Logic Probability & Causal Laws