Research on Machine Theorem Proving Based on Domain

The paper used classified thought and carried on to induce summary,abstraction to the proof problem in the domain and build up the model on computer,designed the process of machine proof according to the reasoning logically of knowledge technique,aimed at a certain and concrete type to carry out homologous prototype system,got the satisfactory result.Classified thought provide a automatically solved way to problem that have stronger objective regulation.