| dc.contributor.author | Romulo Leite | |
| dc.contributor.author | Volmir Wilhelm | |
| dc.creator | Universidade Federal do Paraná | |
| dc.date.accessioned | 2024-11-13T19:17:13Z | |
| dc.date.available | 2024-11-13T19:17:13Z | |
| dc.date.issued | 2017-10-10 | |
| dc.identifier.uri | https://hdl.handle.net/1884/92965 | |
| dc.description.abstract | 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. | |
| dc.format.mimetype | application/pdf | |
| dc.relation.ispartof | II Simpósio de Métodos Numéricos em Engenharia (2017) | |
| dc.subject | domínios STRIPS | |
| dc.subject | modelagem | |
| dc.subject | planejamento automatizado | |
| dc.title | Identificação de precondições e efeitos em operadores STRIPS a partir de problemas solucionados | |
| dc.type | Artigo | |
| dc.identifier.ocs | 520 | |