REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics