几何证明题的认知分解及其对教学的启示——基于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 Proof Questions
李莉;魏雪峰;崔光佐;李万启;
摘要(Abstract)：
文章基于ACT-R对几何证明题解题过程的模拟,提出了一种对几何证明题解题进行认知分解方法,该方法能有效地将几何证明题的解题过程分解成单一、可训练的认知动作,并将解题过程所需要的全部知识都挖掘出来。这种分解使得学生能够通过对认知动作的训练和对知识的记忆有效的掌握几何证明题的解题方法。
关键词(KeyWords)： 几何证明题;解题过程;认知分解;ACT-R模拟
基金项目(Foundation): 国家社会科学基金教育学一般课题“课堂交互产生学习结果的认知模型与仿真研究”(项目编号:BCA100023)的支持
作者(Author): 李莉;魏雪峰;崔光佐;李万启;
Email:
DOI:
参考文献(References)：
- [1]李振岭.谈几何学的方法论价值[J].河北北方学院学报(自然科学版),2005,21(4):78-79.
- [2]汪斌,曾宏伟.哲学和美学的角度探索解析几何课的育人功能[J].教育与职业,2006,(6):67-68.
- [3]娄祖安,罗日才.在“初等数学研究”课程教学中实施参与式教学法的设计[J].教育与职业,2009,30:86-87.
- [4]李红婷.初中生几何推理能力发展研究[J].教育研究与实验,2009,(6):81-85.
- [5]舒跃进.几何教学中应注重图形性质的发掘[J].数学通讯,2011,21:11-12.
- [6]吴文俊.初等几何定理机器证明的基本原理(英文)[J].系统科学与数学,1984,4(3):207-235.
- [7]张景中,杨路,侯晓蓉.几何定理机器证明的WE完全方法[J].系统科学与数学,1995,15(3):200-207.
- [8]张志杰,张克明.国内外人类认知系统模型研究进展[J].西安外事学院学报,2007,3(2):95-97.
- [9]Anderson,J.R.,Matessa,M.,&Lebiere,C.ACT-R:A theory of higher level cognition and its relation to visual attention.Human Computer Interaction,1997,12(4):439-462.
- [10]Anderson,J.R.,Bothell,D.,Byrne,M.D.,Douglass,S.,Lebiere.C,&Qin,Y.L.An.Integrated theory of the mind[J].Psychological Review,2004,111(4):1036-1060.
- [11]Gluck,K.A.An ACT-R/PM model of algebra symbolization.In N.Taatgen&J.Aasman(Eds.),Proceedings of the Third International Conference on Cognitive Modeling 2000:134-141.