Knowledge-Based Control With Application to Robots - Clarence W. DeSilva et Alistair G.J. MacFarlane