· Shuai · 实用哲学
先词表再花名册:TBox、RBox 与 ABox
把模式、关系规矩和实例事实塞进同一张「大表」,推理与审计会一起失明;三层拆开,知识库才像工程。
把模式、关系规矩和实例事实塞进同一张「大表」,推理与审计会一起失明;三层拆开,知识库才像工程。
只信向量或只信 grep 都会瘸腿:AST 给出可复核的语法事实,语义通道外显默会与理由;graphify 把两条写进同一张图。
Prompt 是软接口;概念没定义清,你就只能在自然语言里打类型补丁。先建模边界,句子会自己变短。
本体论规定对象、关系与何者为真;边界不清时,模型用概率填缝,你在付隐性技术债。