Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans
Verification of hierarchical plans deals with the problem of whether an action sequence is causally consistent and can be obtained by a decomposition of a goal task. This second sub-problem (finding the decomposition) makes the verification problem NP-hard. The task decomposition structure is very c...
Na minha lista:
| Principais autores: | , , , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
LibraryPress@UF
2023-05-01
|
| coleção: | Proceedings of the International Florida Artificial Intelligence Research Society Conference |
| Assuntos: | |
| Acesso em linha: | https://journals.flvc.org/FLAIRS/article/view/133196 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|