Knowledge Representation in Robotics