Esta investigación tuvo como objetivo realizar un análisis de literatura correspondiente a la aplicación de la inteligencia artificial en el proceso de aprendizaje en la educación primaria. Para lo cual, se realizó una revisión sistemática de la literatura de investigaciones relacionadas al tema, publicadas en los últimos cinco años. Se utilizó la metodología de Kitchenham [6], como base para la revisión. Se inició con la búsqueda de la información en cuatro bases de datos especializadas; Scopus, Proquest, IEEE Xplore y ACM Digital Library; de las cuales se obtuvo un gran número inicial de resultados. Los trabajos resultantes fueron sometidos a criterios de inclusión y exclusión, aquellos trabajos que cumplían con los criterios definidos pasaron a una evaluación de calidad. Posterior a la evaluación de calidad, se obtuvieron doce trabajos definitivos, los mismos que se utilizaron para el análisis final. Del análisis realizado, se identificó que los algoritmos de machine learning y deep learning son las tecnologías más utilizadas para el desarrollo de las soluciones, de las cuales, en su mayoría estaban enfocadas en las áreas de aprendizaje personalizado y acompañamiento de aprendizaje. Además, se observó que autores de países asiáticos son los más interesados en el tema investigado. Finalmente, se presentan futuras ideas de investigación y reflexiones acerca de la investigación realizada.

En la zona de Incahuasi, provincia de Ferreñafe, región de Lambayeque, existe un problema de comunicación entre profesores y alumnos, en los colegios de educación básica regular (EBR), debido a que los profesores no tienen formación en el idioma quechua de la localidad y trae como consecuencia que los alumnos no puedan comprender los contenidos y conocimientos que el maestro imparte, sobre todo los estudiantes de nivel primaria. Es por eso que la siguiente investigación se realizó con el objetivo de apoyar en el aprendizaje de la escritura del idioma quechua a los profesores hispanohablantes de un colegio de Incahuasi. El software se desarrolló siguiendo cada fase de la Metodología MeISE para concretar su fin educativo, haciendo una aplicación interactiva que permite el aprendizaje del idioma quechua. Además, se usó técnica de inteligencia artificial de Deep Learning acompañado con librerías como Keras y Tensorflow para ejecutar redes neuronales recurrentes. También se diseñó y se desarrolló de un chat-bot para fortalecer el aprendizaje del idioma haciendo uso del algoritmo de Distancia de Levenshtein como corrector ortográfico generando a su vez una recomendación de tipo similitud. Así mismo, para la validación del sistema se aplicó una ficha de calificación de escala de tipo Likert de 7 puntos al sistema tutor inteligente (STI) obteniendo un resultado de Totalmente de acuerdo por parte de dos profesores y el director, así llegando a la conclusión que una validación de la herramienta permite orientar de manera oportuna y correcta a los profesores de la institución, ya que con esto se puede conocer la expectativa inicial de las opiniones y las actitudes hacia al sistema tutor inteligente.

