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

符号主义规划方法中最具代表性的是自动规划技术，典型实现包括STRIPS、PDDL等形式化语言以及基于搜索的规划器

1

来源数

50%

置信度

长期有效

时效性

2026/9/28

首次发现

来源

自主系统的AI之路：从个体认知到群体智能

涉及实体

自动规划concept STRIPStechnology PDDLtechnology

相关事实

待验证多头分类器设计在自然语言处理领域有广泛应用，典型案例包括 BERT 模型的各类微调变体66% 相似待验证规划-执行分离（Plan-then-Execute）的优势在于下游生成模块不需各自理解自然语言，只需读取统一的结构化输入66% 相似待验证部分爬虫框架已开始集成大语言模型来辅助解析非标准页面，通过自然语言描述可自动生成选择器规则65% 相似待验证语义路径适合处理歧义、理解自然语言、模糊推理以及在状态空间未明确时进行规划64% 相似待验证PDDL（Planning Domain Definition Language）至今仍在学术界广泛使用，是规划语言标准64% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/955454

API

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

MCP

get_claim(id=955454)