Unverified50% confidenceFactExact time
STRIPS（Stanford Research Institute Problem Solver）是1971年由Fikes和Nilsson提出的经典AI规划语言
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
Valid until: 9/30/2026
Sources
用Excel实现AI智能体：任务规划与分解实战教程
bilibiliZeroAI6/27/2026
Related Claims
UnverifiedWAL 设计源自 IBM 在 1970 年代的 System R 项目，后经 ARIES 算法体系化62% similarUnverified具身智能（Embodied AI）概念最早可追溯至20世纪80年代认知科学家罗德尼·布鲁克斯的研究58% similarUnverified卡尼曼与阿莫斯·特沃斯基从1970年代开始系统研究人类决策中的认知偏差，最终形成了前景理论58% similarUnverified程序合成最早可追溯至1969年Waldinger和Lee提出的自动程序编写系统57% similarVerified多Agent系统的理论基础可追溯到上世纪80年代的分布式问题求解研究56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/61343API
curl https://kongchang.com/api/v1/knowledge/claims/61343MCP
get_claim(id=61343)