Desde hace años venimos contemplando cómo nuestra sociedad ha cambiado de la mano de la evolución de las Tecnologías de la Información (TI). Nos encontramos en un entorno que cambia constantemente, en el que la información se renueva continuamente, lo que nos lleva a un aprendizaje dinámico, continuo, y cuyas barreras están desapareciendo, hacia un aprendizaje global. Con esto, la educación está inmersa en un proceso de cambio, de una transformación que permita hacer frente a estas nuevas características y necesidades que presenta la sociedad en este nuevo entorno, una transformación digital. Se trata de una forma diferente de aprendizaje en la que, además, los espacios educativos se están deslocalizando. Y en este proceso de transformación, el potencial y el rápido crecimiento de las tecnologías de la información pueden tener un papel crucial y conformar la base para una verdadera evolución en este entorno digital. Sin embargo, la situación actual es que estas expectativas no se han cumplido, el uso de las TI en educación no está logrando el efecto que se esperaba, no están contribuyendo a una verdadera transformación del proceso de aprendizaje. Y es que, entre otras razones, el uso que se está haciendo de las TI es de meras herramientas complementarias, un uso superficial, cuando deberíamos emplearlas para poder profundizar en el proceso de aprendizaje. Para conseguir un cambio significativo, esa transformación que se pretende, debemos ir más allá. Por esta razón, proponemos un modelo de aprendizaje adaptativo y personalizado, que sirva de base para crear un sistema de aprendizaje que permita cubrir las necesidades detectadas en la sociedad digital sin descuidar los objetivos intencionales educativos. Un modelo que hemos llamado CALM, acrónimo de Customized Adaptive Learning Model. Se trata de un modelo que se adaptará a las características y al estado de cada aprendiz y que busca acrecentar su motivación, ofreciéndole autonomía en su propio proceso de aprendizaje, en un ciclo continuo de mejora. Todo ello diseñado y supervisado en todo momento por el docente, cuyo papel consideramos crucial en este proceso. En este modelo, el contenido está dividido en competencias, que serán los conocimientos, las habilidades y las aptitudes que los aprendices irán adquiriendo, dispuestas en forma de grafo dirigido o, como lo llamamos, mapa de competencias. Estas competencias serán desarrolladas a través de actividades que irán realizando, y será el propio sistema, a través de lo que llamamos el motor de selección, el que asigne a cada aprendiz en cada momento la actividad que considere más apropiada. Por su parte, el docente será el que diseñe todo el conjunto de aprendizaje, creando las competencias y configurando el mapa, y añadiendo las actividades. Después, podrá en todo momento supervisar el proceso de todos los aprendices, analizando su progreso y estado, tanto colectivo como individual, y gestionarlo a través de un factor clave que introducimos en el modelo: las estrategias instruccionales. A través de ellas, el docente podrá guiar al modelo en la selección de actividades, de modo que, a pesar de que este analiza de forma dinámica las características de cada aprendiz para asignarles una actividad, la estrategia docente marcará la decisión a tomar, según los criterios que el docente considere apropiados, individual o globalmente. Para comprobar que las características de nuestro modelo, hemos puesto en práctica el modelo a través de una prueba con una plataforma piloto, usada por estudiantes y docentes reales, obteniendo unas valoraciones muy positivas por ambas partes. Con CALM, hemos propuesto una base para construir un sistema de aprendizaje inteligente con el que cubrir las necesidades educativas que presenta nuestra sociedad actual, a través de un aprendizaje adaptativo y personalizado, teniendo siempre presentes los objetivos docentes.

Esta tesis aborda el estudio, diseño y formalización de herramientas computacionales concretas para seleccionar y cambiar el criterio de preferencia entre argumentos que es utilizado por el sistema de Programación Lógica Rebatible (DeLP) requerido para decidir derrotas al analizar ataques entre argumentos. Para lograr esto, se proponen varios servicios de razonamiento basados en DeLP que disponen de distintos criterios y permiten llevar a cabo esta tarea de diferentes maneras. Como parte de la contribución, se propone un servicio que utiliza expresiones condicionales para programar cómo seleccionar el criterio que mejor se ajusta a las preferencias del usuario o a una situación en particular. Por otra parte, en la tesis se aborda también la definición de un servicio con mecanismos que permiten no solo seleccionar sino también combinar criterios. Estos mecanismos permiten que sea posible comparar argumentos considerando de manera simultánea más de un criterio. Como se detalla a continuación, DeLP ha demostrado ser de gran utilidad en diferentes dominios de aplicación [CCS05, RGS07, GCS08, GGS10]. Los formalismos propuestos incorporan herramientas concretas para tratar el manejo de múltiples criterios de preferencia entre argumentos, lo cual no ha sido considerado hasta el momento por otros trabajos. En consecuencia, los resultados obtenidos en esta tesis brindan una contribución importante a los desarrollos en la comunidad de argumentación, particularmente en el campo de los sistemas basados en Programación Lógica Rebatible, significando además un aporte dentro del área de Inteligencia Artifcial en las Ciencias de la Computación.

