机构名称：
¥ 1.0
引言启发式搜索是在大型状态空间中找到短路的常见方法，例如在最佳的古典计划中。最近提出的几项启发式方法使用合并框架（Dr'Ager，Finkbeiner和Podelski 2006; 2009; 2009; Helmert，Haslum和Hoffmann 2007; Helmert et al。2014），其中计划任务的原子抽象是逐渐组合的（合并了两个实体过渡系统）和简化的（缩小了一个差异过渡系统），直到剩下单个抽象为止，其目标距离然后诱导计划任务的启发性。在整个论文中，我们都对经典计划和合并和碎片框架进行了基本熟悉。由Sievers，Wehrle和Helmert（2014）提供了对合并框架最新探索的独立介绍。合并策略的合并策略的一个重要方面是确定在每个合并步骤中要组合的两个中间抽象。我们将使用以下术语：任务的合并策略由二进制树在任务的状态变量上定义。如果此树脱离列表，则称为策略，否则是非线性的（图1）。更普遍地说，当从文献中发表合并策略时，我们指的是（独立于领域的）算法，该算法为给定的计划任务生成合并策略。这样的al-gorithm被称为线性合并策略，并且仅当其产生的合并策略对于所有计划任务都是线性的。换句话说，非线性合并策略算法不是
对合并策略合并启发式策略的分析
主要关键词
相关文件推荐
