Levi Henrique Santana De Lelis

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• RAHMAN, H. ; EMIREDDY, T. R. ; TJHIA, K. ; PARHIZKAR, E. ; LELIS, LEVI H.S. . Synthesizing Libraries of Programs with Auxiliary Functions. Transactions on Machine Learning Research , v. 1, p. 1, 2024.

• SADMINE, Q. A. ; BAIER, H. ; LELIS, LEVI H.S. . Language Models Speed Up Local Search for Finding Programmatic Policies. Transactions on Machine Learning Research , v. 1, p. 1, 2024.

• AMEEN, SAQIB ; LELIS, LEVI H.S. . Program Synthesis with Best-First Bottom-Up Search. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH , v. 77, p. 1275-1310, 2023.

• MORAES, RUBENS O. ; NASCIMENTO, MARIO A. ; LELIS, LEVI H.S. . Asymmetric Action Abstractions for Planning in Real-Time Strategy Games. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH , v. 75, p. 1103-1137, 2022.

• SILVA, CLEYTON R. ; BOWLING, MICHAEL ; LELIS, LEVI H.S. . Teaching People by Justifying Tree Search Decisions: An Empirical Study in Curling. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH , v. 72, p. 1083-1102, 2021.

• ONTAÑÓN, SANTIAGO ; BARRIGA, NICOLAS A. ; SILVA, CLEYTON R. ; MORAES, RUBENS O. ; LELIS, LEVI H. S. . The First microRTS Artificial Intelligence Competition. AI MAGAZINE , v. 39, p. 75-83, 2018.

• SILVA, CLEYTON R. ; MORAES, RUBENS O. ; LELIS, LEVI H. S. ; GAL, KOBI . Strategy Generation for Multi-Unit Real-Time Games via Voting. IEEE Transactions on Games , v. 11, p. 426-435, 2018.

• LELIS, LEVI H. S. ; REIS, WILLIAN M. P. ; GAL, YAAKOV KOBI . Procedural Generation of Game Maps with Human-in-the-Loop Algorithms. IEEE Transactions on Games , v. 10, p. 271-280, 2017.

• LELIS, LEVI H.S. ; STERN, RONI ; JABBARI ARFAEE, SHAHAB ; ZILLES, SANDRA ; FELNER, ARIEL ; HOLTE, ROBERT C. . Predicting optimal solution costs with bidirectional stratified sampling in regular search spaces. ARTIFICIAL INTELLIGENCE , v. 230, p. 51-73, 2015.

• LELIS, LEVI H.S. ; STERN, R. ; Ariel Felner ; ZILLES, SANDRA ; HOLTE, ROBERT C. . Predicting optimal solution cost with conditional probabilities. Annals of Mathematics and Artificial Intelligence , v. 72, p. 267-295, 2014.

• LELIS, LEVI H.S. ; ZILLES, SANDRA ; HOLTE, ROBERT C. . Predicting the size of IDA*-s search tree. Artificial Intelligence (General Ed.) , v. 196, p. 53-76, 2013.

• LELIS, LEVI H.S. ; STERN, R. (Org.) . Proceedings, The Eighth International Symposium on Combinatorial Search (SoCS 2015). 1. ed. AAAI Press, 2015. v. 1. 268p .

• PENDURKAR, S. ; LELIS, LEVI H.S. ; STURTEVANT, N. R. ; SHARON, G. . Curriculum Generation for Learning Guiding Functions in State-Space Search Algorithms. In: International Symposium on Combinatorial Search (SoCS), 2024. Proceedings of the International Symposium on Combinatorial Search, 2024.

• MORAES, R. O. ; LELIS, LEVI H.S. . Searching for Programmatic Policies in Semantic Spaces. In: International Joint Conference on Artificial Intelligence, 2024. Proceedings of the International Joint Conference on Artificial Intelligence, 2024.

• CARVALHO, T. ; TJHIA, K. ; LELIS, LEVI H.S. . Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces. In: International Conference on Learning Representations (ICLR), 2024. Proceedings of the International Conference on Learning Representations, 2024.

