Formal Specification of Cognitive Models in CARINA

Cognitive modeling is a fundamental tool used to understand the processes that underlying behavior, and has become a standard technique in the cognitive sciences. The central goals of cognitive modeling are: to describe, to predict and to prescribe human behavior through computational models of cognitive processes commonly called cognitive models. Cognitive modeling depends on the use of cognitive architectures. A cognitive architecture is a general framework for specifying computational behavioral models of human cognitive performance. CARINA is a cognitive architecture for the development of cognitive agents in digital educational environments. This paper presents a formal representation of a cognitive model for cognitive architecture CARINA. Denotational mathematics was used to formally describe the specification of cognitive models in CARINA. As an example a cognitive model in the domain of cognitive arithmetic was implemented in CARINA.