待验证50% 置信事实精确时间

PDDL是国际规划竞赛（IPC）推动形成的标准化建模语言，将规划问题拆分为领域和问题两个文件。

1

来源数

50%

置信度

长期有效

时效性

2026/10/30

首次发现

来源

Kairos：面向PDDL语义感知的规划引擎编排框架

涉及实体

PDDLconcept IPCorganization

相关事实

待验证PD分离将推理的Prefill阶段(计算密集)和Decode阶段(内存带宽密集)部署在不同实例上以独立扩缩和优化63% 相似待验证有向依赖图概念源自软件工程中的前置条件/后置条件建模传统以及规划领域的STRIPS/PDDL动作描述框架63% 相似待验证mPDLP 采用的是 PDHG（原始对偶混合梯度法）框架的矩阵化变体62% 相似待验证在PDDL等形式化规划体系中，任务被定义为从初始状态到目标状态的转换，而非固定的动作序列60% 相似待验证在设计PDE代理模型时，导数特征可能比更复杂的架构设计带来更大的收益。59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1114031

API

curl https://kongchang.com/api/v1/knowledge/claims/1114031

MCP

get_claim(id=1114031)