Esta tesis se enfoca en el estudio de sistemas para la generación automatizada de hipótesis contextualizadas en la detección de comportamiento malicioso en plataformas sociales. Como primer aporte de esta tesis, se presenta una aproximación inicial para un sistema como el mencionado anteriormente y se consideran dos enfoques ligeramente diferentes acotando la detección de comportamiento malicioso a un tipo de problema específi co bautizado como deduplicación adversarial. Para el primer enfoque, se pone mayor énfasis en la generación de hipótesis a partir de la utilización de reglas lógicas bien de finidas, aunque la esencia de su funcionamiento está apoyada en los resultados que puedan ser obtenidos de aplicar técnicas de aprendizaje automatizado con anterioridad. Luego para el segundo enfoque, se realiza mayor hincapié en la utilización de técnicas de aprendizaje automatizado, específi camente clasi ficadores, como estrategia para atacar el problema y la generación de hipótesis es llevada a cabo por reglas más simples que son activadas cuando el resultado de los clasifi cadores supera cierto umbral. Sin embargo, el objetivo general de esta tesis es avanzar hacia el desarrollo de sistemas más robustos que no se encuentran acotados a un solo problema de comportamiento malicioso en plataformas sociales, sino que considere la multiplicidad de los mismos y aproveche la relación que pueda haber entre ellos. Por esta razón, el principal aporte de esta tesis es la presentación de la arquitectura NetDER para razonar sobre comportamiento malicioso en plataformas sociales, la cual en principio, busca servir de guía para la implementación de software en dicho dominio. Asimismo, en esta misma dirección, otro aporte realizado es el estudio de los fundamentos teóricos involucrados en la implementación de una versión particular de NetDER. Más específicamente, la generación de hipótesis está apoyada en un proceso conocido como de respuesta a consultas, por lo cual fue necesario investigar su incidencia en este modelo, y a partir de dicho estudio se llega a un interesante conjunto de resultados que varían de la tratabilidad del tiempo polinomial a la indecidibilidad, dependiendo de las características que estén disponibles. Adicionalmente, se desarrolla un caso de uso para ilustrar cómo el enfoque puede ser aplicado en un dominio de ciberseguridad para razonar sobre productos en riesgo basados en publicaciones de foros de la Darknet. Finalmente, como último aporte se realiza una evaluación experimental de la arquitectura NetDER, considerando las cuestiones de diseño y fundamentos teóricos estudiados a lo largo de esta tesis. Asimismo, debido a la difi cultad de obtener datasets adecuados con ground truth, lo cual es necesario para llevar adelante evaluaciones de desempeño, fue necesario desarrollar un testbed general (dejando disponible públicamente su código) diseñado con el propósito de generar trazas completas de actividades de publicación involucrando potencialmente todo tipo de contenido malicioso como lo pueden ser noticias falsas, actores maliciosos, botnets, enlaces a malware, discursos de odio, etc. Los resultados obtenidos fueron satisfactorios, debido a que en general son estadísticamente signifi cativos y constituyen un paso importante para avanzar al logro del objetivo general que es disponer de sistemas robustos de generación automatizada de hipótesis que puedan utilizarse para resolver problemas de comportamiento malicioso en plataformas sociales. / In this thesis we focus on the study of systems for the automated generation of hypotheses in order to detect malicious behavior on social media. The rst contribution of this thesis is the development of an initial approach for a system such as the one we mentioned above, where two slightly di erent approaches are considered, limiting the detection of malicious behavior to a speci c kind of problem called adversarial deduplication. For the rst approach, greater emphasis is placed on the generation of hypotheses from the use of well-de ned logical rules, although they are essentially based on the results that can be obtained from the prior application of machine learning techniques. Then, for the second approach, greater emphasis is placed on the use of machine learning techniques, speci cally classi ers, as a strategy to attack the problem and the generation of hypotheses is carried out by simpler rules that are activated when the result of the classi ers exceeds a certain threshold. The general objective of this thesis is however to advance towards the development of more robust systems that are not limited to a single problem of malicious behavior on social media, but rather consider their multiplicity and take advantage of the relationship that may exist between them. For this reason, the main contribution of this thesis is the presentation of the NetDER architecture to reason about malicious behavior on social media, which in principle seeks to serve as a guide for the implementation of software in this domain. Also, in this same direction, another contribution is the study of the theoretical foundations involved in the implementation of a particular version of Net- DER. More speci cally, the generation of hypotheses is supported by a process known as query answering; therefore, we need to research its incidence in this model, and from this study an interesting set of results is reached that vary from polynomial-time tractability to undecidability, depending on the features that are available. Additionally, a use case is developed to illustrate how the approach can be applied in a cybersecurity domain to reason about at-risk products based on Darknet forum posts. Finally, as a last contribution, an experimental evaluation of the NetDER architecture is carried out, considering the design issues and theoretical foundations studied throughout this thesis. Also, due to the di culty of obtaining adequate datasets with ground truth, which is necessary to carry out performance evaluations, it was necessary to develop a general testbed (making its code publicly available) designed with the purpose of generating complete traces of posting activities potentially involving all types of malicious content, such as fake news, malicious actors, botnets, links to malware, hate speech, etc. The results obtained were satisfactory, because in general they are statistically signi cant and constitute an important step to advance towards the achievement of the general objective, which is to have robust systems for the automated generation of hypotheses that can be used to solve problems related to malicious behavior on social media.

