Planejamento clássico : análise para otimização do tempo de geração de fórmulas do SATPLAN

Abstract

Planejamento é o ato de se preparar para algo quando se possui um objetivo a ser alcançado. O planejamento de negócios é usado por qualquer empresa que precise manter uma abordagem estruturada para o crescimento ao longo do tempo. O planejamento automático é um dos principais campos da inteligência artificial. Ele desempenha um papel crucial na concepção de abordagens que permitem que programas automatizados resolvam problemas específicos de forma automática.. Essa área da inteligência artificial se concentra em criar métodos para que os agentes descubram problemas sem a necessidade de serem programados. Problemas que são auto planejados requerem modelos de estado determinísticos com soluções definidas. As soluções são formuladas pelos agentes e, ao serem executadas, o problema é resolvido. Neste trabalho, propomos um estudo sobre como o software SATPLAN funciona, quais são as entradas e saídas que são necessárias para a resolução de problemas utilizando-o. Com isso pretende-se encontrar pontos de melhorias na performace do software, melhorando assim o tempo de resolução dos seus problemas.