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

SHRDLU包含三个子系统：句法解析器、语义解释器和推理引擎

1

来源数

50%

置信度

长期有效

时效性

2026/7/20

首次发现

来源

重返SHRDLU：程序化语义的技术脉络与现代价值

相关事实

待验证有效的断言体系通常分为语法层、结构层和语义层三个层次67% 相似待验证精准提示词模板分为三段式结构：功能描述、样式规范（具体到数值）、组件规范（指定构造器和参数）66% 相似待验证SHRDLU 整体使用 Lisp 语言编写，将英语句子分解为句法树后，每个语法结构对应一段 Lisp 程序片段，解析过程本身就是程序执行过程65% 相似待验证混元HY3正式版在智能体、推理、编码及长上下文处理等关键领域实现显著提升62% 相似待验证程序化语义将语言映射为可执行的过程（操作序列），而声明式语义将语言映射为逻辑断言或知识图谱三元组62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/566446

API

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

MCP

get_claim(id=566446)