El objetivo principal de esta tesis es analizar los problemas que existen actualmente con el manejo integrado de información en las ciencias de la vida en general, y particularmente analizar que sucede con la Biodiversidad y la Oceanografía. La actual crisis mundial de la biodiversidad, debida, entre otras cosas, al calentamiento global, genera un profundo impacto en la distribución geográfica de las especies y las comunidades ecológicas. Esto provoca un creciente interés entre los científicos para coordinar el uso compartido de conjuntos de datos que ayuden a entender esta problemática global. En este contexto, el paradigma de los Datos Vinculados (Linked Data en inglés) ha emergido como un conjunto de buenas prácticas para conectar, compartir y exponer datos y conocimiento, una parte central de este paradigma son las ontologías, que permiten la definición de vocabularios compartidos y modelos conceptuales que ayuden a integrar esta información. Estas consideraciones proporcionan una fuerte motivación para formular un sistema que tenga en cuenta las características geoespaciales que pueden brindar respuestas a preguntas como las siguientes: (i) >Cómo podemos definir las regiones espaciales para nuestros estudios? (ii) >Cómo se distribuyen las especies en una determinada región? (iii) Dada una georeferencia particular, >a qué re- gión geográfica pertenece? (iv) >Cómo relacionar las ocurrencias de especies con variables ambientales dentro de una región especifica?. En esta tesis se presenta el desarrollo de un sistema basado en ontologías denominado BiGe-Onto [ZBF+19] para administrar información de los dominios de Biodiversidad y Biogeografía marina. Este sistema está compuesto por (i) Arquitectura; (ii) Modelo conceptual; (iii) Versión operacional OWL 2; y (iv) Conjunto de datos vinculados para su explotación a través de un punto final SPARQL. La evaluación de BiGe-Onto se realizo desde dos enfoques, el primero de ellos consiste en validar la ontologíaa utilizando datos reales extraídos de repositorios de Biodiversidad y Biogeografía marina para luego validar el modelo conceptual propuesto utilizando preguntas de competencia. El segundo enfoque tiene que ver con la validación mediante casos de estudio definidos en conjunto con investigadores del Centro Científico Tecnológico (CENPAT-CONICET) que trabajan realizando análisis de distribución de especies. Finalmente la documentación de BiGe-Onto esta disponible en línea en http://crowd.fi.uncoma.edu.ar/cenpat-gilia/bigeonto/ y el conjunto de datos enlazados es accesible públicamente a través de DOI 10.5281/zenodo.3235548. / The main goal of this thesis is to analyze the existing issues currently related to the integrated management of information in life sciences in general, and particularly to analyze what happens with Biodiversity and Oceanography. The current global biodiversity crisis, due, among other things, to global warming, has a great impact on the geographical distribution of species and ecological communities. This motivates a growing interest among scientists to coordinate the sharing of datasets that help to understand this global problem. In this context, Linked Data paradigm has emerged as a set of good practices to connect, share and expose data and knowledge. A central part of this paradigm are the ontologies, which allow the de nition of shared vocabularies and conceptual models that help integrate this information. These considerations provide strong motivation to formulate an ontologybased system considering geospatial features that may provide answers to questions such as: (i) How can we define spatial regions for our studies? (ii) How are the species distributed in a certain region? (iii) Given a particular georeference, which geographic region does it belong to? (iv) How to relate occurrences of species with environmental variables within a specific region?. This thesis presents the development of an ontology-based system called BiGe-Onto [ZBF+19] to manage information from Biodiversity and Marine Biogeography domains. This system is composed of (i) Architecture; (ii) Conceptual model; (iii) OWL 2 operational version; and (iv) Linked dataset to exploit through a SPARQL endpoint. BiGe-Onto evaluation was developed from two approaches, the first one is to validate the ontology using real data extracted from Biodiversity and Marine Biogeography repositories and then validate the proposed conceptual model using competence questions. The second approach is based on validation through case studies defined in conjunction with researchers from the Technological Scientific Center (CENPAT-CONICET) who work on species distribution analysis. Finally, BiGe-Onto documentation is available online at http: //crowd.fi.uncoma.edu.ar/cenpat-gilia/bigeonto/ and the linked dataset is publicly accessible through DOI 10.5281/zenodo.3235548.

