Kairos
时间轴 (近 90 天)
Kairos是一个根据每个任务的语义来选择异构规划引擎的框架，覆盖从STRIPS到PDDL+的广泛范围。
Kairos为每个任务生成语义画像，据此从五个引擎中选择适用的引擎，并在统一的时间和内存预算下调度。
Kairos的所有候选计划都会经过一个独立于规划器转换的验证器检查，只有验证通过的计划才会被返回。
Kairos仅在某个搜索过程耗尽空间且其穷尽性构成证明时才报告“无解”，以避免将超时误判为不可解。
据论文报告，在来自九个比较套件的1,756个任务上，Kairos在完整资源限制下解决的任务数超过了每个套件中最强的被评估规划器，差异在数值、时间、PDDL3和PDDL+规划上最为明显。
在100毫秒和1秒的严格时间限制下，Kairos解决的任务数也是最多的。
对领域进行重采样后，九个套件中有六个的增益大于零；在经典规划上与LAMA相比，差异在噪声范围内。
额外的450个面向特性的任务和26个单特性探针显示，Kairos能处理所有十七个被探测的特性，而其他被评估的规划器没有一个能处理超过八个。
消融实验表明，压缩时间搜索和新颖性回退是Kairos性能的主要贡献因素。
与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
还有 2 条时间轴事件
全部知识事实 (12)
Kairos是一个根据每个任务的语义来选择异构规划引擎的框架，覆盖从STRIPS到PDDL+的广泛范围。
50%待验证Kairos为每个任务生成语义画像，据此从五个引擎中选择适用的引擎，并在统一的时间和内存预算下调度。
50%待验证Kairos的所有候选计划都会经过一个独立于规划器转换的验证器检查，只有验证通过的计划才会被返回。
50%待验证Kairos仅在某个搜索过程耗尽空间且其穷尽性构成证明时才报告“无解”，以避免将超时误判为不可解。
50%待验证据论文报告，在来自九个比较套件的1,756个任务上，Kairos在完整资源限制下解决的任务数超过了每个套件中最强的被评估规划器，差异在数值、时间、PDDL3和PDDL+规划上最为明显。
50%待验证在100毫秒和1秒的严格时间限制下，Kairos解决的任务数也是最多的。
50%待验证对领域进行重采样后，九个套件中有六个的增益大于零；在经典规划上与LAMA相比，差异在噪声范围内。
50%待验证额外的450个面向特性的任务和26个单特性探针显示，Kairos能处理所有十七个被探测的特性，而其他被评估的规划器没有一个能处理超过八个。
50%待验证消融实验表明，压缩时间搜索和新颖性回退是Kairos性能的主要贡献因素。
50%待验证与VAL验证器的对比将每一个分歧追溯到PDDL+的约定或VAL的已知缺陷。
50%待验证Kairos的规划器和基准测试均已开源。
50%待验证当前Kairos的引擎集合固定为五个引擎。
50%