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.

Se caracterizó petrográfica y geoquímicamente las muestras de rocas asignadas al Complejo Duque de York (CDY) y Complejo Denaro (CD). La asignación ha sido hecha en base a características texturales, litológicas, relaciones de contacto y deformación de las rocas que allí se presentan; pero no se habían hecho estudios petrográficos y geoquímicos para confirmar tales asignaciones. El CDY y el CD forman parte de los Complejos Acrecionarios Costeros. El CDY es una sucesión metasedimentaria que aflora en el margen occidental de la Patagonia con una extensión latitudinal de más de 400 km desde isla Mornington hasta isla Desolación. Está constituído por sucesiones turbidíticas con la presencia de lentes tectónicos de chert. El CD está formado por una sucesión que de base a techo incluye basaltos, 3 niveles de chert y calcarenitas. Asimismo en la Península Antártica afloran rocas consistentes en metaturbiditas similares a las del CDY en el bajo grado metamórfico y en edad de depósito, ubicándose en el rango entre el Pérmico Temprano y el Jurásico Temprano. Las muestras analizadas incluyen areniscas, argilitas y chert que cubren latitudinalmente casi toda el área de la Patagonia donde afloran el CDY y CD. Para las dos primeras litologías se determinó fuente y régimen tectónico de la cuenca de depósito y para el tercero su ambiente deposicional. En total se realizaron análisis químicos a 36 muestras de los 3 tipos litológicos nombrados. Las características petrográficas de las areniscas y argilitas estudiadas aquí se asocian a una proveniencia que es congruente con sedimentos generados a partir de la erosión de raíces plutónicas de un arco magmático ubicado en un margen continental. En cuanto a la geoquímica de estas rocas estas evidenciarían una fuente ígnea común, de composición intermedia a ácida y depósito en una cuenca en un margen continental activo. Se pudo establecer que hay muestras de chert de los tres tipos de ambientes distinguibles es decir ridge, pelágico y margen continental. Esto es evidencia de la presencia de un margen continental activo a lo largo de toda la Patagonia entre las latitudes donde aflora el CDY. Se compararon los resultados de este trabajo con los de estudios anteriores en rocas del CDY en la Patagonia y del Grupo Península Trinidad de la Península Antártica confirmándose las similitudes reportadas en trabajos anteriores.

Betazeta Networks S.A. es una empresa dedicada a la publicación de información mediante una red de blogs de diversas temáticas. A corto plazo, la empresa necesita visualizar cómo se distribuye el contenido actual para tomar decisiones estratégicas respecto al mercado que enmarca los contenidos que publican. En el mediano plazo, la empresa emitirá contenido generado por los usuarios, el cual debe ser revisado para mantener la calidad de cada Blog. Para esto se requiere contar con métodos automáticos de clasificación para dichos mensajes, los cuales serán revisados por periodistas expertos en diferentes áreas. El trabajo realizado en esta memoria constituye un prototipo que apunta a resolver la problemática de la empresa. Para ello se construye una plataforma de procesamiento de texto, denominada Tanalyzer, que permite manejar grandes volúmenes de información, visualizar, clasificar y hacer predicciones sobre las temáticas de nuevos documentos utilizando text-mining, sub área de la minería de datos especializada en texto, implementando el modelo de tópicos generativo Latent Dirichlet Allocation. Las pruebas realizadas al software son satisfactorias. Sobre un modelo que maneja 8 temáticas, cada una asociada a uno de los 8 blogs de la empresa que se encuentran bajo estudio, es posible predecir documentos con un 80% de precision y 64% de recall, lo que demuestra la viabilidad de la aplicación. Actualmente, la solución permite escalar tanto en velocidad como en costos. Con un tiempo de ejecución de 2.5 horas para 300.000 documentos, permite entrenar en ese tiempo un mes de publicaciones a una tasa de 1250 artículos enviados diariamente repartidos en 8 blogs, frente a la tasa actual de publicación de 12.5 artículos diarios por blog. Entrenar 10 veces un modelo de esta magnitud representa para la empresa un costo de $USD 17 utilizando los servicios de Amazon Cloud Computing. Si bien los resultados obtenidos son positivos y la memoria cumple sus objetivos a cabailidad, existen múltiples mejoras realizables a la plataforma que constituyen el trabajo futuro de esta investigación y que deben ser consideradas por la empresa para llevar a cabo una implementación en producción. Por un lado es posible mejorar aún más los tiempos de ejecución y por otra parte se debe solucionar la disminución de recall cuando la cantidad de temáticas y la especificidad de éstas aumenta.