La teoría de cambio de creencias estudia la forma en que un agente cambia sus creencias cuando adquiere nueva información. Así, el propósito principal de las investigaciones en el campo de la lógica de la teoría de cambio resulta en analizar cómo se producen tales cambios en el estado de creencias de un agente. Dos clases de cambios son principalmente estudiados, denominados contracción y revisión, para la eliminación de antiguas creencias y para la incorporación de nuevas creencias respectivamente. Dentro del terreno de cambio de creencias la teoría dominante es el marco AGM, donde las creencias son representadas como fórmulas lógicas, y asume una lógica subyacente que es al menos tan expresivo como la lógica proposicional. Debido a esta suposición, el marco AGM no se puede aplicar a sistemas con lógicas subyacentes que son menos expresivos que la lógica proposicional clásica tales como la lógica de Horn. El objetivo de esta tesis es ampliar la utilidad del marco AGM mediante la investigación de las contracciones de estilo AGM pero bajo lógica Horn y al que denominamos como contracciones Horn. Nuestras investigaciones se centraron, por un lado, en los principales métodos de construcción de contracción AGM. Algunas de estas construcciones básicas ya fueron adaptados bajo lógica Horn, siempre con respecto a una sola sentencia, sin embargo, su ampliación con respecto a conjunto de sentencias aún no habían sido abordados. Unas de nuestras contribuciones presentadas en esta tesis fue el de ampliar y adaptar estas construcciones a la lógica Horn. Las contracciones adaptadas de sentencias simples a sentencias múltiples son los modelos basados en contracción Horn: partial meet Horn p-contraction, maxichoice y full meet Horn p-contraction y infra Horn p-contraction. Además, se presentan una caracterización axiomática para las nuevas clases de funciones de contracción múltiples bajo lógica Horn. Las contracciones Horn múltiples se restringen a fórmulas Horn, por lo que es válido decir que una contracción Horn múltiple funciona tan racionalmente como lo hace una contracción múltiple AGM. Es decir, una contracción Horn múltiple es equivalente Horn a su equivalente original AGM si se comporta de manera idéntica en términos de fórmulas Horn. Por otro lado (y siguiendo con los tópicos de investigación de esta tesis), se propone mejorar la comprensión y operabilidad de una de las funciones de contracción formalizada bajo lógica Horn, nos referimos a la epistemic entrenchment Horn contraction y su condición (HC ), obteniendo como resultado, una forma aún más restringida a la ya existente para epistemic entrenchment Horn contraction, y con el objetivo de que la nueva operación de contracción Horn (modificada) satisfaga los postulados básicos y complementarios que caracterizan las operaciones de contracción Horn basados en epistemic entrenchment. Se logra con esto, una forma más apropiada de una operación de contracción Horn basado en importancia epistémica. / The theory of belief change studies how an agent changes its beliefs when it acquires new information. Thus, the primary purpose of research in the field of logic of theory change is to analyze how such changes occur in the state of belief of an agent. Two kinds of changes are mainly studied, contraction and revision called for the removal of old beliefs and to incorporate new beliefs respectively. Inside the field of belief change is the dominant theory AGM framework, where beliefs are represented as logical formulas, and assumes an underlying logic that is at least as expressive as propositional logic. Because of this assumption, the AGM framework can not be applied to systems with underlying logics that are less expressive than classical propositional logic such as Horn logic. The objective of this thesis is to extend the usefulness of the AGM framework by investigating contractions AGM style but under Horn logic and we call such Horn contractions. Our investigations concentrated on one side, in the main AGM contraction construction methods. Some of these basic constructions already been adapted under Horn logic, always with respect to a single sentence, however, regarding its expansion set of sentences not yet been addressed. One of our contributions presented in this thesis was to extend and adapt these buildings to Horn logic. Contractions simple sentences adapted to multiple sentences are based models Horn contraction: partial meet Horn p-contraction, and full meet maxichoice Horn p-contraction and infra Horn p-contraction. Moreover, an axiomatic characterization for new classes of functions of multiple contraction in Horn logic are presented. Horn multiple contractions restricted to Horn formulas, so it is valid to say that a Horn multiple contraction operates as rationally as does a AGM multiple contraction. Therefore, one Horn multiple contraction is Horn equivalent to the original equivalent AGM if behaves identically in terms of Horn formulas. On the other hand (and continuing with the research topics of this thesis), aims to improve understanding and operability of the functions of contraction formalized in Horn logic, we refer to the epistemic entrenchment Horn contraction and their (HC ) condition, resulting in an even more restricted to the existing epistemic entrenchment Horn contraction, and in order that the new Horn contraction operation (modified) satisfies basic and complementary postulates that characterize operations epistemic entrenchment based Horn contraction. This is achieved with a more appropriate form of a Horn contraction operation based on epistemic importance.

