Identificação de precondições e efeitos em operadores STRIPS a partir de problemas solucionados
Resumo
Este trabalho tem por objetivo apresentar um método para identificação de precondições e efeitos em operadores STRIPS empregando um conjunto de problemas corretamente solucionados como informação a priori, no intuito de desenvolver uma ferramenta para auxílio à modelagem de domínios. Osresultados evidenciam a eficácia do método proposto, apesar da verificação de alguns erros, os quais podem ser reparados por meio do emprego de outras técnicas de apoio à modelagem disponíveis na literatura.