Formal description of the cognitive comprehension process

The term of comprehension and the reveal of its mechanism and process are important research topics in cognitive informatics. Although knowledge and information are powerful, before any information can be possessed and processed, it should be comprehended properly. This paper intends to model one of the cognitive life functions, comprehension in cognitive informatics. The mechanism and process of comprehension are described based on the cognitive model of the brain developed by Wang. Then, real-time process algebra (RTPA) is used to formally describe the comprehension process. This work is considered as a fundamental facet of cognitive informatics towards the development of new theories and technologies in computing, software engineering, and life sciences.