Modelling student's problem solving

摘要

The task of modelling a student's problem solving is intrinsically one of induction. In this paper, a further instance of induction formulated as a search is reported. A formulation of this search problem which ‘contains’ the Combinatorics is discussed at some length; and several heuristics which further reduce the size of the space defined by the domain's rules and mal-rules are presented.The Production Rule representation of (some) arithmetic operators is given, and the behaviour of generated models with examples is included. The paper concludes with a review of the basic assumptions made by the Modelling System, LMS, and suggestions for some extensions.