Should I do that? using relational reinforcement learning and declarative programming to discover domain axioms
A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics