用于小学算术应用题自动解答系统的解题策略的分解和表示

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

解题策略能表明应用题中的数量关系，策略分解和表示是小学算术应用题自动解题系统中十分关键的一步。共提炼197条解题策略，将其分为三个层次，且提出策略生长图表明其层次关系，选择框架知识表示方法表示策略，以构建解题策略知识库，供自动解题程序调用。

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.