Toward Robots That Reason: Logic, Probability & Causal Laws (Synthesis Lectures on Artificial Intelligence and Machine Learning)