標籤: 論文解讀

Tensor Logic：邏輯規則和 einsum 是同一種運算嗎

Pedro Domingos 在 2025 年的論文裡說，一條 Datalog 規則就是一次 einsum 加一個階躍函式，AI 只需要“張量方程”這一種語句。我們從一條“姑姨”規則出發，用 numpy 把它跑一遍，再順著論文往下追：整門語言只有一種語句會是什麼樣，稀疏關係寫成稠密矩陣代價多大，把關係壓進嵌入空間以後推理還對不對，溫度調到 0 是否真能“不幻覺”，規則能不能學出來，最後看這些想法裡哪些是新的。