Knowledge Representation and Decision Making for Mobile Robots