CS - TR - 3239 , UMIACS - TR - 94 - 31 , ISR - TR - 95 - 9 Semantics for Hierarchical Task - Network Planning
نویسندگان
چکیده
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 deene an algorithm for htn planning and prove it sound and complete. We also develop several deenitions of expressivity for planning languages and prove that htn planning is strictly more expressive than strips-style planning according to those deenitions.
منابع مشابه
Cs - Tr - 3239 , Umiacs - Tr
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 deene an algorithm for htn pl...
متن کاملCs - Tr - 3239 , Umiacs
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 de ne an algorithm for htn pl...
متن کاملAutomatically transforming regularly structured linear documents into Hypertext
s from the year’s technical reports.7 A sample abstract may be seen in printed form as Figure 3. This technical report is issued jointly by UMIACS and by the Computer Science Department; hence it carries two identifying numbers. The abstract was described by the troff source of Figure 4, and the corresponding Hyperties article is shown in Figure 5. Here, the identifying numbers are used as the ...
متن کاملLAMP - TR - 145 CS - TR - 4877 UMIACS - TR - 2007 - 36 HCIL - 2007 - 10 July 2007 Exploring the Effectiveness of Related Article Search in PubMed
We describe two complementary studies that explore the effectiveness of related article search in PubMed. The first attempts to characterize the topological properties of document networks that are implicitly defined by this capability. The second focuses on analysis of PubMed query logs to gain an understanding of real user behavior. Combined evidence suggests that related article search is bo...
متن کاملCS - TR - 4182 UMIACS - TR - 2000 - 64 A SIMULATION ENVIRONMENT FOR EVOLVINGMULTIAGENT COMMUNICATIONSeptember 2000
A simulation environment has been created to support study of emergent communication. Multiple agents exist in a two-dimensional world where they must nd food and avoid predators. While non-communicating agents may survive, the world is conngured so that survival and tness can be enhanced through the use of inter-agent communication. The goal with this version of the simulator is to determine c...
متن کامل