Research on the Expression Reasoning in Computer Automatic Reasoning Systems

People have made great achievements in the field of machine proving for geometry theorems and computer automatic reasoning,and the software of automatic reasoning appears.Resolving the problem of expression reasoning is the purpose of machine proving for mathematical theorems,but it lacks study in this field,because the expression reasoning is different from other information reasonings.It has no regular form;it is complex in information description.On the basis of the former study,the author analyses the expression features in the course of reasoning,gives a try in this field and puts forward an approach that can present a process of readable proof of expression propositions.In this method,using the proper switchover and turning the expression into empty,it realizes the simple disposal of expressions and puts forward several examples in the paper.Our practice proves this method can present a process of readable proof of expression propositions.