Apertura del MARATÓN

El Director del ICIC, el Dr. Carlos Iván Chesñevar, da por iniciado el evento, acompañado por el Dr. Guillermo Simari.


Representación de conocimiento y razonamiento en sistemas argumentativos: soporte y derrota

El objetivo general de esta investigación concierne el estudio y formalización de herramientas de representación de conocimiento y razonamiento en sistemas argumentativos donde interactúan las nociones de soporte y derrota entre argumentos. Este estudio involucra tanto sistemas de argumentación abstracta como sistemas argumentativos estructurados o basados en reglas. La importancia de esta investigación radica en que la creación de formalismos argumentativos que contemplan el uso de soporte contribuirá a expandir las capacidades representacionales de este tipo de sistemas, significando un aporte a las Ciencias de la Computación.


Uso de Realidad Aumentada en exteriores y Visualización en Contexto. Caso de uso: trabajo de campo en las Ciencias Geológicas

La Realidad Amentada (RA) puede integrarse con la Visualización para constituir visualizaciones con RA que extienden y enriquecen el área de la Visualización tradicional, ampliando su potencial. Sin embargo, su éxito depende de cuán bien puedan comprenderse las escenas generadas e interactuar en ellas. El carácter complejo de determinados entornos de RA requiere de técnicas de visualización que no aíslen las estructuras ni generen presentaciones ambiguas. Existen diversas alternativas tanto para integrar espacialmente los elementos virtuales a las escenas del mundo real como para permitir la manipulación de los objetos virtuales en los ambientes de RA. Mediante la RA, ya sea en entornos exteriores con lo que se conoce como RA móvil o en interiores con la utilización de computadoras de escritorio, se puede contribuir al desarrollo de aplicaciones que integren el mundo real con el mundo virtual generando soluciones en el contexto de la Geología. Si bien estas relaciones constituyen un gran desafío, las interacciones que se pueden lograr con la visualización de datos en tiempo real pueden contribuir efectivamente a esta disciplina, aportando soluciones y resultados en base al entendimiento de los datos y a sus relaciones, siendo además de interés tanto para la comunidad geológica como a otras comunidades científicas.


Caracterización de extensiones conservativas en ontologías potencialmente inconsistentes interpretadas en argumentación rebatible

El objetivo general de este plan de trabajo involucra investigar mejoras en las capacidades de representación de conocimiento y razonamiento de agentes inteligentes interactuando en el contexto del acceso a recursos en la Web Semántica. El conjunto de objetivos particulares de este plan de trabajo comprende la investigación de las extensiones conservativas en ontologías expresadas en Lógicas Descriptivas ( Description Logics) cuando las mismas son interpretadas en Description Logic Programming. Este conjunto integra los objetivos particulares de: (i) estudiar los límites de cuándo este problema se puede decidir; (ii) bajo qué condiciones se puede realizar (en relación a los requerimientos sobre el conjunto de información considerada); (iii) cuál es la interacción entre los argumentos que surgen de los programas rebatibles que provienen de la interpretación de las ontologías involucradas; (iv) determinar las propiedades lógicas del acercamiento; (iv) determinar las posibilidades de una implementación computacional con la intención de mejorar el desarrollo de las tareas mencionadas previamente, en relación a la ingeniería de conocimiento de ontologías OWL-DL1 en el contexto de la iniciativa de la Web Semántica.


Desarrollo de mecanismos de representación y razonamiento con preferencias bajo incertidumbre con aplicaciones a Big Data

El estudio de la representación y el razonamiento acerca de preferencias se ha llevado a cabo en áreas tan dispares como filosofía, lógica matemática, y economía, entre otras. Esta propuesta se relaciona con la perspectiva adoptada en BD, donde las preferencias se establecen entre tuplas y en general especifican cómo deben ordenarse los resultados de una consulta. Paralelamente, también se ha investigado en la intersección entre BD y Representación de Conocimiento y Razonamiento, tales como en los programas lógicos de preferencia, la incorporación de preferencias en formalismos como programación con la semántica de Answer Sets, y mecanismos de respuesta de consultas top-k en lenguajes ontológicos. Aunque existen algunos trabajos que representan una aproximación inicial a problemas específicos, no se tiene conocimiento de trabajos que combinen razonamiento probabilístico con representaciones lógicas como las propuestas aquí para razonar acerca de preferencias. Un proceso de razonamiento que aún no ha sido aplicado en el razonamiento acerca de preferencias es el de Argumentación. El proceso de argumentación refleja una forma de razonamiento donde, tanto la conclusión como la forma de llegar a ella pueden ser cuestionadas y que permite razonar con información incompleta e incierta, y permite manejar inconsistencias en los sistemas basados en conocimiento, tomando sistemas concretos que han sido desarrollados en la última década. El objetivo general de este plan de trabajo es investigar los aspectos computacionales del razonamiento acerca de preferencias bajo la existencia de incertidumbre, con un enfoque particular en la tratabilidad computacional para poder aplicar los resultados a grandes datos.


