(KM) based on the user’s function requirements. Once a KMmultiple set operation expression is obtained, a newKMcan be inferred from the expression by the developed KM-based inference engine and transformed into its corresponding KMS (knowledgeable manufacturing system) software automatically by the developed automatic program construction software so as to realize the self-reconfiguration of the KMS. Thus, the automatic construction and optimization of a KMmultiple set operation expression is equivalent to the automatic construction and optimization of its corresponding KM and KMS software. To explore the automatic construction and optimization of the newKMby the user’s function requirements, an automatic construction procedure of a KM aiming at the user’s maximum function–satisfaction is proposed. Firstly, the fuzzy function–satisfaction degree relationships of the users’ requirements for the KM functions are defined, and so are the multiple fuzzy function–satisfaction degrees of the relationships. Secondly, operations union, intersection and minus) on both fuzzy and multiple fuzzy function–satisfaction degrees are proposed and clarified, along with the proof that there exists a one-to-one mapping between theKMmultiple set operation expression and the KM-function–satisfaction degree expression. Then, the optimization model of the KM multiple set operation expression is constructed and proved to be very NP-hard. And finally, the KM multiple set operation expression is optimized by the hybrid genetic-tabu algorithm, with the steps of the KM’s automatic construction presented in detail as well. Based upon the above, the KM’s automatic construction and optimization are illustrated by an actual KM example which corresponds to the management information system (MIS) software used in a vehicle body plant. The proposed approach proves to be very effective