• ALIKHASI, M. ; LELIS, LEVI H.S. . Unveiling Options with Neural Network Decomposition. In: International Conference on Learning Representations (ICLR), 2024. Proceedings of the International Conference on Learning Representations, 2024.

• ALEIXO, D. S. ; LELIS, LEVI H.S. . Show Me the Way! Bilevel Search for Synthesizing Programmatic Strategies. In: AAAI Conference on Artificial Intelligence, 2023. Proceedings of the AAAI Conference on Artificial Intelligence, 2023.

• ABDOLLAHI, F. ; AMEEN, S. ; TAYLOR, M. ; LELIS, LEVI H.S. . Can You Improve My Code? Optimizing Programs with Local Search. In: International Joint Conference on Artificial Intelligence, 2023. Proceedings of the International Joint Conference on Artificial Intelligence, 2023.

• ORSEAU, L. ; HUTTER, M. ; LELIS, LEVI H.S. . Levin Tree Search with Context Models. In: International Joint Conference on Artificial Intelligence, 2023. Proceedings of the International Joint Conference on Artificial Intelligence, 2023.

• MORAES, R. O. ; ALEIXO, D. S. ; FERREIRA, L. N. ; LELIS, LEVI H.S. . Choosing Well Your Opponents: How to Guide the Synthesis of Programmatic Strategies. In: International Joint Conference on Artificial Intelligence, 2023. Proceedings of the International Joint Conference on Artificial Intelligence, 2023.

• MEDEIROS, L. C. ; ALEIXO, D. S. ; LELIS, LEVI H. S. . What can we Learn Even From the Weakest? Learning Sketches for Programmatic Strategies. In: AAAI Conference on Artificial Intelligence, 2022. Proceedings of the AAAI conference on Artificial Intelligence, 2022.

• BULITKO, V. ; WANG, S. ; STEVENS, J. ; LELIS, LEVI H.S. . Portability and Explainability of Synthesized Formula-based Heuristics.. In: Symposium on Combinatorial Search, 2022. Proceedings of the Symposium on Combinatorial Search.

• FERREIRA, L. N. ; MOU, L. ; WHITEHEAD, J. ; LELIS, LEVI H.S. . Controlling Perceived Emotion in Symbolic Music Generation with Monte Carlo Tree Search. In: AAAI Conference on AI and Interactive Digital Entertainment, 2022. Proceedings of the AAAI Conference on AI and Interactive Digital Entertainment, 2022.

• LELIS, LEVI H.S. ; NOVA, J. ; CHEN, E. ; STURTEVANT, N. ; DEMMANS EPP, C. ; BOWLING, M. . Learning Curricula for Humans: An Empirical Study with Puzzles from The Witness.. In: International Joint Conference on Artificial Intelligence, 2022. Proceedings of the International Joint Conference on Artificial Intelligence, 2022.

• ORSEAU, L. ; Levi Lelis . Policy-Guided Heuristic Search with Guarantees. In: AAAI Conference on Artificial Intelligence, 2021. Proceedings of the AAAI Conference on Artificial Intelligence, 2021.

• MARINO, J. R. H. ; MORAES, R. O. ; OLIVEIRA, T. ; TOLEDO, C. ; LELIS, LEVI H.S. . Programmatic Strategies for Real-Time Strategy Games. In: AAAI Conference on Artificial Intelligence, 2021. Proceedings of the AAAI Conference on Artificial Intelligence, 2021.

• MARTINEZ, J. ; GAL, KOBI ; KAMAR, E. ; LELIS, LEVI H. S. . Improving the Performance-Compatibility Tradeoff with Personalized Objective Functions. In: AAAI Conference on Artificial Intelligence, 2021. Proceedings of the AAAI Conference on Artificial Intelligence, 2021.

• PEREIRA, L. ; CHAIMOWICZ, L. ; LELIS, LEVI H. S. . Birds in Boots: Learning to Play Angry Birds with Policy-Guided Search. In: AAAI conference on Artificial Intelligence and Interactive Digital Entertainment, 2021. Proceedings of the AAAI conference on Artificial Intelligence and Interactive Digital Entertainment, 2021.