Confianza y reputación de agentes en sistemas Multi-agente para entornos dinámicos

La investigación que se propone realizar se enfoca en el área de confianza y reputación de agentes en sistemas multi-agente. Su objetivo general es el análisis, desarrollo y formalización de la dinámica de la confianza y reputación de los agentes, a partir de la interacción con sus pares en el marco de un sistema multi-agente (SMA). Esto involucra el desarrollo y formalización de técnicas de representación y actualización del grado de confianza y de reputación de un agente, y también, la integración de estas técnicas con mecanismos de razonamiento automático y dinámica de creencias. Para lograr estos objetivos se planea el estudio y desarrollo de formalismos para aplicaciones de naturaleza dinámica y distribuida, que combinen mecanismos de confianza, dinámica de creencias y argumentación. Esto permitirá mejorar las capacidades de razonamiento y representación de conocimiento de agentes de software. Para ello, se estudiarán las relaciones entre estas áreas y se aplicarán a sistemas multi-agente, donde diferentes agentes informantes proveen información que puede ser incompleta y/o contradictoria. Las investigaciones en el área de confianza y reputación se orientan principalmente a desarrollar mecanismos computacionales para medir la confianza y reputación que mantienen los agentes integrantes de un SMA. Si bien el interés en esta temática es reciente y está fuertemente impulsado por la aparición de complejos sistemas de información social, su importancia general para las aplicaciones de SMA es creciente, siendo un ejemplo significativo el comercio electrónico. Una característica sobresaliente de estos sistemas es la dinámica que debe existir en la confianza y/o reputación asignadas a un agente. Por ejemplo, la reputación de un agente que no cumple con sus compromisos asumidos debería verse decrementada. Además, este tema resulta de sumo interés en todos aquellos problemas donde los agentes dependan de la valoración de la información brindada por otros agentes.


Reconstrucción 3D en tiempo real mediante dispositivos móviles

Actualmente hay una creciente demanda para la generación sencilla y confiable de modelos 3D correspondientes a objetos del mundo real; la generación de este tipo de modelos ha sido uno de los objetivos a largo plazo de la visión computacional. El objetivo del tema de investigación es contribuir al desarrollo de tecnología de base para la generación de modelos 3D en tiempo real sobre dispositivos móviles y, en particular, obtener un sistema automático e interactivo que permita la generación de modelos 3D a escala de objetos del mundo real, llevando a cabo todo el proceso en dicho dispositivo.


Recuperación de la información con algoritmos inteligentes en redes P2P

Trabajo en diseño, desarrollo y verificación de algortimos inteligentes para el ruteo eficiente de consultas en sistemas peer-to-peer(P2P). También me interesan distintas herramientas para la recuperación de información y aspectos empíricos de la argumentación.


Algoritmos de Aprendizaje Automático Enriquecidos con Conceptos de Econometría

El objetivo del plan de trabajo es familiarizarse con técnicas de aprendizaje automatizado del área de computación y con herramientas de análisis de causalidad del área de econometría. Luego de esta etapa se plantea como objetivo proponer una nueva herramienta de aprendizaje automatizado que combine ideas de ambas áreas para predecir las posibles salidas de una variable económica. Para la entrada del algoritmo se pretende realizar una etapa de extracción y análisis automático de múltiples fuentes de información: portales de noticias, páginas con indicadores económicos, etc. Se propone también la incorporación de múltiples estrategias para filtrar y preprocesar los datos de entrada, de forma de incorporar la mayor información posible para la predicción y de esta manera facilitarle el trabajo a la herramienta (selección y generación automática de atributos). Durante el transcurso del periodo de la beca se analizarán distintas estrategias del estado del arte para cada etapa, con el objetivo de entender las mejores herramientas para el dominio trabajado, y en particular para estar en condiciones de proponer mejoras en los casos en los que fuere posible. Como ejemplo de métodos considerados podemos mencionar tf-idf, LSA, topic modelling, sentiment analysis, granger causality y bayesian networks, entre otras.


