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

STRIPS（Stanford Research Institute Problem Solver）是1971年由Fikes和Nilsson提出的经典AI规划语言

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/7/2

首次发现

有效期至：2026/9/30

来源

用Excel实现AI智能体：任务规划与分解实战教程

bilibiliZeroAI2026/6/27

相关事实

待验证WAL 设计源自 IBM 在 1970 年代的 System R 项目，后经 ARIES 算法体系化62% 相似待验证具身智能（Embodied AI）概念最早可追溯至20世纪80年代认知科学家罗德尼·布鲁克斯的研究58% 相似待验证卡尼曼与阿莫斯·特沃斯基从1970年代开始系统研究人类决策中的认知偏差，最终形成了前景理论58% 相似待验证程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统57% 相似已验证多Agent系统的理论基础可追溯到上世纪80年代的分布式问题求解研究56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/61343

API

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

MCP

get_claim(id=61343)