待验证50% 置信事实精确时间
HAIDL的语法设计借鉴了Backus-Naur Form（BNF）的思想，使交互记录成为可解析、可查询的结构化数据。
1
来源数
50%
置信度
长期有效
时效性
2026/10/30
首次发现
来源
涉及实体
相关事实
待验证ReAct范式通过将「思考→行动→观察」的循环结构化为可解析的文本格式，使外部工具调用成为推理过程的组成部分60% 相似待验证BDH试图在保留语言建模能力的同时引入递归或状态化的潜在计算，并提供可恢复的图视图及稀疏局部化状态带来原生可解释性接口60% 相似待验证DSL的语法可用BNF（巴科斯-诺尔范式）或其扩展形式EBNF来形式化描述，并据此自动生成解析器进行确定性语法验证60% 相似待验证知识三元组采用（主语，谓语，宾语）形式表示结构化事实，源自语义网和RDF标准，由Tim Berners-Lee推动60% 相似待验证GBNF 是 llama.cpp 实现的一种基于 BNF 的语法约束系统59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1114577API
curl https://kongchang.com/api/v1/knowledge/claims/1114577MCP
get_claim(id=1114577)