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

有向依赖图概念源自软件工程中的前置条件/后置条件建模传统以及规划领域的STRIPS/PDDL动作描述框架

1

来源数

50%

置信度

长期有效

时效性

2026/10/12

首次发现

来源

X-AgentRed：用工具依赖图挖掘个人智能体的跨服务安全隐患

涉及实体

STRIPS/PDDLconcept 有向依赖图concept

相关事实

待验证STRIPS定义了用「前置条件—动作—后置条件」三元组描述规划问题的语言72% 相似待验证在PDDL等形式化规划体系中，任务被定义为从初始状态到目标状态的转换，而非固定的动作序列70% 相似待验证归纳偏置指在模型设计阶段预先嵌入的关于目标问题结构的假设，可缩小假设空间、提升样本效率69% 相似待验证高层意图驱动的Prompt设计只向模型传达最终目标和核心约束，将中间路径规划权下放给模型，类似于声明式编程68% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1001947

API

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

MCP

get_claim(id=1001947)