7. Equipe
A resolução de problemas de busca constitui uma área crucial dentro do campo da inteligência artificial, empregando algoritmos sofisticados para alcançar soluções eficazes em espaços de estados nos quais uma busca trivial é impossível. O PACTL-Sym, trabalho do qual este projeto é derivado, é um sistema de planejamento automático em Inteligência Artificial, integrando-se plenamente a esse contexto. Desenvolvido pela doutoranda da Universidade de São Paulo (USP), Viviane Bonadia, o PACTL-Sym adota a técnica de verificação simbólica de modelos (symbolic model-checking), visando à seleção e execução de ações que conduzam à modificação do ambiente de um estado inicial para um estado meta. Este projeto constitui uma parte do trabalho mencionado anteriormente.
Nosso objetivo é desenvolver um parser que transforma uma entrada em PDDL (Planning Domain Description Language) em uma entrada coerente com o algoritmo de planejamento desenvolvido no projeto PACTL-Sym. A velocidade de processamento é de alta importância, dado que é inadmissível atrapalhar significativamente o desempenho do PACTL-Sym.
Este projeto agrega uma parte essencial, o parser, ao escopo do projeto de tese de doutorado mencionado, permitindo que a aluna de doutorado em questão concentre-se plenamente em sua área de pesquisa. Adotando técnicas ágeis de desenvolvimento, entregaremos software de alta qualidade, com o objetivo de contribuir para a Ciência.
As horas extras estão sendo realizadas em sessões de 4 horas às sextas-feiras. Todos os membros do grupo se reúnem, e as duplas trabalham separadamente.
As reuniões com a cliente ocorrem todas as segundas-feiras, podendo ser presenciais ou remotas.
Toda reunião se inicia com um stand up meeting em que relembramos os pontos que foram trabalhados na última reunião e decidimos os pontos a serem abordados.