Metareasonings: logical-cognitive approach

The paper promotes a synthetic approach to the formal representation of reasoning in artificial intelligence. The basis of this approach is the provisions of the dual process theory, which make it possible to distinguish between elementary, fast, intuitive basic reasoning and controlled, conscious, slow reasoning based on reflection. Another source of my approachi are developed in logic and formal argumentation ideas of the representation of meta-reasoning as a transformation of the original reasoning.