El objetivo principal de esta tesis es estudiar la retroalimentación entre los sistemas de representación visual de conocimiento y los formalismos lógicos, y definir la teoría subyacente a esta interacción, mediante la manipulación de ontologías gráficas basadas en Lógicas Descriptivas (DLs) y las características principales de los ambientes de ingeniería ontológica que la soporten. Las tecnologías semánticas son cada vez más preponderantes en la integración de datos e interoperabilidad de sistemas de información y, en este contexto, las ontologías son centrales para la definición de vocabularios compartidos y modelos conceptuales. De esta manera, proveer ambientes para el desarrollo de ontologías de calidad es esencial, potenciando la integración del conocimiento de los expertos de dominio con la semántica formal de los lenguajes de ontologías. En esta Tesis se presentan la formalización de los sistemas de manipulación de ontologías gráficas, a los cuales notamos como GOMS, y de un proceso de visualización de conocimiento basado en ontologías, que articula esta teoría junto con aspectos de visualización en el contexto de herramientas gráficas. A partir de los resultados obtenidos, se diseño y documentó una arquitectura de referencia web y se implementó una herramienta concreta, llamada crowd, para tareas de ingeniería ontológica, por medio de representaciones gráficas de dominios y sus reconstrucciones en DL. Esta infraestructura ha sido concebida como un sistema visual integrando fuertemente los modelos gráficos con sus representaciones lógicas, interfaces con multiples razonadores lógicos para validarlos y cumplimiento con estándares relevantes de la W3C. Asimismo, se incorporó la gestión de espacios de nombres para obtener modelos ontológicos listos para documentar y publicar. Evaluaciones basadas en experiencias de usuarios y en la formalización de un sistema para visualización de contenido semántico, son también presentadas y han sido ejecutadas sobre la implementación de crowd, actualmente en linea en http://crowd.fi.uncoma.edu.ar. / The aim of this thesis is to study how both knowledge representation visual systems and logic-based formalisms feed each other, theorise about this interaction through manipulating graphical ontologies based on Description Logics (DLs), and thus de ning the main requirements of ontology engineering environments to support them. Semantics technologies are increasingly important in data integration and information system interoperability. In this sense, ontologies are key for shared vocabularies and conceptual models. Thus, providing environments for high quality ontologies becomes an essential issue, empowering the integration of domain experts' knowledge with the semantics of ontology languages. In this thesis, we formalise a system for manipulating graphical ontologies, named as GOMS, and an ontology-based knowledge visualisation process, which orchestate the theoretical and visualisation aspects in the context of visual tools. From these results, we have designed and documented a reference web architecture. Moreover, we have implemented a concrete tool, named crowd, for ontology engineering tasks based on visual representations of domains and their logic-based reconstructions. This infrastructure has been conceived as a visual system intragrating closely visual models and their logical representations, interfacing with diverse reasoning tools to validate them and compliancing to all relevant W3C recommendations. The tool also support namespaces de nition in order to get ontologies ready to be documented and published. Evaluations based on user experiences and the formalisation as a system for visualising semantic content are also presented, which have been run on the current implementation of crowd, hosted at http://crowd.fi.uncoma. edu.ar.

En esta tesis se define un formalismo que combina acciones y argumentación rebatible para representar dominios y proble-mas de planificación. Lo novedoso de este formalismo es que permite representar conocimiento acerca del dominio y definir acciones utilizando la Programación en Lógica Rebatible. El conocimiento del dominio permite razonar rebatiblemente acerca de las precondiciones, restricciones y efectos de las acciones, las cuales permiten cambiar el entorno para lograr las metas de un problema de planificación. Además, se define un nuevo método de planificación que combina técnicas de Planificación de Orden Parcial con Argumentación Rebatible, y permite resolver problemas de planificación definidos utilizando el formalismo de representación antes mencionado. La incor-poración de Argumentación Rebatible permite utilizar el cono-cimiento del dominio para razonar rebatiblemente durante la construcción de un plan. Los formalismos basados en argumen-tación rebatible permiten representar y razonar con conoci-miento que involucre información incompleta o errónea. Esta característica está presente en muchos aspectos de un pro-ceso de planificación, donde no siempre es posible contar de ante mano con toda la informacion necesaria para resolver un problema.

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.

