Leslie Kaelbling - Goal Regression and Backward Reasoning (via searchlore.ai)