Cognitive modeling is a methodology of cognitive sciences that allows the simulation of human cognitive processes in a variety forms, commonly in a computational and mathematical way. The cognitive modeling aims at understanding cognition basis by designing cognitive models based on mathematical or computational processes, mechanisms and representations. A cognitive model is a verbal-conceptual computational and mathematical description of some mental processes, whose main purpose is to understand and/or predict human or animal behavior. Cognitive models developed for a cognitive architecture are characterized by being executables and producing a set of specific behaviors. CARINA is a metacognitive architecture to create artificial intelligent agents derived from Metacognitive Metamodel MISM. CARINA is a metacognitive architecture structured by two cognitive levels called object-level and meta-level. The object-level has the model of the world to solve problems. The meta-level represents the reasoning of an artificial intelligent agent. Furthermore, the meta-level has the components, the knowledge and the mechanisms for an intelligent system to monitor and control its own learning and reasoning processes. The main objective of this research project is to develop cognitive models as knowledge acquisition mechanisms for the metacognitive architecture CARINA, through the following specific objectives: i) to represent formal, semantic and computationally cognitive models for the CARINA metacognitive architecture, ii) to build a functional prototype of a framework for the creation of cognitive models in the metacognitive architecture CARINA and iii) to create cognitive models in several knowledge domains using CARINA based intelligent systems. The methodology used for this research project was part of the research methods (R+D) used in computer science, called modeling, structured by five steps: i) Formal representation, ii) Semantic representation, iii) Computational representation of a cognitive model, iv) Creation of a functional prototype for build cognitive models and v) Prototype testing and maintenance. The developed research project allows simplifying the developing intelligent agents process and the easiness to enable any programmer to uses CARINA to solve cognitive tasks, focusing only on descriptions of cognition and relationships with algorithms and programs based on computer science and technology, using a functional prototype (MetaThink version 2.0). As a result, an open standard file format, simplifying the complexities of detailed descriptions of cognitive mechanisms of brain functioning was created.1. Chapter I Introduction 161.1. Motivation 191.2. Thesis Project 201.2.1. Research Project 201.2.2. Research Problem 201.3. Research Question 221.4. Objectives 231.4.1. General Objective 231.4.2. Specific Objectives 231.5. Methodology 231.6. Document Organization 252. Chapter II Theoretical Background 273. Chapter III Theoretical Framework 513.1. Cognitive Modeling 513.2. Cognitive Models 533.3. Cognitive Architectures 563.4. Metacognitive Architectures 573.5. Knowledge Representation 593.6. Denotational Mathematics 604. Chapter IV The Metacognitive Architecture CARINA 615. Chapter V Cognitive Models for the Metacognitive Architecture CARINA 665.1. Formal Representation of Cognitive Models in CARINA 665.1.1. Comparison with other Cognitive Architectures 735.1.2. Similarities 745.1.3. Differences 745.2. Semantic Representation of Cognitive Models in CARINA 755.2.1. Semantic Knowledge Representation of a Cognitive Model in CARINA 765.2.2. Formal Specification of Semantic Memory Units (SMU) in CARINA 785.3. Computational Representation of Cognitive Models for the CARINA Metacognitive Architecture. 805.4. MetaThink Version 2.0 835.4.1. MetaThink Version 2.0 Validation 885.5. Illustrative Examples of Cognitive Models in CARINA 936. Chapter VI Conclusions 1056.1. Recommendations 1067. Chapter VII References 108PregradoLicenciado(a) en Informática