The authors examine the application of knowledge-based symbolic control to the management of execution and configuration of a complex numerical control system. Symbolic processing is used to implement inference of system ...