Knowledge-Based Control with Application to Robots