Esta tesis comprende el estudio y formalización de herramientas para la representación de conocimiento y razonamiento en sistemas argumentativos. En particular, se proponen dos formalismos argumentativos que permiten la utilización y combinación de soporte y ataque a reglas de inferencia. Los formalismos aquí desarrollados abordan esta temática desde dos enfoques complementarios. El primero de ellos provee un marco unificado para modelar estas nociones en un contexto de argumentación abstracta, mientras que el segundo corresponde a un sistema argumentativo basado en reglas que permite expresar soporte y ataque a reglas rebatibles de un lenguaje de programación lógica. Para cada uno de los formalismos propuestos se abordaría la definición del sistema, así como también el análisis de propiedades satisfechas por el mismo. Los sistemas argumentativos definidos en esta tesis extienden a otras aproximaciones existentes en la literatura, incorporando características y elementos que aún no habían sido considerados conjuntamente por los formalismos desarrollados hasta el momento. Concretamente, los formalismos aquí propuestos incorporan en forma conjunta las nociones de backing y undercutting, de reconocida importancia en el área de argumentación. Asimismo, estos formalismos fueron concebidos de manera tal que es posible instanciar el marco argumentativo abstracto con el sistema argumentativo concreto, favoreciendo así su implementación computacional. / This thesis concerns the study and formalization of tools for knowledge representation and reasoning in argumentation systems. We propose two argumentation formalisms that allow for the consideration and combination of attack and support for inference rules. The former provides a unified framework for modeling these notions within the context of abstract argumentation, whereas the latter corresponds to a rule-based argumentation system that allows for attack and support for defeasible rules in a logic programming setting. For each of the proposed systems we provide its formal definiton, and we analyze several properties that are satisfed. The formalisms developed in this thesis extend other existing approaches in the literature by incorporating some elements and features that were not yet considered together by the formalisms developed so far. Specifically, the argumentation systems proposed here incorporate the notions of backing and undercutting in a joint manner; two notions of great importance within the community of argumentation. Also, these formalisms were conceived in such a way that it is possible to instantiate the abstract argumentation framework with the rule-based argumentation system, thus benefiting its computational implementation.

Los sistemas de recomendación se han hecho cada vez más frecuentes en los últimos años, ya que ayudan a los usuarios a acceder a elementos relevantes del vasto universo de posibilidades disponibles en estos días. La mayoría de las investigaciones existentes en el área se basan puramente en aspectos cuantitativos, tales como índices de popularidad o medidas de similitud entre elementos o usuarios. En esta tesis se desarrollaron distintos modelos para la implementación de sistemas de recomendación, que incorporan aspectos que difieren de los más clásicos de un recomendador. Uno de los modelos desarrollados incorpora la noción de confiabilidad, mientras que otro fomenta la transparencia de la recomendación para los usuarios y la flexibilidad para instanciar las preferencias de recomendación en un sistema de recomendación. Los modelos propuestos incorporan el uso de argumentos a favor o en contra de las recomendaciones para determinar si una sugerencia debe ser presentada o no a un usuario. Para lograr esto, se adopta la Programación Lógica Rebatible (DeLP, del inglés, Defeasible Logic Programming) como el formalismo subyacente para modelar hechos y reglas sobre el dominio de recomendación y para computar el proceso de argumentación. Este enfoque tiene varias ventajas sobre otras técnicas de recomendación existentes. En particular, las recomendaciones se pueden refinar fácilmente en cualquier momento agregando nuevas reglas pulidas. También, queda en evidencia la capacidad de inferencia de los modelos propuestos. Lo más importante es que las explicaciones que apoyan cada recomendación pueden proporcionarse de una manera que sea fácil de entender para el usuario, por medio de los argumentos calculados. / Recommender systems have become prevalent in recent years as they help users to access relevant items from the vast universe of possibilities available these days. Most existing research in this area is based purely on quantitative aspects such as indices of popularity or measures of similarity between items or users. In this thesis, different models were developed for the implementation of recommendation systems, which incorporate aspects that differ from those classically found in a recommender. One of the models developed incorporate the notion of trust, while another promotes the transparency of the recommendation for users and the flexibility to instantiate recommendation preferences in a recommendation system. The proposed models incorporate the use of arguments in favor or against recommendations to determine if a suggestion should be presented or not to a user. In order to accomplish this, Defeasible Logic Programming (DeLP) is adopted as the underlying formalism to model facts and rules about the recommendation domain and to compute the argumentation process. This approach has a number of advantages over other existing recommendation techniques. In particular, recommendations can be easily refined at any time by adding new polished rules. Also, the inference capability of the proposed models is evident. Most importantly, explanations supporting each recommendation can be provided in a way that is easily understood by the user, by means of the computed arguments.

La Interacción Humano Computadora es la rama de las Ciencias de la Computación que busca conectar a los humanos con los sistemas computacionales de forma natural e intuitiva. Los humanos interactúan con la realidad a través de sus sentidos y la Realidad Virtual conecta a los humanos con los mundos virtuales. Gracias a los avances tecnológicos de las últimas décadas, cientos de dispositivos e interfaces han surgido para intentar lograr esta conexión. Sin embargo, la mayoría de estos dispositivos fracasan al no estar diseñados en torno a la usabilidad. Aunque existen libros y trabajos en la literatura que realizan un relevamiento sobre los distintos dispositivos e interfaces utilizados en Realidad Virtual, ninguno lo hace desde el punto de vista de la Interacción Humano Computadora. Esta tesis se enfoca en los sistemas de Realidad Virtual existentes desde el punto de vista de la Interacción Humano Computadora y la usabilidad. Específicamente, esta tesis presenta un relevamiento exhaustivo de las técnicas y dispositivos existentes para interconectar al humano a través de sus sentidos con la Realidad Virtual. Las discusiones y conclusiones presentadas en cada capítulo analizan las características, ventajas y desventajas de aquellas técnicas y dispositivos asociados a cada sentido. A partir de esto, esta tesis no solo sirve como guía a la hora de seleccionar el dispositivo más adecuado para ser utilizado en una aplicación de Realidad Virtual particular, sino que también, presenta las características a tener en cuenta a la hora de diseñar y desarrollar nuevos dispositivos. / Human Computer Interaction is the area of Computer Science which main goal is to connect humans with computer systems in a natural and intuitive way. Humans interact with reality through their senses and Virtual Reality connects humans with virtual worlds. Thanks to the technological advances of the last decades, hundreds of devices and interfaces have emerged to try to achieve this connection. However, most of these devices fail because they are not designed based on usability. Although there are books and works in the literature that perform a survey on the different devices and interfaces used in Virtual Reality, none do so from the point of view of Human Computer Interaction. This thesis focuses on the existing Virtual Reality systems from the point of view of Human Computer Interaction and usability. Specifically, this thesis presents a survey of the existing techniques and devices to interconnect humans with the Virtual Reality through their senses. The discussions and conclusions presented in each chapter analyze the features, advantages and disadvantages of those techniques and devices associated to each sense. Hereby, this thesis not only provides a guide for selecting the most suitable device to be used in a particular Virtual Reality application, but also presents the characteristics to be taken into account when designing and developing new devices.

La similitud entre dos objetos, casos o situaciones ha sido ampliamente estudiada y los resultados de estos esfuerzos han sido aplicados en diferentes dominios de investigación, proponiéndose a lo largo de la historia modelos matemáticos y lógicos de diversa complejidad. Sin embargo, cuando lo que se quiere obtener es la similitud entre estructuras complejas que representan información rica semánticamente, como es el caso de los argumentos, estas herramientas son menos prevalentes. En términos generales, el cálculo de la similitud entre los argumentos que participan en una discusión, requiere encontrar un mecanismo con el cual se pueda medir, de alguna manera, la fortaleza del soporte que recibe una determinada conclusión, o del grado de ataque hacia la misma. Esto permite mantener en consideración algunos argumentos que, bajo enfoques más tradicionales o conocidos, son desestimados por considerarse completamente derrotados. A otro nivel de abstracción, un mecanismo que permita determinar la similitud entre dos argumentos es útil para aproximar un patrón de razonamiento humano, en el que instintivamente se razona en base a información que se conoce sobre un determinado caso buscando similitudes con un caso nuevo, y así poder llegar a una decisión o tomar una postura al respecto. El objetivo principal de este trabajo es proponer un mecanismo de cálculo de la similitud entre argumentos, que permita ponderar las relaciones de soporte y ataque entre ellos. De esta manera, se desarrolla un Marco Argumentativo Bipolar basado en Similitud (Similarity-Based Bipolar Argumentation Framework). Para ello, se propone un modelo matemático general para el cálculo de la similitud en relación al soporte y al ataque en un Marco Argumentativo Bipolar, lo que permitirá encontrar el grado de cohesión y de controversia, respectivamente, en un conjunto de argumentos relacionados. Este mismo modelo matemático es utilizado, posteriormente, para incrementar la representación computacional de ciertas estructuras inferenciales que representan patrones de razonamiento empleados comúnmente, conocidas como Esquemas de Argumentación. Para esto, se diseña un Esquema de Argumentación basado en Similitud, que permite expresar las premisas y las conclusiones de los argumentos utilizando formalismos que agregan capacidad de cómputo al conocido Esquema de Argumentación basado en Analogías, constituyendo el segundo aporte de esta tesis. / Researchers of different application domains address representational aspects about the similarity between objects, cases, or situations. To do this, they proposed several mathematical and logical models of varying complexity. However, when we want to model the similarity between structures that contain semantic rich information, as is the case of the arguments, these representations become scarce. In general terms, the consideration of the similarity between arguments in a discussion involves finding a mechanism to measure, in some way, the strength of the support that receives a particular conclusion, or the degree of attack over it. This attention to similarity allows us to keep in mind some arguments that are dismissed as considered entirely defeated under more traditional or well-known approaches. At another level of representation and abstraction, a mechanism that allows us to determine the similarity between two arguments is useful for modeling a human reasoning pattern, in which we instinctively reason based on information that we known about a particular case, to look for similarities with a new case, and to be able to make a decision or a position about it. The main objective of this work is to propose a mechanism for calculating the similarity between arguments, which allows us to weigh the support and attack relationships between these arguments. In this way, we develop a Similarity-Based Bipolar Argumentation Framework. For this, we propose a general mathematical model to calculate the similarity in the support and attacks relations of the Bipolar Argumentative Framework, which will allow us to find the cohesion and controversy degree, respectively, on a set of related arguments. This mathematical model for calculating the similarity between arguments is later used to increase the representation capabilities of certain devices called Argumentation Schemes that are used to represent common patterns of reasoning. To accomplish this, we propose an Argumentation Scheme based on Similarity, which allows us to express the premises and conclusions of the arguments using formalisms that add to the well-known Argumentation Scheme based on Analogies, constituting the second contribution of this thesis.