Formal Description of the Mechanisms and Cognitive Process of Memorization

Memorization is a key cognitive process of the brain because almost all human intelligence is functioning based on it. This paper presents the theory of memory and the cognitive process of memorization. Neural informatics foundations and functional models of memory and memorization are explored toward the development of the mathematical models of memory. The mechanisms of memorization as a cognitive process is investigated that explains how and when memory is created in long-term memory. On the basis of the formalized memory and memorization models, the cognitive process of memorization is rigorously described using real-time process algebra (RTPA). This work forms one of the core enquiries for formally explaining the mechanisms of the brain and the natural intelligence according to the layered reference model of the brain (LRMB) developed in cognitive informatics.