论文信息 - Acquisition of Proof Skills in Geometry

Acquisition of Proof Skills in Geometry

The ACT theory of learning is applied to the domain of high school geometry. The concern is with how students become skilled at planning a proof of a geometry problem. A general control structure is proposed for integrating backward and forward search in proof planning. This is embodied in a production system framework. Two types of learning are described. Knowledge compilation is concerned. with how students transit from a declarative characterization of the domain to a set of operators for performing a specific task in that domain. Tuning is concerned with how students learn which problem features are predictive of the success of which operators.

John R. Anderson

[1] H. Simon,et al. The mind's eye in chess. , 1973 .

[2] H. Simon,et al. A simulation of memory for chess positions. , 1973 .

[3] W. Chase,et al. Visual information processing. , 1974 .

[4] J. Flavell. Metacognitive aspects of problem solving , 1976 .

[5] John R. Anderson. Language, Memory, and Thought , 1976 .

[6] John R. Anderson,et al. A General Learning Theory and its Application to Schema Abstraction1 , 1979 .

[7] John R. Anderson,et al. Knowledge Compilation: Mechanisms for the Automatization of Cognitive Skills. , 1980 .

[8] Paul J. Kline,et al. The Superiority of Relative Criteria in Partial Matching and Generalization , 1981, IJCAI.

[9] John R. Anderson,et al. A Theory of Language Acquisition Based on General Learning Principles , 1981, IJCAI.