Leslie Kaelbling - The Role of Abstraction in Problem Solving (via searchlore.ai)