• BULITKO, V. ; HERNANDEZ, S. P. ; Levi Lelis . Fast Synthesis of Algebraic Heuristic Functions for Video-Game Pathfinding. In: IEEE Conference on Games, 2021. Proceedings of the IEEE Conference on Games, 2021.

• AHMAD, Z. ; LELIS, LEVI H. S. ; BOWLING, M. . Marginal Utility for Planning in Continuous or Large Discrete Action Spaces. In: Conference on Neural Information Processing Systems (NeurIPS), 2020. Proceedings of the Conference on Neural Information Processing Systems.

• SOUZA, V. ; PEREIRA, M. ; LELIS, LEVI H. S. ; MASIP-BRUIN, X. . Enhancing resource availability in vehicular fog computing through smart inter-domain handover. In: IEEE GLOBECOM, 2020. Proceedings of the IEEE GLOBECOM.

• LELIS, LEVI H. S. . Planning Algorithms for Zero-Sum Games with Exponential Action Spaces: A Unifying Perspective. In: International Joint Conference on Artificial Intelligence (IJCAI), 2020. Proceedings of the International Joint Conference on Artificial Intelligence.

• FERREIRA, L. N. ; LELIS, LEVI H. S. ; WHITEHEAD, J. . Computer-Generated Music for Tabletop Role-Playing Games. In: Conference on AI and Interactive Digital Entertainment (AIIDE), 2020. Proceedings of the AAAI Conference on AI and Interactive Digital Entertainment.

• PADOVANI, R. ; FERREIRA, L. N. ; LELIS, LEVI H.S. . Be Inaccurate but don't be Indecisive: How Error Distribution Can Affect User Experience. In: The AAAI Conference on Artificial Intelligence, 2019, Honolulu. Proceedings of the AAAI Conference on Artificial Intelligence, 2019.

• MARINO, J. R. H. ; MORAES, R. O. ; TOLEDO, C. ; LELIS, LEVI H.S. . Evolving Action Abstractions for Real-Time Planning in Extensive-Form Games. In: The AAAI Conference on Artificial Intelligence, 2019, Honolulu. Proceedings of the AAAI Conference on Artificial Intelligence, 2019.

• BENTO, D. ; PEREIRA, A. G. ; LELIS, LEVI H. S. . Procedural Generation of Initial States of Sokoban. In: International Joint Conference on Artificial Intelligence (IJCAI), 2019, Macau. Proceedings of the International Joint Conference on Artificial Intelligence, 2019.

• HELMERT, M. ; LATTIMORE, T. ; LELIS, LEVI H. S. ; ORSEAU, L. ; STURTEVANT, N. R. . Iterative Budgeted Exponential Search. In: International Joint Conference on Artificial Intelligence (IJCAI), 2019, Macau. Proceedings of the International Joint Conference on Artificial Intelligence, 2019.

• MORAES, R. O. ; LELIS, LEVI H.S. . Asymmetric Action Abstractions for Multi-Unit Control in Adversarial Real-Time Games. In: The AAAI Conference on Artificial Intelligence, 2018, New Orleans. Proceedings of the AAAI Conference on Artificial Intelligence, 2018.

• MORAES, R. O. ; MARINO, J. R. H. ; LELIS, LEVI H.S. . Nested-Greedy Search for Adversarial Real-Time Games. In: AAAI Conference on AI and Interactive Digital Entertainment (AIIDE), 2018. Proceedings of the AAAI Conference on AI and Interactive Digital Entertainment (AIIDE).

• MORAES, R. O. ; MARINO, J. R. H. ; LELIS, LEVI H.S. ; NASCIMENTO, M. A. . Action Abstractions for Combinatorial Multi-Armed Bandit Tree Search. In: AAAI Conference on AI and Interactive Digital Entertainment (AIIDE), 2018. Proceedings of the AAAI Conference on AI and Interactive Digital Entertainment (AIIDE).

• ORSEAU, L. ; LELIS, LEVI H. S. ; LATTIMORE, T. ; WEBER, T. . Single-Agent Policy Tree Search With Guarantees. In: Conference on Neural Information Processing Systems (NIPS), 2018, Montreal. Proceedings of the Conference on Neural Information Processing Systems, 2018.

