As a part of the configuration design expert system of machine tools, inference mechanisms are constructed in this paper. In addition to procedural inference, the method of multivariable inference is considered as an efficient approach to deal with the cases of highly coupled condition. We propose a generalized multi-variable inference procedure. The procedure is applied to the type selection module of the configuration design expert system of machine tools in order to demonstrate the efficiency and validity.