UMCP: A sound and complete procedure for hierarchical task-network planning
| Author(s) : | Dana S. Nau James Hendler Kutluhan Erol, |
| Publisher : | N/A |
| Publication Date : | 1994 |
| ISSN : | N/A |
| Abstract : | One big obstacle to understanding the nature of hierarchical task network (htn) planning has been the lack of a clear theoretical framework. In particular, no one has yet presented a clear and concise htn algorithm that is sound and complete. In this paper, we present a formal syntax and semantics for htn planning. Based on this syntax and semantics, we are able to dene an algorithm for htn planning and prove it sound and complete., |