• FRANCO, S. ; TORRALBA, A. ; LELIS, LEVI H.S. ; BARLEY, M. . On Creating Complementary Pattern Databases. In: International Joint Conference on Artificial Intelligence (IJCAI), 2017, Melbourne. Proceedings of the International Joint Conference on Artificial Intelligence, 2017.

• LELIS, LEVI H.S. . Stratified Strategy Selection for Unit Control in Real-Time Strategy Games. In: International Joint Conference on Artificial Intelligence (IJCAI), 2017, Melbourne. Proceedings of the International Joint Conference on Artificial Intelligence, 2017.

• SUMMERVILLE, A. ; MARINO, J. R. H. ; SNODGRASS, S. ; ONTANON, S. ; LELIS, LEVI H.S. . Understanding Mario: An Evaluation of Design Metrics For Platformers. In: International Conference on the Foundations on Digital Games (FDG), 2017. Proceedings of the International Conference on the Foundations on Digital Games, 2017.

• PADOVANI, R. ; FERREIRA, L. N. ; LELIS, LEVI H.S. . Bardo: Emotion-based Music Recommendation for Tabletop Role-Playing Games. In: AAAI Conference on AI and Interactive Digital Entertainment (AIIDE), 2017. Proceedings of the AAAI Conference on AI and Interactive Digital Entertainment (AIIDE), 2017.

• MARINO, J. R. H. ; LELIS, LEVI H.S. . A Computational Model for Generating Visually Pleasing Video Game Maps. In: Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017, Curitiba. Anais do SBGames 2017 - Workshop de Teses e Dissertações, 2017.

• LELIS, LEVI H.S. ; FRANCO, S. ; ABISRROR, M. ; BARLEY, M. ; ZILLES, SANDRA ; HOLTE, ROBERT C. . Heuristic Subset Selection in Classical Planning. In: International Joint Conference on Artificial Intelligence (IJCAI), 2016, New York. Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), 2016.

• LELIS, LEVI H.S. ; VALENZANO, R. ; NAZAR, G. ; STERN, RONI . Seaching with a Corrupted Heuristic. In: Symposium on Combinatorial Search (SoCS), 2016, New York. Proceedings of the Symposium on Combinatorial Search (SoCS), 2016.

• MARINO, J. R. H. ; LELIS, LEVI H.S. . A Computational Model based on Symmetry for Generating Visually Pleasing Maps of Platform Games. In: Conference on Artificial Intelligence and Interactive Digital Entertainment, 2016. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment.

• PEREIRA, L. T. ; TOLEDO, C. ; FERREIRA, L. N. ; LELIS, LEVI H.S. . Learning to Speedup Evolutionary Content Generation in Physics-based Puzzle Games. In: IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2016, San Jose. Proceedings of the International Conference on Tools with Artificial Intelligence, 2016.

• PAUDEL, J. ; LELIS, LEVI H.S. ; AMARAL, J. N. . Stratified Sampling for Even Workload Partitioning Applied to IDA* and Delaunay Algorithms. In: IEEE International Parallel & Distributed Processing Symposium (IPDPS), 2015, Hyderabad. Proceedings of the International Parallel & Distributed Processing Symposium, 2015.

• DECHTER, R. ; LELIS, LEVI H.S. ; OTTEN, L. . Caching in Context-Minimal OR Spaces. In: International Symposium on Combinatorial Search, 2015, Ein Gedi. Proceedings of the International Symposium on Combinatorial Search, 2015.

• MARINO, J. R. H. ; LELIS, LEVI H.S. . Feature Selection as State-Space Search: An Empirical Study in Clustering Problems. In: International Symposium on Combinatorial Search, 2015, Ein Gedi. Proceedings of the International Symposium on Combinatorial Search, 2015.

• REIS, W. M. P. ; LELIS, LEVI H.S. ; GAL, Y. K. . Human Computation for Procedural Content Generation in Platform Games. In: Conference on Computational Intelligence and Games (CIG), 2015. Proceedings of the IEEE Conference on Computational Intelligence and Games, 2015.

• MARINO, J. R. H. ; REIS, W. M. P. ; LELIS, LEVI H.S. . An Empirical Evaluation of Evaluation Metrics of Procedurally Generated Mario Levels. In: Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE)., 2015. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2015.

