Semantics for HTN Planning
| dc.contributor.author | Erol, Kutluhan | en_US |
| dc.contributor.author | Hendler, James | en_US |
| dc.contributor.author | Nau, Dana S. | en_US |
| dc.date.accessioned | 2004-05-31T22:25:34Z | |
| dc.date.available | 2004-05-31T22:25:34Z | |
| dc.date.created | 1994-03 | en_US |
| dc.date.issued | 1998-10-15 | en_US |
| dc.description.abstract | (Also cross-referenced as ISR-TR-95-9) 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 define an algorithm for HTN planning and prove it sound and complete. We also develop several definitions of expressivity for planning languages and prove that HTN Planning is strictly more expressive than STRIPS-style planning according to those definitions. (Also cross-referenced as UMIACS-TR-94-31) | en_US |
| dc.format.extent | 300255 bytes | |
| dc.format.mimetype | application/postscript | |
| dc.identifier.uri | http://hdl.handle.net/1903/624 | |
| dc.language.iso | en_US | |
| dc.relation.isAvailableAt | Digital Repository at the University of Maryland | en_US |
| dc.relation.isAvailableAt | University of Maryland (College Park, Md.) | en_US |
| dc.relation.isAvailableAt | Tech Reports in Computer Science and Engineering | en_US |
| dc.relation.isAvailableAt | UMIACS Technical Reports | en_US |
| dc.relation.ispartofseries | UM Computer Science Department; CS-TR-3239 | en_US |
| dc.relation.ispartofseries | ISR-TR-95-9 | en_US |
| dc.relation.ispartofseries | UMIACS; UMIACS-TR-94-31 | en_US |
| dc.title | Semantics for HTN Planning | en_US |
| dc.type | Technical Report | en_US |