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

关键词：几何证明题 解题过程 认知分解 

单位：北京师范大学教育技术学院 北京100875 华中科技大学控制科学与工程系 湖北武汉470074