• PAUDEL, J. ; LELIS, LEVI H.S. ; AMARAL, J. N. . Stratified Sampling for Even Workload Partitioning Applied to Single Source Shortest Path Algorithm. In: Annual International Conference on Computer Science and Software Engineering, 2015, Toronto. Proceedings of the Annual International Conference on Computer Science and Software Engineering.

• Levi Lelis ; STERN, R. ; STURTEVANT, N. R. . Estimating Search Tree Size with Duplicate Detection. In: International Symposium on Combinatorial Search, 2014, Praga. Proceedings of the International Symposium on Combinatorial Search, 2014.

• Levi Lelis ; Lars Otten ; Rina Dechter . Memory-Efficient Stratified Sampling for Search Tree Size Estimation in Graphical Model Optimization. In: International Conference on Principles and Practice of Constraint Programming, 2014, Lyon. Proceedings of the International Conference on Principles and Practice of Constraint Programming, 2014.

• Levi Lelis ; Sandra Zilles ; Robert C. Holte . Stratified Tree Search: A Novel Suboptimal Heuristic Search Algorithm. In: International Conference on Autonomous Agents and Multiagent Systems, 2013, Saint Paul. Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2013.

• Levi Lelis ; Lars Otten ; Rina Dechter . Predicting the Size of Depth-First Branch and Bound Search Trees. In: International Joint Conference on Artificial Intelligence (IJCAI), 2013, Beijing. Proceedings of the International Joint Conference on Artificial Intelligence, 2013.

• Levi Lelis . Active Stratified Sampling with Clustering-Based Type Systems for Predicting the Search Tree Size of Problems with Real-Valued Heuristics. In: International Symposium on Combinatorial Search, 2013, Leavenworth. Proceedings of the International Symposium on Combinatorial Search, 2013.

• Jordan Thayer ; Roni Stern ; Levi Lelis . Are We There Yet? -- Estimating Search Progress.. In: SoCS, 2012, Niagara Falls. Proceedings of SoCS, 2011.

• Levi Lelis ; Roni Stern ; Ariel Felner ; Sandra Zilles ; Robert C. Holte . Predicting Optimal Solution Cost with Bidirectional Stratified Sampling. In: The International Conference on Automated Planning and Scheduling (ICAPS), 2012, Atibaia. Proceedings of the International Conference on Automated Planning and Scheduling, 2012.

• Levi Lelis ; Sandra Zilles ; Robert C. Holte . Fast and Accurate Predictions of IDA*'s Performance. In: The AAAI Conference on Artificial Intelligence, 2012, Toronto. Proceedings of the AAAI Conference on Artificial Intelligence, 2012.

• Levi Lelis ; Robert C. Holte ; Sandra Zilles . Improved Prediction of IDA*'s Performance via e-Truncation.. In: SoCS, 2011, Barcelona. Proceedings of SoCS, 2011.

• Levi Lelis ; Roni Stern ; Shahab Jabbari Arfaee . Predicting Solution Cost with Conditional Probabilities.. In: SoCS, 2011, Barcelona. Proceedings of SoCS, 2011.

• Levi Lelis ; Jörg Sander . Semi-Supervised Density-Based Clustering. In: International Conference on Data Mining, 2009, Miami, FL. Proceedings of the International Conference on Data Mining, 2009. p. 842-847.

• CAMPOS, C. R. F. G. ; SA, W. O. ; TEIXEIRA, J. M. G. ; LELIS, LEVI H.S. . Mixed-Initiative Tool to Speed Up Content Creation in Physics-Based Games. In: Simpósio Brasileiro de Jogos e Entretenimento Digital, 2017, Curitiba. Anais do SBGames, 2017.

• STERN, R. ; LELIS, LEVI H.S. . What's Hot in Heuristic Search?. In: Conference on Artificial Intelligence (AAAI), 2016. Proceedings of the Conference on Artificial Intelligence (AAAI), 2016.

• Levi Lelis ; Shahab Jabbari Arfaee ; Sandra Zilles ; Robert C. Holte . Learning Heuristic Functions Faster by Using Predicted Solution Costs.. In: SoCS, 2012, Niagara Falls. Proceedings of SoCS, 2011.

