Understanding Procedural Knowledge for Solving Arithmetic Task by Externalization

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9684)


Students build cognitive models for solving a crypt-arithmetic task in a learning environment that enables them to formally describe various types of procedural knowledge in a group learning setting in which each student is allowed to refer to the procedural rules described by the other group members. Experimental evaluation showed that: (1) three-quarters of participants successfully constructed valid models with the system, and (2) participants learned to describe procedural knowledge more precisely not only for the training task (crypt-arithmetic task) but also for a transfer task (bug identification for a multi-column subtraction problem).


Procedural knowledge Cognitive models Externalization 


  1. 1.
    Atkinson, R.K., Renkl, A., Merrill, M.M.: Transitioning from studying examples to solving problems: effects of self-explanation prompts and fading worked-out steps. J. Educ. Psychol. 95(4), 774 (2003)CrossRefGoogle Scholar
  2. 2.
    Azevedo, R., Hadwin, A.F.: Scaffolding self-regulated learning and metacognition-implications for the design of computer-based scaffolds. Instruct. Sci. 33(5), 367–379 (2005)CrossRefGoogle Scholar
  3. 3.
    Brown, J.S., Burton, R.R.: Diagnostic models for procedural bugs in basic mathematical skills. Cognitive Sci. 2, 155–192 (1978)CrossRefGoogle Scholar
  4. 4.
    Conati, C., Vanlehn, K.: Toward computer-based support of meta-cognitive skills: a computational framework to coach self-explanation. Int. J. Artif. Intell. Educ. (IJAIED) 11, 389–415 (2000)Google Scholar
  5. 5.
    De Jong, T., van Joolingen, W.R.: Scientific discovery learning with computer simulations of conceptual domains. Rev. Educ. Res. 68, 179–201 (1998)CrossRefGoogle Scholar
  6. 6.
    Fum, D., Missier, F.D., Stocco, A.: The cognitive modeling of human behavior: why a model is (sometimes) better than 10,000 words. Cognitive Syst. Res. 8, 135–142 (2007)CrossRefGoogle Scholar
  7. 7.
    Miwa, K., Kanzaki, N., Terai, H., Kojima, K., Nakaike, R., Morita, J., Saito, H.: Learning mental models of human cognitive processing by creating cognitive models. In: Conati, C., Heffernan, N., Mitrovic, A., Verdejo, M.F. (eds.) AIED 2015. LNCS, vol. 9112, pp. 287–296. Springer, Heidelberg (2015)CrossRefGoogle Scholar
  8. 8.
    Miwa, K., Morita, J., Nakaike, R., Terai, H.: Learning through intermediate problems in creating cognitive models. Interact. Learn. Environ. 22, 326–350 (2014)CrossRefGoogle Scholar
  9. 9.
    Miwa, K., Morita, J., Terai, H., Kanzaki, N., Kojima, K., Nakaike, R., Saito, H.: Use of a cognitive simulator to enhance students’ mental simulation activities. In: Trausan-Matu, S., Boyer, K.E., Crosby, M., Panourgia, K. (eds.) ITS 2014. LNCS, vol. 8474, pp. 398–403. Springer, Heidelberg (2014)CrossRefGoogle Scholar
  10. 10.
    Miwa, K., Nakaike, R., Morita, J., Terai, H.: Development of production system for anywhere and class practice. In: Proceedings of the 14th International Conference of Artificial Intelligence in Education, pp. 91–99 (2009)Google Scholar
  11. 11.
    Miwa, K.: A cognitive simulator for learning the nature of human problem solving. J. Jpn. Soc. Artif. Intell. 23(6), 374–383 (2008)MathSciNetGoogle Scholar
  12. 12.
    Nersessian, N.: Creating Scientific Concepts. MIT press, Cambridge (2008)Google Scholar
  13. 13.
    Newell, A., Simon, H.A.: Human Problem Solving. Prentice-Hall, Englewood Cliffs (1972)Google Scholar
  14. 14.
    Rutten, N., van Joolingen, W.R., van der Veen, J.T.: The learning effects of computer simulations in science education. Comput. Educ. 58, 136–153 (2012)CrossRefGoogle Scholar
  15. 15.
    Saito, H., Miwa, K., Kanzaki, N., Terai, H., Kojima, K., Nakaike, R., Morita, J.: Educational practice for interpretation of experimental data based on a theory. In: Proceedings of 21th International Conference on Computers in Education, pp. 234–239 (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Kazuhisa Miwa
    • 1
  • Hitoshi Terai
    • 2
  • Kazuya Shibayama
    • 1
  1. 1.Nagoya UniversityNagoyaJapan
  2. 2.Kinki UniversityIizukaJapan

Personalised recommendations