Los esquemas de argumentación son entendidos en la Inteligencia Artificial como patrones de razonamiento semi-estructurados subyacentes a las conversaciones, textos o discursos escritos. La utilidad práctica de los mismos es constituir una herramienta para expresar una línea argumental, y en lo posible, razonar en base a la información que de ellos se deriva. Uno de los objetivos del presente trabajo es extender la representación de los esquemas de argumentación ajustando los mismos al pensamiento crítico debido a las características expresivas que este estándar proporciona. Además, dado un discurso o un texto, en la actualidad el proceso de encontrar el esquema de argumentación subyacente en base al cual razonar automáticamente es complejo y multidisciplinario. Requiere un sistema general capaz de integrar diversas tareas relacionadas con el procesamiento del lenguaje natural y la minería de argumentos, como así tambin transformar el producto de estas tareas en insumos que permitan razonar en base a la información potencialmente contradictoria. Es por esto que en el presente trabajo propondremos una arquitectura general a la que podría ajustarse cualquier desarrollo de sistemas cuyo objetivo sea añadir formalizaci ón o estructura a dichos patrones de razonamiento para hacerlos más prácticos para la Inteligencia Artificial. / The argumentation schemes are understood in the Artificial Intelligence like semistructured reasoning patterns underlying to the conversations, texts or written speeches. The practical utility of the same ones is to constitute a tool for to express an argumentative line, and if it is possible, to reason based on the information that from them stems. One of the objectives of this work is to extend the representation of the argumentation schemes fitting the same ones to the critical thinking due to the expressive characteristics of this standard. Also, given a speech or a text, the process of finding the argumentation scheme underlying it based on which to reason automatically is a complex and multidisciplinary process. It requires a general system able to integrate various tasks related to natural language processing and argumentation mining, as well as transforming the product of these tasks in inputs to reason based on potentially con icting information. In this way, we will propose in this work a general architecture to which there might fit any system development which target is to add formalization or structure to the above mentioned reasoning patterns, to make them more practical for the Artificial Intelligence.

La presente investigación fue concebida con el objetivo general de facilitar herramientas teóricas y prácticas para analizar críticamente la justificación de las resoluciones judiciales en materia penal en relación con los principios del Estado de derecho argentino. A estos efectos, la “justificación” puede entenderse como una relación entre: (a) un conjunto de razones compuesto por aquello que hay que motivar (las resoluciones judiciales penales) y, (b) otro conjunto de razones a la luz de las cuales se justifica (los principios del Estado de derecho argentino). En este marco, nuestro estudio sobre la “justificación” se estructura en cinco ejes principales: • Capítulo I: Nociones preliminares. • Capítulo II: La solidez de los fundamentos de derecho. • Capítulo III: La solidez de los fundamentos de hecho. • Capítulo IV: La solidez de la fundamentación: cuestiones comunes. • Capítulo V: La relación lógica entre las premisas y la conclusión. A su vez, en cada uno de los capítulos (II a V) se concretan dos objetivos específicos: (i) Sistematizar “criterios prescriptivos” (es decir, afirmar que un estado de cosas debe o debería darse) para la justificación de las resoluciones judiciales penales y, posteriormente, (ii) Identificar “criterios descriptivos” (es decir, afirmar un estado de cosas que de hecho se da) de los problemas de justificación de las resoluciones judiciales penales. / The general objective of this research is to provide practical and theoretical tools to analyze the justification of judicial decisions in criminal cases from the perspective of Rule of Law. In this context, ‘Justification’ can be defined as a relation between two sets of reasons: (a) reasons that must be justified (i.e. judicial decisions) and (b) reasons in the light of which they are justified (i.e. principles of Rule of Law). This approach is structured around five main axes: • Chapter I: Basic notions. • Chapter II: Solid legal grounds. • Chapter III: Solid factual grounds. • Chapter IV: Solid factual and legal grounds: common issues. • Chapter V: The logical relation between premises and conclusions. Additionally, in each chapter (from chapter II to V), two specific objectives are proposed: (i) To systematize prescriptive1 criteria for justification and, subsequently, (ii) To identify descriptive2 criteria of justification problems.