En los sistemas multi-agente, los agentes necesitan poder dialogar para resolver conflictos de información, solucionar problemas, encontrar pruebas formales, o simplemente informarse mutuamente de los hechos pertinentes. En esta tesis se propondrán dos protocolos y estrategias de diálogo para dos tipos de diálogo colaborativo-argumentativos en sistemas multi-agente: consulta a experto e indagación. En el diálogo de consulta a experto un agente es un experto en cierto dominio de conocimiento, y otro agente le consulta sobre un tema de ese dominio-el cual desconoce o conoce parcialmente-con el n de adquirir información. Actualmente, no existen otras estrategias de diálogo de consulta a experto, y aquellas semejantes no consideran que el agente consultante podr a tener información estricta en contradicción con las creencias del agente experto, ni que podrán tener diferentes preferencias entre argumentos. Por otra parte, en el di alogo de indagación un grupo de agentes busca llegar a un acuerdo general sobre la respuesta a una pregunta, siendo imparciales y contribuyendo toda la información relevante que tengan. Si bien en la literatura existen otras estrategias de diálogo de indagación, estas no consideran que los agentes podrán tener información estricta en contradicción con las creencias de los demás. Además, las pocas que no se limitan a sólo dos agentes no permiten que el conjunto de participantes varíe dinámicamente durante del diálogo. En los dos protocolos y estrategias de di alogo que se de nir an en esta tesis se confrontar an dichas limitaciones con el n de proveer una mayor versatilidad que la de las propuestas ya existentes. / In multi-agent systems, agents need to be able to dialogue in order to resolve information conflicts, solve problems, find formal proofs, or simply inform each other of the pertinent facts. In this thesis, two dialogue protocols and strategies will be proposed for two types of collaborative-argumentative dialogues in multi-agent systems: expert consultation and inquiry. In the expert consultation dialogue, an agent is an expert in a certain field of knowledge, and another agent consults the expert on a subject of that domain-which does not know or partially knows about|in order to acquire information. Currently, there are no other expert consultation dialogue strategies, and those that are similar do not consider that the consulting agent may have strict information in contradiction with the expert agent's beliefs, nor that they may have different preferences among arguments. On the other hand, in the inquiry dialogue, a group of agents seeks to reach a general agreement on the answer to a question while being impartial and contributing all the relevant information they have. Although there are other inquiry dialogue strategies in the literature, these do not consider that agents may have strict information in contradiction with the beliefs of others. Moreover, the few that are not limited to only two agents do not allow the set of participants to vary dynamically during the dialogue. In the two protocols and dialogue strategies that will be defined in this thesis, these limitations will be confronted in order to provide greater versatility than that of the existing proposals.

