DCC - UFMG
+55 31 3409 5860
ciia-saude@dcc.ufmg.br

André Grahl Pereira


André Grahl Pereira

Universidade Federal do Rio Grande do Sul
Departamento de Informática Teórica

Pesquisador associado





Informações resumidas do Currículo Lattes


Currículo Lattes atualizado em 06/04/2021

Nome em citações bibliográficas: PEREIRA, A. G.;Pereira, Andre Grahl;PEREIRA, ANDRÉ GRAHL;PEREIRA, ANDRÉ G.;PEREIRA, ANDRE G.


Formação acadêmica

Doutorado em Computação na Universidade Federal do Rio Grande do Sul em 2016
Graduado em Ciência da Computação na Universidade Federal de Santa Maria em 2011


Projetos de pesquisa em andamento

2018 a AtualFunções Heurísticas para Planejamento Clássico
O presente projeto tem por objetivo desenvolver novos algoritmos para solucionar tarefas de planejamento. Tarefas de planejamento correspondem a diversas aplicações reais de áreas como: verificação de software, biologia computacional, exploração espacial, controle de aeroportos e análise forense. O objetivo geral desse projeto consiste em propor novas funções heurísticas e regras de desempate para resolver tarefas de planejamento. Atualmente, algoritmos de busca heurística são um dos métodos mais efetivos para resolver tarefas de planejamento, sendo funções heurísticas seu principal componente. Quanto mais informada é a função heurística, mais tarefas de planejamento são resolvidas. Entretanto, a maioria das funções heurísticas não aumenta sua qualidade conforme o aumento de tempo computacional disponibilizado. Em sua maioria também não usam adequadamente informações sobre a estrutura do domínio. Assim, esse projeto propõe desenvolver novas funções heurísticas que se tornam mais informadas e usam informações sobre a estrutura do domínio, além de empregar as soluções propostas em aplicações de clima espacial. As contribuições propostas nesse projeto possuem relevância prática e acadêmica. As contribuições são investigadas e, na maioria dos casos, testadas de forma independente de domínio tornando direta sua relevância para aplicações. Com essas contribuições iremos avançar o atual estado da arte na resolução de tarefas de planejamento.
Integrantes: André Grahl Pereira (coordenador), Petry, Adriano, Luciana Salete Buriol, Marcus Ritt, Levi Henrique Santana de Lelis, Augusto Blaas Corrêa.

Projetos de desenvolvimento em andamento

Veja todos os projetos no Currículo Lattes

Últimas publicações

Artigos em periódicos

Domain-Dependent Heuristics and Tie-Breakers: Topics in Automated Planning
2018. REVISTA ELETRÔNICA DE INICIAÇÃO CIENTÍFICA.
An approximate nearest neighbors search algorithm for low-dimensional grid locations
2017. EARTH SCIENCE INFORMATICS (INTERNET).
Pull and PushPull are PSPACE-complete
2016. Theoretical Computer Science.
Optimal Sokoban solving using pattern databases with specific domain knowledge
2015. Artificial Intelligence (General Ed.).

Trabalhos completos em congressos

An LP-Based Approach for Goal Recognition as Planning
2021. AAAI Conference on Artificial Intelligence.
Sequencing Operator Counts with State-Space Search
2020. International Conference on Automated Planning and Scheduling.
Landmark-Enhanced Heuristics for Goal Recognition in Incomplete Domain Models
2019. International Conference on Automated Planning and Scheduling.
Procedural Generation of Initial States of Sokoban
2019. International Joint Conference on Artificial Intelligence.
Analyzing Tie-Breaking Strategies for the A* Algorithm
2018. TwentySeventh International Joint Conference on Artificial Intelligence {IJCAI18}.
Solving Moving-Blocks Problems
2017. Congresso da Sociedade Brasileira de Computação.
Improved Airport Ground Traffic Control with Domain-Dependent Heuristics
2016. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS).
Improved Heuristic and Tie-Breaking for Optimally Solving Sokoban
2016. International Joint Conference on Artificial Intelligence.

Resumos expandidos em congressos

Solving motion planning problems
2014. International Joint Conference on Artificial Intelligence School - Doctoral Consortium.
Image Generation and Visualization System for Ionosphere Dynamics
2011. International Congress of the Brazilian Geophysical Society.
Parser SQL para Análise de Custo de Operações em Bancos de Dados
2010. Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.
Uma Ferramenta Didática para Verificação de Serialização por Timestamp em Operações de Banco de Dados
2010. XXIV Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.
Beta Redutor Lambda em Aplicação Gráfica Interativa
2010. Congresso Regional de Iniciação Científica e Tecnológica em Engenharia.

Resumos em congressos

Operational Ionospheric Dynamics Prediction For South America
2012. International Conference on Integral Methods in Science and Engineering.
Operational Ionospheric Dynamics Prediction in Brazilian Space Weather Program
2012. International Symposium on Equatorial Aeronomy.
Assimilação de Dados Utilizando Neuroevolução ao Modelo do Atrator de Lorenz
2011. Simpósio de Iniciação Cientifica do Centro Regional Sul de Pesquisas Espaciais (SICCRS).
Aplicação de Técnicas Avançadas de Programação, Engenharia de Software e Padrões em Software Científico para Análise e Visualização de Dados Geofísicos
2011. 63a Reunião Anual da SBPC.
Comparação entre o Método de Cressman e BLUE para Assimilação de Dados no Atrator de Lorenz
2011. 63a Reunião Anual da SBPC.

Veja todas as publicações no Currículo Lattes

Orientações em andamento

Mestrado

Rafael Vales Bettker. Solving Domain-Independent Black Box Planning with Machine Learning. Início: 2021. Universidade Federal do Rio Grande do Sul (Orientador principal)
Daniel Matheus Doebber. Solving Search Problems with Heuristic Functions Based on Machine Learning. Início: 2020. Universidade Federal do Rio Grande do Sul (Orientador principal)
Luisa Rocha Azevedo Santos. Generation of Hard Initial States for Classical Planning Problems. Início: 2019. Universidade Federal do Rio Grande do Sul (Orientador principal)

Doutorado

Veja todas as orientações no Currículo Lattes