标签：知识表示

把模式、关系规矩和实例事实塞进同一张「大表」，推理与审计会一起失明；三层拆开，知识库才像工程。

只信向量或只信 grep 都会瘸腿：AST 给出可复核的语法事实，语义通道外显默会与理由；graphify 把两条写进同一张图。

Prompt 是软接口；概念没定义清，你就只能在自然语言里打类型补丁。先建模边界，句子会自己变短。

本体论规定对象、关系与何者为真；边界不清时，模型用概率填缝，你在付隐性技术债。

知识表示是把世界结构译成机器可一致使用的形式：概念、关系、约束、推断与版本契约，缺一就semantic drift。