El presente trabajo pretende identificar las regularidades entre los procesos del Razonamiento Configural y el Razonamiento Discursivo Teórico, cuando estudiantes ecuatorianos de nivelación para ingeniería resuelven problemas geométricos, en un entorno de lápiz y papel. En el marco de la Teoría Cognitiva desarrollada por Raymond Duval (1993; 1995; 1996; 2006a; 2006b; 2006c; 2006d; 2016) y del Modelo de Razonamiento Configural (Torregrosa & Quesada (2007); Torregrosa, Quesada, Penalva (2010); Clemente, & Llinares, 2015; Llinares & Clemente (2014, 2019); Saorin, Torregrosa, Quesada (2019); Torregrosa (2017); Prior & Torregrosa (2013)), se analizó las resoluciones a cuatro problemas de geometría en los que se proporcionaba una configuración y debía probarse una proposición. El análisis describe el proceso de resolución de los estudiantes partiendo del momento en que el estudiante acumula información, mediante la actividad heurística inicial sobre la configuración, hasta el desenlace. El objetivo es caracterizar las interacciones entre la visualización y el razonamiento involucrados. Los resultados han permitido identificar particularidades relevantes tales como, (i) la caracterización de la relación entre acción coordinada entre aprehensión operativa y aprehensión discursiva y los desenlaces al resolver problemas engeometría; (ii) las relaciones entre las configuraciones y las afirmaciones matemáticas; (iii) la relación entre los desenlaces, y los procesos de expansión discursiva y la organización del discurso.

El presente estudio analiza la correlación entre la empatía y el razonamiento moral prosocial en una muestra de 105 estudiantes de psicología de una universidad privada de Lima, con edades correspondientes entre los 17 y los 28 años. El razonamiento moral prosocial es medido mediante el test Una Medida Objetiva del Razonamiento Moral Prosocial (PROM-R) elaborado por Carlo, Eisenberg y Knight en 1992; mientras que la empatía se evalúa a través del Índice de Reactividad Interpersonal (IRI) creado por Mark Davis en 1980, ambos test adaptados para la presente investigación. Los resultados obtenidos indican de forma general que existe una correlación positiva significativa entre ambos constructos estudiados, correlacionando de forma significativa los niveles Estereotipado e Internalizado del razonamiento moral prosocial con los factores Toma de Perspectiva, Fantasía y Preocupación Empática, pertenecientes a la empatía. Además, no se evidencia diferencias significativas con respecto al sexo para el razonamiento moral prosocial, mientras que en la empatía existen únicamente diferencias significativas de acuerdo al sexo en la subescala Fantasía. The present study examines the correlation between empathy and prosocial moral reasoning in a sample of 105 psychology students from a private university in Lima, with corresponding ages between 17 and 28 years old. The prosocial moral reasoning is measured by the test Prosocial Moral Reasoning Objective Measure (PROM-R) developed by Carlo, Eisenberg and Knight in 1992; while empathy is evaluated through the Interpersonal Reactivity Index (IRI) created by Mark Davis in 1980, both tests adapted to the present investigation. The general results indicates that there is a significant positive correlation between both constructs studied, correlating significantly the levels Stereotyped and Internalized of the prosocial moral reasoning with the factors Perspective-Taking, Fantasy and Empathic Concern, belonging to empathy. No significant difference was found in regard to sex for prosocial moral reasoning, while in empathy exists only significant differences according to sex in the Fantasy subscale.

No description available.

No description available.

No description available.

Demuestra que la aplicación de un programa de estrategias didácticas cognitivas influye en el desarrollo del razonamiento matemático en estudiantes de bachillerato de la Unidad Educativa “Santa Mariana de Jesús” de Riobamba - Ecuador. Se realiza un estudio cuasi experimental en el cual participan dos grupos, uno de 33 estudiantes, que constituye el grupo de control y el otro, con 43 estudiantes que conforma el cuasi experimental; se utilizan estrategias cognitivas como: cálculos mentales, estrategias para la resolución de problemas y creación de problemas. / Tesis

El control de Tráfico Urbano es altamento complejo y dinámico: depende de la cantidad, tipo y calidad de los datos recibidos, de las previsiones de datos a recibir, del comportamiento del tráfico (actual, pasado y en previsión), el conocimiento del control a aplicar y del entorno de actuación. En esta tesis doctoral se analizan las diferentes aproximaciones realizadas desde el ámbito de la Inteligencia Artificial para identificar las principales debilidades de estos sistemas. Como resultado de este análisis se propone una nueva aproximación basada en la integración de datos procedentes de distintos sensores (mediante la adopción de un modelo cualitativo de datos), el análisis en tiempo real de la situación del tráfico (mediante un simulador macroscópico cualitativo basado en la densidad de vehículos en cola a la entrada de las intersecciones), la identificación de problemas actuales y potenciales de tráfico (mediante un análisis temporal cualitativo de la evolución de la densidad de vehículos) y la sugerencia de ejecución de acciones de control de tiempos de rojo para reducir las congestiones de tráfico actuales, evitar que evolucionen a situaciones de colapso y evitar congestiones futuras. Se define y diseña un prototipo con arquitectura multiagente que integra las características mencionadas. Su implementación se realiza en un sistema distribuido COTS. La ejecución del prototipo en pruebas de laboratorio (con datos reales de la ciudad de Castellón de la Plana) proporciona resultados que avalan la aproximación realizada.