Reinforcement Learning with Abstraction