A new method for the design of knowledge-based engineering systems for manufacturing