En el presente trabajo se estudió y rediseñó una implementación existente del algoritmo Filter-SDP, el cual resuelve problemas de programación semidefinida no lineal de la forma: donde f : Rn → R, h : Rn → Rp y G : Rn → Sm son funciones de clase C2 y Sm denota el espacio lineal de las matrices simétricas de m×m dotado del producto interno A·B = . El algoritmo resuelve en cada iteración una aproximación local representada por un problema de programación semidefinida lineal, y adicionalmente se utiliza un esquema de penalización multi-objetivo, en el cual se minimiza la función objetivo y una función de mérito utilizando un filtro. Se estudió la introducción de cálculo paralelo en partes específicas del algoritmo, con el objetivo de disminuir el tiempo de ejecución. Se reimplementó el algoritmo utilizando el lenguaje C y la librería de cálculo paralelo MPI. Esa nueva implementación se comparó con un desarrollo ya existente, realizado sobre la plataforma MATLAB, y se midió su speedup en los problemas más pesados de una batería de tests escogida. Como apoyo al desarrollo del algoritmo, se diseñaron nuevas fases de restauración sobre la plataforma MATLAB, con el objetivo de mejorar la calidad de las soluciones obtenidas. Se diseñaron 4 nuevos métodos para la fase de restauración del algoritmo, cuyas principales áreas de influencia son la restauración inexacta, el diseño de controladores retroalimentados de salida estática y el posicionamiento de polos. Dentro de los resultados obtenidos, se logró visualizar las ventajas de la nueva implementación con respecto al desarrollo ya existente, así como demostrar el beneficio que se obtiene en el speedup para problemas pesados. También se realizó una comparación entre los métodos diseñados para la fase de restauración, con la cual se llegó a conclusiones que pueden abrir nuevas áreas de investigación y trabajo a futuro. Finalmente, se aprendió a utilizar una herramienta de álgebra lineal que funciona sobre ambientes de cálculo paralelo, ScaLAPACK, y se perfeccionó el proceso de desarrollo de software que ya se tenía sobre este tipo de plataformas.

Desarrolla un navegador de realidad aumentada para aplicaciones basadas en la visión utilizando marcadores, leyendo una escena descrita bajo el estándar ARML2.0. La implementación se evalúa utilizando las pruebas definidas dentro del estándar ARML 2.0. Finalmente se realiza un caso de estudio donde puede verse la aplicación del navegador en un folleto aumentado. / Tesis

Propone el desarrollo de un E-Health Cloud describiendo el análisis de procesos, identificación de requerimientos de software, diseño de wireframes, comunicación de componentes, infraestructura, estrategia de pruebas y despliegue en la nube. El E-Health Cloud propuesto permite mejorar el proceso de diagnóstico, interoperabilidad entre áreas médicas y oportunidad de consulta en historias clínicas usando una arquitectura de software basada en microservicios. Para la gestión del presente trabajo se aplica el marco de trabajo Scrum, con el objetivo de construir un software esperado por los usuarios de la clínica. / Tesis

Manifiesta que el modelo de Markowitz calcula cuantitativamente la combinación óptima de activos que forma el portafolio de riesgo mínimo dado un retorno esperado (ganancia) predeterminado. La inclusión de costos de transacción es una parte importante del proceso de mantenimiento del portafolio óptimo, ante las restricciones que se dan en la práctica. En este trabajo se extendió el problema de selección de portafolio para incluir costos de transacción proporcionales al valor de los activos (acciones de bolsa), para el caso particular en que el retorno se obtiene del portafolio de pesos iguales. Se usaron los conjuntos de herramientas de alimentación de datos, econométricas y financieras de MATLAB® para desarrollar el programa que automatiza la optimización de portafolio y la asignación de activos, presentado con una interfaz gráfica desarrollada en GUIDE. El análisis de los resultados obtenidos con el programa antes mencionado confirmó que ignorar los costos de transacción resulta en portafolios ineficientes y que un control de estos costos resultará en un impacto positivo en el desempeño del portafolio. Además, la solución o frontera eficiente obtenida cuando se incluyeron los costos de transacción siempre está por debajo de su equivalente sin restricciones, lo que representa menor retorno esperado de la inversión. / Tesis

Manifiesta que el objetivo la importancia de la diversificación del portafolio, la cual los riesgos pueden minimizarse si el importe total que se quiere invertir se divide entre un conjunto de acciones. En el lenguaje coloquial se dice que no se debe poner todos los huevos en una sola canasta. La idea es que el inversionista que compra acciones de una sola empresa; en caso esta empresa quiebre o se devalúe; el inversionista lo perderá todo, su riesgo habrá aumentado y su rentabilidad habrá disminuido. En el caso de que el inversionista compre acciones de diferentes empresas, su rentabilidad dependerá de la rentabilidad de las demás acciones y el riesgo sería mínimo. Esto indica que los resultados son más favorables al invertir en un conjunto de acciones que invirtiendo en uno solo. Por ello, para su mejor representación utilizaremos el Modelo de Markowitz donde se optimizará el portafolio; a fin, de analizar el porcentaje que se le asignará a cada acción perteneciente al portafolio. Por otro lado, se tiene el Modelo de Valoración de Activos Financieros (CAPM), este modelo resuelve problemas financieros; el cual propone informar al máximo al inversor sobre el riesgo y la rentabilidad proponiendo determinar el precio de equilibrio de los activos. Se basa en la medida del riesgo sistemático de la rentabilidad esperada y del tipo de interés. / Trabajo de suficiencia profesional