• Levi Lelis ; Sandra Zilles ; Robert C. Holte . Time Complexity of Iterative-Deepening A*: The Informativeness Pathology (Abstract).. In: AAAI, 2011, San Francisco. Proceedings of AAAI, 2011.

• LELIS, LEVI H.S. . Background Music Selection for Tabletop Games. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Action Abstraction Schemes for Real-Time Strategy Games. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Enhancing Human Learning with Deep Learning. 2018. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Game AI. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Procedural Content Generation. 2017. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Heuristic Subset Selection in Classical Planning. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Heuristic Subset Selection for Optimal Domain-Independent Planning. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Cluster-and-Conquer: A General Solving Method for State-Space Problems. 2013. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Prediction Problems in State-Space Search. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Prediction Problems in State-Space Search. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• LELIS, LEVI H.S. . Palestra Convidada: Predicting the Size of the IDA* Search Tree and Predicting the Optimal Solution Cost. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• Levi Lelis . Programação Orientada a Objetos em Java. 2008. (Curso de curta duração ministrado/Outra).

• Levi Lelis . Programação Orientada a Objetos em Java. 2007. (Curso de curta duração ministrado/Outra).

• Levi Lelis ; AMBRÓSIO, Bernardo Giori . Curso de Java (J2SE). 2005. (Curso de curta duração ministrado/Extensão).

Projetos de pesquisa

• 2022 - Atual

  Controlling Perceived Emotions in Computer-Generated Music, Descrição: Neural language models (e.g., LSTMs, Transformers, etc.) have shown very promising results in music generation tasks. However, it is challenging to control these models to generate music with the desired features, such as perceived emotion. This project aims to develop a new generation of data-efficient neural generative models that can be controlled to produce music with controllable emotion.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Levi Henrique Santana de Lelis - Coordenador / Lucas N. Ferreira - Integrante.

• 2019 - Atual

  Inteligência Artificial Consciente, Descrição: Vivemos uma revolução tecnológica motivada por recentes avanços em Inteligência Artificial (IA). Os algoritmos de IA utilizados no sistema AlphaGo, que em 2016 derrotou Lee Sedol, campeão mundial do desafiador jogo de Go, estão sendo utilizados para reconhecimento e geração de imagens, para controlar carros e aeronaves. Os avanços recentes em IA estão modelando a indústria mundial e governos e empresas estão investindo em pesquisa na área. Embora os avanços recentes sejam significativos, algoritmos atuais ainda não levam em consideração fatores humanos durante a computação. Por exemplo, a computação realizada por algoritmos de IA normalmente não instrui pessoas sobre como solucionar o problema em questão; algoritmos de IA apenas informam qual a melhor ação a ser tomada, sem explicar as razões da escolha. Para ilustrar, o ``movimento 37'' de AlphaGo contra Lee Sedol, inicialmente considerado um erro por não ser um movimento utilizado por profissionais, se mostrou genial. O objetivo geral desse projeto é o desenvolvimento de algoritmos de IA Conscientes, i.e., algoritmos que levem em consideração fatores humanos durante a computação. Como objetivos específicos, desenvolveremos e analisaremos algoritmos capazes de (i) transferir o conhecimento gerado durante a computação para instruir pessoas; (ii) gerar currículos de tarefas para facilitar a aprendizagem de pessoas; (iii) avaliar a dificuldade de tarefas segundo a perspectiva de aprendizes humanos; (iv) comunicar-se de forma implícita com pessoas através de ações; (v) trabalhar em conjunto com seres humanos para solucionar problemas complexos de planejamento. Os algoritmos desenvolvidos serão fundamentados em Busca Heurística, Teoria dos Jogos e Aprendizagem Supervisionada. O projeto envolve a colaboração entre docentes de quatro universidades brasileiras e de duas universidades estrangeiras. Os algoritmos desenvolvidos serão testados em aplicações na área de educação, esportes, robótica e jogos de computador e de cartas. Os produtos gerados nesse projeto terão aplicação direta em áreas diversas como educação e automação industrial, podendo causar impacto positivo na economia nacional.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Levi Henrique Santana de Lelis - Coordenador / Claudio Toledo - Integrante / Luiz Chaimowicz - Integrante / André Grahl Pereira - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Outra / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Outra.

