robot representing and reasoning with knowledge from reinforcement learning .
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics