Machine Cognition and Learning Based on Interactive Symbolic Computation

In this paper we discuss the necessity and implementation technique of machine cognition and learning of mathematics expression transformation in the educational software. We give two pattern-recognition algorithms for machine learning of expression transformation, and propose a human-machine dialogue method for machine learning of higher-level knowledge. The prototype implementation shows that the new technologies have great application in designing mathematics educational software.