Herramientas para el análisis de grandes volúmenes de datos en iniciativas de participación ciudadana

El objetivo general de esta tesis es definir un modelo de infraestructura de software que incluya una caja de herramientas computacionales para organizaciones de gobierno, que permitan la búsqueda, procesamiento y visualización de información relacionada con opiniones, quejas y reclamos de ciudadanos volcadas en diferentes plataformas, como por ejemplo, redes sociales y plataformas propietarias de gobierno, y que sea relacionada con problemas de desarrollo sostenible de entornos urbanos.


Charla ¿Qué es hacer una Tesis en el DCIC / ICIC?

Charla breve qué cosas tener en cuenta al hacer un doctorado en el DCIC / ICIC. Papel del director y co-director. Problemas potenciales que surgen durante una beca.


Toma de decisiones individuales y colectivas para sistemas multi-agente en entornos distribuidos

El plan de investigación propuesto está enfocado en mejorar las capacidades para la toma de decisiones individuales y colectivas de agentes en sistemas multi-agente. Dentro de este enfoque, se planea estudiar y desarrollar como mejorar en los agentes los siguientes aspectos: la capacidad de representación de conocimiento individual y colectivo, la capacidad de realizar inferencias, la capacidad de interacción e intercambio de información, y la capacidad de integrar esos elementos para tomar decisiones tanto individuales como colectivas. El aporte de esta investigación está orientado al desarrollo de formalismos y mecanismos para la toma de decisiones, por parte de agentes inteligentes deliberativos, en el contexto de un sistema multi-agente. Por lo tanto, se buscará aplicar los resultados de la investigación al desarrollo de agentes (tanto de software como robots físicos) que se desenvuelvan en ambientes distribuidos y dinámicos, y en donde los agentes puedan ejecutarse en paralelo. En particular, esta investigación busca mejorar la capacidad de los agentes para razonar cuando se intenta tomar decisiones al resolver problemas de manera conjunta; y además, mejorar la capacidad de aprovechar, de la mejor manera posible, la información que reciben de los demás agentes con los cuales interactúa al tomar decisiones.


Tecnología de base para la generación de visualizaciones interactivas 3D de RA en exteriores

El objetivo es contribuir al desarrollo de tecnología de base para la generación de visualizaciones interactivas 3D de RA en exteriores en tiempo real sobre dispositivos móviles. Se pretende integrar, en una vista unificada, un ambiente real de campo con información virtual registrada sobre el mismo. La información a superponer consiste en datos a nivel de sub-superficie. Así se generará una visualización unificada de información geológica geo-referenciada que se halla en el subsuelo, superpuesta al ambiente real en el que un geólogo desarrolla sus tareas de campo.


Conocimiento Compartido y Razonamiento Argumentativo Colaborativo para Entornos de Múltiples Agentes en Ambientes Distribuidos

En un sistema multi-agente (SMA) los distintos agentes pueden percibir o inferir información diferente (y potencialmente contradictoria e incompleta) sobre el entorno en el que se encuentran. El razonamiento colaborativo consiste en que los agentes puedan combinar entre todos dicha información para realizar nuevas inferencias difíciles de realizar individualmente, con el objetivo de resolver colaborativamente problemas complejos. Unir las bases de conocimiento de todos los agentes involucrados resulta impracticable por eficiencia, consistencia y privacidad. El tema propuesto se enfoca en mejorar las capacidades de razonamiento, representación de conocimiento, e interacción de agentes que participan en SMA, los cuales colaboran y comparten su conocimiento en entornos dinámicos. En particular, se busca explotar los beneficios de la argumentación y DeLP (Defeasible Logic Programming) para equipar a los agentes de un SMA con mecanismos que les permitan razonar exitosamente de manera conjunta y colaborativa en diferentes contextos, aprovechando la información que reciben de sus pares.