En los problemas de optimización combinatoria se estudian colecciones finitas de objetos que satisfacen unos criterios específicos y se persigue determinar si cierto objeto ``óptimo'' existe. En la mayoría de las ocasiones, a pesar de que el dominio de búsqueda es finito, éste puede ser de dimensiones exponenciales. En la actualidad es posible solucionar un gran número de problemas combinatorios presentes en la vida real empleando técnicas basadas en programación entera. Sin embargo, en numerosas ocasiones no es posible resolverlos de forma exacta debido a la gran dificultad que presentan algunos problemas de optimización combinatoria y sólo es posible encontrar soluciones cercanas al óptimo. Para estas ocasiones, los esfuerzos de investigación se han centrado en la aplicación de técnicas meta-heurísticas. En este último caso se enmarca el presente trabajo, es decir, en la resolución de problemas combinatorios complejos, de grandes dimensiones, donde explorar todas las posibilidades a fin de encontrar el óptimo es inabordable, ya sea por motivos económicos (probar cada combinación sea caro) o por motivos computacionales (temporalmente sea intratable). En concreto, en esta tesis se propone una arquitectura de búsqueda independiente del dominio de aplicación y capaz de abordar problemas combinatorios de grandes dimensiones, de los que se disponga de poca información de partida. Esta arquitectura está basada en técnicas Soft Computing, pues combina un algoritmo genético basado en codificación real con modelos basados en redes neuronales, concretamente en perceptrones multicapa. Así, el algoritmo genético emplea, en los casos en los que sea necesario, modelos aproximados de las funciones de aptitud mediante perceptrones diseñados para tal fin. El sistema obtenido ofrece la flexibilidad y versatilidad requeridas para poder adaptarse a los requisitos propios de cada problema combinatorio a tratar, sea cual sea su dominio. / Valero Cubas, S. (2010). Arquitectura de búsqueda basada en técnicas soft computing para la resolución de problemas combinatorios en diferentes dominios de aplicación [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8329

El problema de valores propios (tambien llamado de autovalores, o eigenvalues) esta presente en diversas tareas cienficas a traves de la resolucion de ecuaciones diferenciales, analisis de modelos y calculos de funciones matriciales, entre otras muchas aplicaciones. Si los problemas son de dimension moderada (menor a 106), pueden ser abordados mediante los llamados metodos directos, como el algoritmo iterativo QR o el metodo de divide y vencerlas. Sin embargo, si el problema es de gran dimension y solo se requieren unas pocas soluciones (comparado con el tama~no del problema) y con un cierto grado de aproximacion, los metodos iterativos pueden resultar mas eficientes. Ademas los metodos iterativos pueden ofrecer mejores prestaciones en arquitecturas de altas prestaciones, como las de memoria distribuida, en las que existen un cierto numero de nodos computacionales con espacio de memoria propios y solo pueden compartir informacion y sincronizarse mediante el paso de mensajes. Esta tesis aborda la implementacion de metodos de tipo Davidson, destacando Generalized Davidson y Jacobi-Davidson, una clase de metodos iterativos que puede ser competitiva en casos especialmente dificiles como calcular valores propios en el interior del espectro o cuando la factorizacion de matrices es prohibitiva o ineficiente, y solo es posible una factorizacion aproximada. La implementacion se desarrolla en SLEPc (Scalable Library for Eigenvalue Problem Computations), libreria libre destacada en la resolucion de problemas de gran tama~no de valores propios, problemas cuadraticos de valores propios y problemas de valores singulares, entre otros. A su vez, SLEPc se desarrolla bajo el marco de PETSc (Portable, Extensible Toolkit for Scientic Computation), que ofrece implementaciones eficientes de operaciones basicas del algebra lineal, como operaciones con matrices y vectores, resolucion aproximada de sistemas lineales, factorizaciones exactas y aproximadas de matrices, etc. / Romero Alcalde, E. (2012). Parallel implementation of Davidson-type methods for large-scale eigenvalue problems [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/15188

En los últimos años y con el auge las tecnologías de virtualización y de las infraestructuras cloud, se abre un nuevo abanico de posibilidades para acceso de recursos de cómputo para el ámbito científico. Estas tecnologías permiten "acceso ubicuo, adaptado y bajo demanda en red a un conjunto compartido de recursos de computación". Estas tecnologías permiten que el acceso a grandes cantidades de recursos virtualizados sea mucho más sencillo para el científico. Si bien la adaptación de aplicaciones a un entorno distribuido sigue requiriendo de una experiencia importante, es posible utilizar de forma eficiente software adaptado a sistemas de colas e incluso computación paralela de memoria distribuida. A pesar de todo, en la actualidad existen diferentes proveedores cloud, diferente software para el despliegue de plataformas cloud, diferentes gestores de máquinas virtuales, y otros componentes que complican el acceso de forma sencilla y homogénea. Por tanto el objetivo principal de esta tesis es la de proporcionar a la comunidad científica el acceso a las tecnologías de virtualización y cloud de manera sencilla. De tal manera que sea muy sencillo el despliegue y gestión de sus infraestructuras virtuales, para que los investigadores solo tengan que centrarse en las tareas propias de su aplicación. Una plataforma Cloud para investigación debe contemplar todos los aspectos necesarios para creación y gestión de las infraestructuras, partiendo de que el investigador debe poder expresar sus requerimientos, tanto hardware como software, sobre los recursos que va a necesitar para la ejecución de su aplicación. En base a los requerimientos definidos por el usuario el sistema debe crear la infraestructura del usuario, teniendo en cuenta aspectos como la selección de despliegues cloud, de imágenes de máquinas virtuales, procesos de contextualización, etc. El sistema también debe permitir que el usuario modifique la cantidad de recursos (elasticidad horizontal) así como las características de los mismos (elasticidad vertical). Por último la plataforma debe proporcionar interfaces tanto a nivel de usuario, mediante aplicaciones de comandos o interfaces gráficas, como a nivel programático para que capas de mayor nivel puedan hacer uso de la funcionalidad mediante un API. La tesis pretende tanto avanzar en las especificaciones y arquitecturas software como desarrollar y testear un prototipo. / Caballer Fernández, M. (2014). Gestión de infraestructuras virtuales configuradas dinámicamente [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/37376 / Premios Extraordinarios de tesis doctorales

Uno de los problemas más importantes en los sistemas de realidad virtual es la diversidad de los dispositivos visuales y de interacción que existen en la actualidad. Junto a esto, la heterogeneidad de los motores gráficos, los motores físicos y los motores de inteligencia artificial, propicia que no exista un modelo que aúne todos estos aspectos de una forma integral y coherente. Con el objetivo de unificar toda esta diversidad, presentamos un modelo formal que afronta de forma integral el problema de la diversidad en los sistemas de realidad virtual, así como la definición de los módulos principales que los constituyen. El modelo propuesto se basa en la definición de varias gramáticas que integra su actividad, su visualización y su interacción con el usuario. La descripción de un mundo se presenta como una cadena de un lenguaje L(M) que representa una secuencia ordenada de agentes que aceptan eventos y que definen la actividad del sistema. Por otro lado, la visualización del estado actual del sistema se traduce en otra cadena del lenguaje de visualización L(V) y que está compuesta de primitivas y transformaciones. Los conceptos de primitiva y transformación son mucho más amplios de lo que es habitual en estos sistemas. Las primitivas no son simples primitivas de dibujo sino acciones que se deben ejecutar en un determinado sistema de representación que es definida mediante otro lenguaje L(G) y que representa las acciones ordenadas en un determinado dispositivo visual o no. Las transformaciones, por otro lado, modifican las primitivas, dependiendo de su naturaleza. Los agentes desarrollan una o varias actividades en el mundo virtual, se visualizan mediante primitivas y transformaciones, y usan eventos que también se definen en sentido amplio. El modelo presentado tiene como virtud la separación de la actividad del sistema de los dispositivos visuales y de interacción concretos que lo componen. Esto supone varias ventajas: los dispositivos pueden ser sustituidos por otros dispositivos o por simulaciones de estos, los elementos del sistema pueden ser reutilizados, y la representación gráfica puede ser diferente dependiendo del dispositivo visual. En definitiva, se ha pretendido diseñar un sistema integral, adaptativo, reutilizable y genérico. Por último, se presentan varios casos prácticos que permiten concretar cómo se utiliza el modelo propuesto.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-18T19:29:53Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T01:29:38Z : No. of bitstreams: 1 139618.pdf: 4839469 bytes, checksum: b49ae7ec97f4cb807afc205978899bdc (MD5)

Este informe resume los hallazgos de varios estudios sobre la repercusión de costumbres alimenticias inadecuadas, particularmente las dietas estrictas, en los niveles de agua y músculo en el cuerpo, el problema social relevante es la incidencia elevada de obesidad y sobrepeso en la comunidad peruana, incluyendo a los individuos entre 18 y 45 años. Los estudios revelan que cuando las personas abandonan las restricciones dietéticas, sus hábitos alimenticios cambian y el cuerpo lo compensa utilizando grasas para sustentarse (Hernández & Vargas, 2022). La incidencia de obesidad y sobrepeso es una preocupación mundial que ha llevado a un crecimiento de la prevalencia de morbilidades como diabetes, afecciones cardiovasculares e insuficiencia renal, particularmente en Perú donde el 70% de la población se encuentra en esta categoría (Hernández & Vargas, 2022). Al examinar los puntos débiles de los usuarios, el informe identifica las horas de las comidas (desayuno, almuerzo y cena) como las fuentes más importantes de frustración debido a la falta de opciones nutritivas. A pesar de reconocer los riesgos para la salud asociados con la elección de alimentos poco saludables, los usuarios a menudo optan por la conveniencia sobre la nutrición. La propuesta consiste en el desarrollo de una aplicación móvil que utiliza machine learning para detectar y analizar automáticamente los platos de comida a partir de fotografías. Esta innovadora solución simplifica el proceso de seguimiento de la dieta y proporciona una experiencia de usuario más fluida en comparación con las aplicaciones de la competencia que requieren entrada manual de alimentos. El modelo de negocio está diseñado para cubrir los requerimientos del público objetivo que tienen predominantemente entre 18 y 45 años y buscan cambiar sus hábitos alimenticios diarios. La aplicación está destinada a servir como una herramienta útil para ayudar a los usuarios a alcanzar sus objetivos deseados, este aplicativo es innovador y disruptivo porque combina tecnologías de vanguardia, experiencias de usuario simplificadas, personalización y un enfoque proactivo en salud preventiva, ofreciendo un recurso valioso para ayudar a las personas a mejorar sus dietas y estilos de vida. El modelo de negocio de un aplicativo enfocado en mejorar la dieta y llevar un control riguroso del régimen alimenticio tendría un potencial de crecimiento exponencial en el Perú. Esto se debe a la combinación del aumento en el uso de aplicaciones móviles y la prevalencia creciente de obesidad y sobrepeso en el país. Como menciona Soto (2020), utilizar aplicativos móviles ha experimentado un alza notable en Perú, lo que indica una gran adopción de estas herramientas tecnológicas en múltiples rubros, incluido el sector salud. Por otro lado, la obesidad y el sobrepeso son considerados actualmente como problemas de salud pública en el Perú, como lo evidencia el crecimiento en la incidencia de estas condiciones en la comunidad (INEI, 2020). El informe señala que el proyecto tiene un valor económico significativo con un VAN de S/ 3.980.520,22 soles, teniendo en cuenta una tasa de descuento del 10% y una TIR de 281,65% a cinco años. El proyecto también tiene un valor social importante, ya que promueve estilos de vida saludables y una producción y consumo responsables, al mismo tiempo que impacta positivamente en el medio ambiente. El informe concluye con un VANS de S/4,258,764.47 Soles luego de analizar los beneficios y costos sociales del proyecto. / This report summarizes the findings of various studies on the impact of inappropriate eating habits, particularly strict diets, on the levels of water and muscle in the body, the relevant social problem is the high incidence of obesity and overweight in the Peruvian community, including to individuals between the ages of 18 and 45. Studies show that when people come off dietary restrictions, their eating habits change and the body compensates by using fats to sustain itself. The incidence of obesity and overweight is a global concern that has led to a growth in the prevalence of morbidities such as diabetes, cardiovascular conditions, and kidney failure, particularly in Peru where 70% of the population falls into this category. By examining user pain points, the report identifies meal times (breakfast, lunch, and dinner) as the biggest sources of frustration due to a lack of nutritious options. Despite acknowledging the health risks associated with unhealthy food choices, users often opt for convenience over nutrition. The proposal consists of the development of a mobile application that uses machine learning to automatically detect and analyze food dishes from photographs. This innovative solution simplifies the diet tracking process and provides a smoother user experience compared to competing apps that require manual food entry. The business model is designed to meet the requirements of the target audience that is predominantly between 18 and 45 years old and seeks to change their daily eating habits. The application is intended to serve as a useful tool to help users achieve their desired goals, this application is innovative and disruptive because it combines cutting-edge technologies, simplified user experiences, personalization and a proactive approach in preventive health, offering a resource valuable in helping people improve their diets and lifestyles. The business model of an application focused on improving the diet and rigorously controlling the diet would have exponential growth potential in Peru. This is due to the combination of the increase in the use of mobile applications and the increasing prevalence of obesity and overweight in the country. As Soto (2020) mentions, using mobile applications has experienced a notable rise in Peru, which indicates a great adoption of these technological tools in multiple areas, including the health sector. On the other hand, obesity and overweight are currently considered public health problems in Peru, as evidenced by the growth in the incidence of these conditions in the community (INEI, 2020). The report indicates that the project has a significant economic value with a NPV of S/ 3,980,520.22 soles, taking into account a discount rate of 10% and an IRR of 281.65% over five years. The project also has an important social value, as it promotes healthy lifestyles and responsible production and consumption, while positively impacting the environment. The report concludes with a VANS of S/4,258,764.47 Soles after analyzing the benefits and social costs of the project.