• 2018 - Atual

  Funções Heurísticas para Planejamento Clássico, Projeto certificado pelo(a) coordenador(a) André Grahl Pereira em 21/07/2018., Descrição: O presente projeto tem por objetivo desenvolver novos algoritmos para solucionar tarefas de planejamento. Uma tarefa de planejamento é definida pelo estado inicial, pelo conjunto de ações e pelo conjunto de estados objetivos. Uma solução para uma tarefa de planejamento é uma sequência de ações que transforma o estado inicial em um estado objetivo. 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.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Levi Henrique Santana de Lelis - Integrante / Luciana Salete Buriol - Integrante / Marcus Rolf Peter Ritt - Integrante / André Grahl Pereira - Coordenador / Adriano Petry - Integrante., Financiador(es): FUNDACAO DE AMPARO A PESQUISA DO ESTADO DO RIO GRANDE DO SUL - Outra.

• 2015 - Atual

  Algoritmos Agrupar-para-Conquistar para Previsão do Tempo de Execução de Programas de Busca Heurística: Teoria e Aplicações, Descrição: Vários problemas importantes podem ser modelados como problemas de busca combinatorial. Algoritmos de busca combinatorial foram utilizados para solucionar problemas como a descoberta de componentes químicos que formam uma substância de interesse, o alinhamento de sequências biológicas, a automatização do desenho de redes de esgoto em construções civis, o roteamento de pacotes em redes de computadores, dentre outros. No entanto, algoritmos de busca possuem uma limitação importante, eles solucionam problemas com espaço de busca de até certo tamanho. Atualmente, algoritmos de busca não conseguem, por exemplo, descobrir os componentes químicos que formam todas as substâncias de interesse; não conseguem encontrar o alinhamento de sequências biológicas de tamanho arbitrário, etc. Este projeto tem o objetivo de aumentar a eficiência e, portanto, a aplicabilidade de algoritmos de busca heurística para solucionar problemas de busca combinatorial.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Levi Henrique Santana de Lelis - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.

• 2014 - 2016

  Meta-Raciocínio em Busca Combinatorial, Descrição: Vários problemas importantes podem ser modelados como problemas de busca combinatorial. Algoritmos de busca combinatorial são utilizados para solucionar problemas tais como a descoberta de componentes químicos que formam uma substância de interesse, o alinhamento de sequências biológicas, a automatização do desenho de redes de esgoto em construções civis, o roteamento de pacotes em redes de computadores, dentre outros. Algoritmos de busca possuem, no entanto, uma limitação importante; eles solucionam problemas com espaços de busca de tamanho limitado. Atualmente, algoritmos de busca não conseguem, por exemplo, descobrir os componentes químicos que formam todas as substâncias de interesse; não conseguem encontrar o alinhamento de sequências biológicas de tamanho arbitrário, etc. Este projeto tem o objetivo de aumentar a eficácia e, portanto, a aplicabilidade de algoritmos de busca heurística para solucionar problemas de busca combinatorial. É notório o número de parâmetros de entrada utilizados por algoritmos de busca. Por exemplo, algoritmos de busca utilizam funções heurísticas para guiar a busca para partes mais promissoras do espaço de busca. Atualmente existem várias formas de construir funções heurísticas para guiar os algoritmos de busca, mas geralmente não se sabe a priori qual heurística utilizar para um problema específico. Neste projeto visamos aumentar a eficácia e aplicabilidade dos algoritmos de busca heurística através de métodos de meta-raciocínio para selecionar de forma sistemática e automática os parâmetros de entrada de algoritmos de busca.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) . , Integrantes: Levi Henrique Santana de Lelis - Coordenador / Alcione de Paiva Oliveira - Integrante / Ricardo dos Santos Ferreira - Integrante / Luciana Salete Buriol - Integrante / Marcus Rolf Peter Ritt - Integrante / Robert Craig Holte - Integrante., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.

Prêmios