Desarrollo de formalismos de argumentación probabilística y operadores de revisión de creencias con aplicaciones a ciberseguridad y ciberguerra

Esta propuesta tiene como objetivo general investigar los aspectos de representación de conocimiento y algorítmicos asociados con formalismos que combinan sistemas argumentativos, razonamiento probabilístico, y operaciones de revisión de creencias. El enfoque particular será en su aplicación en entornos relacionados con ciberseguridad y ciberguerra; por lo tanto, la tratabilidad computacional es un aspecto central en la propuesta. Uno de los problemas más difíciles de resolver en estos entornos del mundo real es el llamado “problema de la atribución”: dado un acto cometido en el ciberespacio (como un acceso no autorizado a una base de datos), se busca encontrar la parte responsable de llevarlo a cabo. Su dificultad surge de muchos factores, pero uno de los más importantes es que las partes responsables suelen dejar (adrede) pistas que engañan a los investigadores que trabajarán para descubrir su responsabilidad. Otro factor importante es la necesidad de considerar múltiples fuentes de información posiblemente inconsistente entre sí para alcanzar una solución. Es entonces evidente que un sistema capaz de ayudar a un analista a resolver problemas de atribución disponga de la posibilidad de llevar a cabo operaciones de revisión de creencias. A su vez, un aspecto interesante de aplicar razonamiento argumentativo es que las soluciones obtenidas incluyen explicaciones de por qué se llegó a una conclusión dada. Los objetivos particulares de este Plan son: (a) Desarrollar herramientas novedosas que combinen formalismos de argumentación con modelos probabilísticos, con especial énfasis en la capacidad para considerar múltiples fuentes de información que pueden contener elementos engañosos. Para ello será necesario el desarrollo de nuevos operadores de revisión de creencias no priorizada. El estudio teórico de estas herramientas y operadores incluirá el análisis de la complejidad computacional y los factores que influyen en ella, lo cual permitirá la identificación de aquellos formalismos que exhiban un buen balance entre expresividad y tratabilidad. (b) La evaluación experimental de las herramientas desarrolladas, con un enfoque particular tanto en su capacidad para representar datos que ocurren en escenarios reales como en su escalabilidad, es decir su capacidad para manejar grandes bases de conocimiento.


Diseño de técnicas de aprendizaje automático y análisis multivariado para la inferencia de redes biológicas jerárquicas a partir de datos de expresión génica

El objetivo de esta investigación es diseñar nuevas técnicas bioinformáticas que ayuden a descubrir cómo las conexiones y equilibrios entre los sistemas moleculares se establecen en la célula, y cómo estas asociaciones cambian en situaciones de enfermedad. El desarrollo de metodologías con estas características podría resultar de suma utilidad en la investigación de la Biología de Sistemas, dado que ayudaría a comprender como se ven afectadas las vías biológicas y/o genes de un organismo en presencia de distintos tipos de anomalías celulares. Se busca desarrollar y mejorar algoritmos y sistemas de software para asistir a biólogos en la reconstrucción de la estructura relacional existente entre las proteínas que regulan los distintos procesos. Al respecto, el análisis de expresión de genes mediante el modelado de redes de asociación permite distintos tipos de abstracción: a nivel de genes y a nivel de vías biológicas (“pathways”)


Métricas de inmersión para sistemas de Realidad Virtual

La Realidad Virtual (RV) es una aplicación de la tecnología computacional cuyo objetivo es generar representaciones visuales que simulan mundos reales o ficticios, en donde nuestros sentidos también son el canal de comunicación con los estímulos dentro del mundo virtual. En RV es clave lograr que el usuario tenga la sensación de estar inmerso en el mundo virtual. Un sistema de RV inmersivo reemplaza la información sensorial del mundo real con estímulos sintéticos como imágenes 3D, sonido espacial, e interacciones táctiles. Se busca que los usuarios experimenten un mundo generado por computadora como si fuera real, produciendo una sensación de presencia en la mente del usuario. Hasta el momento, no existe una manera estandarizada de medir qué tan real o inmersivo es un sistema de RV dado. El objetivo general de esta tesis es la exploración de todos aquellos aspectos esenciales de cada uno de los sentidos con los que el usuario interactúa con la RV y la elaboración de métricas que permitan cuantificar el nivel de inmersión de cualquier sistema y aplicación de RV.