A feature of processing technology data is much complex, extremely large in size, and various. Aiming to solve to a series of key technologies during the matching and reasoning of discovery, a mathematical model of processing knowledge is based on the knowledge discovery that an ant colony optimization algorithm (ACO) and probabilistic query is exploited in the field of the processing technology. Running the Ant-Colony algorithm, draws the Index Map, assigns clusters to the procedure and displays the output. The thesis includes the contents as following:1. Key technologies during the matching and reasoning of discoveryBased on Knowledge-based reasoning and swarm intelligence ideas, A method of an artificial neural network (ANN) and the ACO is applied to the machining process knowledge. Describing features of tree structure in the processing technology, presents a reasoning of the processing technology.2. Knowledge Representation on the base of XML(Extensible Markup Language)and Processing Technology search methodThe theory of Knowledge Discovery is related to the ACO together. Based on XML and the ACO, the matching problem is solved through the probability of query strategy. The formal description of knowledge processing technology is studied through the processing technology knowledge model described in XML files. The matching algorithms makes matching processing technology knowledge and reasoning achieve a better balance on accuracy.In conclusion, an instance is verified based on the process information table of the milling. The results are proved that the knowledge discovery optimized the process sequence comprehensively and efficiently, based on the ACO mathematical model in the processing technology. The results play an important role in machine tool compensation and automatic manufacture. |