Tamanho da fonte: 

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. Os
resultados 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.

domínios STRIPS; modelagem; planejamento automatizado