附录：层次计划推理的摘要信息
Addendum to: Summary Information for Reasoning About Hierarchical Plans
摘要：
层次结构的代理计划是重要的有效规划和行动，他们也服务（除其他事项外），以产生“更丰富”的经典计划，不仅包括一系列的原始行动，但也“抽象”的代表供应层次。这种方法和其他方法的关键步骤是从给定的计划层次结构中得出前提条件和效果“摘要”。本文提供的机制，这样做更务实和传统的层次结构比过去。为此，我们正式定义的概念的前提条件和层次计划的效果;我们提出的数据结构和算法自动获得这些信息;我们分析所提出的算法的属性。最后，我们的文件，详细介绍了我们的算法可以与经典的计划，以获得抽象的计划。
英文摘要：
Hierarchically structured agent plans are important for efficient planning and acting, and they also serve (among other things) to produce "richer" classical plans, composed not just of a sequence of primitive actions, but also "abstract" ones representing the supplied hierarchies. A crucial step for this and other approaches is deriving precondition and effect "summaries" from a given plan hierarchy. This paper provides mechanisms to do this for more pragmatic and conventional hierarchies than in the past. To this end, we formally define the notion of a precondition and an effect for a hierarchical plan; we present data structures and algorithms for automatically deriving this information; and we analyse the properties of the presented algorithms. We conclude the paper by detailing how our algorithms may be used together with a classical planner in order to obtain abstract plans.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
