Knowledge-Based Control with Application to Robots (Lecture Notes in Control and Information Sciences)