Tuning of search of the problem space for geometry proofs

摘要: In planning a proof, student searches through space of inferences leading forward from the givens problem and backward to-be-proven statement. One dimension growth expertise is that students become more tuned in search this space. This can be shown to result application various learning operators production embodiments inference rules. Rules are evaluated after solution according whether they led or away solution. contributed strengthened an attempt made formulate general versions these rules will apply other situations. weakened discrimination process evoked try add features restrict them correct circumstances application. Composition collapses successful sequences rule operations into single macro-rule productions. There also converts reasoning formed by composition The effect processes put conditions tests for heunstically predictive rule's success.