Grokers：基於型別知識圖譜的自底向上歸納理解與寫入時智慧
Grokers 是一種架構，透過自底向上歸納遍歷依賴子圖，構建對型別化知識圖譜的持久結構化理解。與檢索增強生成（RAG）不同，Grokers 將智慧推到寫入時，自主 Groker 代理分析節點並提取結構化屬性，使未來查詢無需 LM 呼叫。本文證明了三個定理，並提供了一種確定性替代嵌入語義搜尋的方案。
Grokers：自底向上歸納理解與寫入時智慧
本文介紹 Grokers，一種透過自底向上歸納遍歷依賴子圖來構建型別化知識圖譜持久結構化理解的架構。與在每個查詢時都需承擔全部理解成本的檢索增強生成（RAG）不同，Grokers 將智慧推向寫入時：自主 Groker 代理分析型別化流圖中的節點，透過受控語言模型（LM）呼叫提取結構化屬性，並沿依賴關係向上歸納組合理解，寫入富化的型別化屬性，使所有未來查詢無需額外 LM 成本。
本文證明了三個形式化性質：（1）位元組恆等定理，表明從事務維護的反規範化索引中組裝出的上下文塊在語義變化之間跨 LM 輪次位元組恆等，使 KV 快取命中率接近 100%；（2）累積單調性定理，表明在受控智慧庫增長協議下，無需 LM 呼叫即可解決的互動比例隨已完成互動數量非遞減；（3）雙遍歷順序定理，表明自頂向下生成和自底向上理解是依賴 DAG 上各自任務的唯一正確遍歷順序，且它們的組合形成一個完整的生成-理解迴圈。
進一步，本文提出了一種確定性替代嵌入語義搜尋的方案，即同義詞快取協議，其 LM 回退率在有限詞彙域中收斂至零。參考實現已提供於開源 Qbix/Safebox/Safebots 棧中。