Formal Representation of Introspective Reasoning Trace of a Cognitive Function in CARINA
María Alejandra García Florez, Adán A. Gómez, Manuel F. Caro · 2018
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 introspectivereasoning 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.