Knowledge Representation and Control of Inference(Basic and Systematizing Technology, the Applications of Artificial Intelligence in Machine Industries)