The De-composability and Representation of Strategies Used in Auto-Solving System of Primary School Mathematic Word Problems

The de-composability and representation of Problem-solving strategy that can show the quantitative relationship of word problems is a key part in Auto-Solving system of primary school mathematic word problems. The paper is divided into three levels of the problem-solving strategies and put forward strategy growth map indicating their level of relationship. There are 197 strategies that can be used for automatic computer problem-solving. At last,the thesis chooses the framework for knowledge representation to represent each strategy,so as to construct knowledge base for being called by auto-solving programs.