几何证明题的认知分解及其对教学的启示——基于ACT-R对几何证明题解题过程

The Cognitive Decomposition of Geometry Proof Problems and Its Implementation- Based on the ACT-R Simulation of the Problem-Solving Process of Geometry

文章基于ACT-R 对几何证明题解题过程的模拟，提出了一种对几何证明题解题进行认知分解方法，该方法能有效地将几何证明题的解题过程分解成单一、可训练的认知动作，并将解题过程所需要的全部知识都挖掘出来。这种分解使得学生能够通过对认知动作的训练和对知识的记忆有效的掌握几何证明题的解题方法。

With the help of ACT-R simulation tool， we propose a cognitive decomposition method towards the solving process of the geometric certificate problem. This method could break the solving process into single and trainable steps and find out all the necessary knowledge. This decomposition could make the students mater the strategies by training the basic cognitive movements and memorizing the knowledge.