Local: Sala Multiuso CIC
Horário: 14h
Palestrante: Leonardo Henrique Moreira (mestrando)
Título: Improving Multiagent Planning with Unsolvability and Independent Plan Detection
Resumo: Multi-Agent Planning (MAP) is a challenging issue in the field of Artificial Intelligence that has gained increasing attention in the recent years. Because of the computational complexity and demanding interaction among agents, the high execution times and the volume of communication are open problems. To address these problems, we propose a Lightweight Coordination Multi-Agent Planning (LCMAP) approach that includes modules to compute unsolvability and independent plans detection before the actual planning phase. The unsolvability detection is employed to avoid searching for planning tasks without solution, whereas the independent plans detection identifies goals that can be carried out independently by certain agents. The latter minimizes the interaction among agents, resulting in a low communication load and lightweight coordination during the actual planning phase. With the proposed modules, LCMAP can perform the coordination process and transform the MAP into multiple single-agent planning problems. The experimental results, initially focused on loosely coupled domains, show that LCMAP is up to 1.48 times faster than the Distributed Cooperative Multi-Agent Planning (FMAP) approach. Compared to the FMAP performance, LCMAP attained a reduction of up to 777 times in the number of messages exchanged among agents during the planning process. In addition, using the benchmarks available at Unsolvability International Competition, LCMAP detected four instances as unsolvable problems. Therefore, the LCMAP unsolvability module proved its efficiency considering different number of actions and predicates.
Horário: 14h30
Palestrante: Daniel Sundfeld (doutorando)
Título: Cuda-Sankoff-BP: Using GPU to Accelerate the Pairwise Structural RNA Alignment using base-pair probabilities
Resumo: Neste trabalho nós apresentamos e avaliamos uma nova solução "CUDA-Sankoff-BP", uma solução ótima para a obtenção do alinhamento estrutural de RNA, utilizando o esquema de base-pair probabilities para obtenção de resultados mais relevantes biologicamente.
Horário: 15h
Palestrante: Ariane Alves Almeida (doutoranda)
Título: Formalização de equivalência entre técnicas para análise de terminação
Resumo: Diversas técnicas são desenvolvidas para verificar terminação de sistemas de reescrita e programas em geral, por ser uma propriedade essencial para a análise de correção de programas. Por ser um problema indecidível, são propostas diversas abordagens de semi-decisão que podem apresentar resultados distintos. No entanto, independentemente das diferentes noções para terminação utilizadas, exista sempre alguma medida decrescente segundo a execução de um programa terminante. Relacionar diferentes noções de terminação e formalizar a equivalência entre elas é uma maneira de se mostrar que técnicas diferentes podem ser utilizadas para análise de terminação, podendo-se então utilizar qualquer técnica que seja mais simples para cada caso e ainda assim garantir que em todas as técnicas tal resultado pode ser atingido.
Profa Célia Ghedini Ralha (Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.)
Coordenadora dos Seminários de Pós-Graduação em Informática 2017-2