概念Planning Domain Definition Language
PDDL
规划领域定义语言，一种用于标准化建模规划问题的语言，将问题拆分为领域和问题两个文件，支持从STRIPS到PDDL+等多种子集。
时间轴 (近 90 天)
10月30日
Kairos是一个根据每个任务的语义来选择异构规划引擎的框架，覆盖从STRIPS到PDDL+的广泛范围。
待验证50%
10月30日
单一专用规划器在PDDL覆盖范围、延迟和失败含义上差异显著，且失败含义不统一（无解、超时、内存不足难以区分）。
待验证50%
10月30日
PDDL是国际规划竞赛（IPC）推动形成的标准化建模语言，将规划问题拆分为领域和问题两个文件。
待验证50%
9月28日
符号主义规划方法中最具代表性的是自动规划技术，典型实现包括STRIPS、PDDL等形式化语言以及基于搜索的规划器
待验证50%
9月18日
在AI领域目标表征横跨多个技术范式：强化学习使用奖励函数、经典规划使用PDDL等一阶逻辑语言、逆强化学习从行为反推目标、大语言模型使用自然语言指令
待验证50%
9月12日
在PDDL等形式化规划体系中，任务被定义为从初始状态到目标状态的转换，而非固定的动作序列
待验证50%
全部知识事实 (6)
待验证
Kairos是一个根据每个任务的语义来选择异构规划引擎的框架，覆盖从STRIPS到PDDL+的广泛范围。
50%待验证单一专用规划器在PDDL覆盖范围、延迟和失败含义上差异显著，且失败含义不统一（无解、超时、内存不足难以区分）。
50%待验证PDDL是国际规划竞赛（IPC）推动形成的标准化建模语言，将规划问题拆分为领域和问题两个文件。
50%待验证符号主义规划方法中最具代表性的是自动规划技术，典型实现包括STRIPS、PDDL等形式化语言以及基于搜索的规划器
50%待验证在AI领域目标表征横跨多个技术范式：强化学习使用奖励函数、经典规划使用PDDL等一阶逻辑语言、逆强化学习从行为反推目标、大语言模型使用自然语言指令
50%待验证在PDDL等形式化规划体系中，任务被定义为从初始状态到目标状态的转换，而非固定的动作序列
50%