MAC0499 - Trabalho de Formatura Supervisionado (2024)

Bacharelado em Ciência da Computação, Instituto de Matemática e Estatística - Universidade de São Paulo

---

• Aluno: Elinilson Louras Santos Vital
• Orientadores: Professora Leliane Nunes de Barros e aluna de doutorado Viviane Bonadia dos Santos

Planejamento com ações não determinísticas: uma análise empírica.

Proposta

Executar experimentos no planejador PACTL-Sym (Planejador α-CTL Simbólico), que resolve problemas de planejamento em ambientes completamente observáveis e não determinísticos (Fully-Observable Non-Deterministic - FOND) e também comparar o desempenho com outros planejadores de abordagens similares em uma variedade de domínios de problemas, visando identificar as forças, fraquezas e áreas potenciais para melhorias no planejador testado, bem como contribuir para o desenvolvimento e otimização do algoritmo atual.

Objetivo específicos

• 1. Definição do Experimento: Especificar os critérios de seleção dos problemas, como complexidade, tamanho e características específicas do domínio que possam influenciar o desempenho do planejador.
• 2. Configuração do Experimento: Detalhar como os experimentos serão configurados, incluindo a descrição do ambiente de teste, as configurações do planejador de PDDL e os parâmetros utilizados e as métricas de desempenho (tempo de execução, uso de memória, qualidade da solução, etc.).
• 3. Execução dos Experimentos: O processo de execução dos experimentos, incluindo a inicialização do planejador de PDDL, a resolução dos problemas de planejamento, e a coleta de dados resultantes, mantendo as condições consistentes para garantir a validade dos resultados.
• 4. Comparação com Outros Planejadores: Fazer uma análise comparativa dos resultados obtidos com o planejador de PDDL em questão e outros planejadores com abordagens similares. Qualificar as diferenças no desempenho, analisando fatores como eficiência, escalabilidade e qualidade das soluções, ainda identificar quaisquer padrões ou tendências notáveis nas comparações e o que eles podem revelar sobre as forças e fraquezas de cada planejador.
• 5. Conclusão e Implicações: Resumir as principais descobertas destacando como o planejador de PDDL se compara aos seus concorrentes e quais são as implicações dos resultados para futuras pesquisas ou para a aplicação prática de planejadores automáticos em problemas reais.