PERSONAL GARAGE
READY
36 min

HTN领域设计实践指南:从理论到落地

HTN 领域设计实践指南,从需求分析到方法分解,涵盖层次划分、复合任务设计、变量处理等工程实战要点。

30 min

HTN规划器对比与选择指南

对比主流 HTN 规划器(SHOP2/PyHOP/HDDL 实现等)的特性、适用场景和选择建议。

30 min

HTN规划的表达能力:为何它比经典规划更强大

从表达能力角度对比 HTN 与经典规划,解释 HTN 为何超越正则语言达到上下文无关级别,结合 $a^n b^n$ 问题说明。

29 min

HTN规划的不可判定性:理论边界与工程启示

深入探讨 HTN 规划不可判定的理论根源(递归/停机问题),与 STN 可判定性的分野,以及给工程实践的启示。

30 min

STN 与 HTN 的区别:从理论到工程实践

深入对比 STN 与 HTN 在约束能力、规划算法、理论性质上的核心差异,结合卫星数传工程实例解释 STN 为何成为工程主流。

HTN 规划是什么?——形式化定义与核心机制详解
30 min

HTN 规划是什么?——形式化定义与核心机制详解

HTN 规划的形式化定义拆解:六元组 (S, s0, A, T, M, tnI) 逐元素讲解,任务层次(复合任务/原子任务)、任务网络偏序、方法分解机制、规划解的四条件,以及不可判定性的理论边界。全程以卫星观测为例子,含 PDDL/HDDL 示例代码。