Reasoning trace is a declarative knowledge structure that captures the mental states and decision-making sequence in the action-perception cycle of a cognitive agent. This paper presents a formal representation of introspecti <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">ve</sup> reasoning trace in cognitive architecture CARINA. Denotational Mathematics is used to describe the formal representation of the introspective reasoning traces. The cognitive function of perception in CARINA was used as example for the implementation of the model.