Abstract
Learning to construct mathematical proofs—formal arguments demonstrating the truth of a mathematical statement using logical deductions and previously established facts—is one of the most challenging skills in STEM education. This research aims to build the foundations for a symbolic cognitive model, using the ACT-R cognitive architecture and implementing in Python with the pyactr package, to explore how different proof strategies can be thought through with only symbols and rules. The model observes simple proofs, and its abilities are assessed based on its generalization capabilities, efficiency, and error patterns. By developing and analyzing such a model, this research provides new insights into how symbolic reasoning skills are acquired, offering a detailed case study of proof acquisition within a cognitive architecture.
Copyright Statement / License for Reuse
All Rights Reserved.
Recommended Citation
Morris, Beckett and Haring, Kerstin
(2026)
"A Symbolic Model of Proof Acquisition in ACT-R,"
DU Undergraduate Research Journal Archive: Vol. 7:
Iss.
1, Article 1.
Publication Statement
Copyright is held by the author. User is responsible for all copyright compliance.
Included in
Cognitive Psychology Commons, Educational Psychology Commons, Numerical Analysis and Scientific Computing Commons, Other Computer Sciences Commons, Other Mathematics Commons