标签: 论文解读

Tensor Logic：逻辑规则和 einsum 是同一种运算吗

Pedro Domingos 在 2025 年的论文里说，一条 Datalog 规则就是一次 einsum 加一个阶跃函数，AI 只需要“张量方程”这一种语句。我们从一条“姑姨”规则出发，用 numpy 把它跑一遍，再顺着论文往下追：整门语言只有一种语句会是什么样，稀疏关系写成稠密矩阵代价多大，把关系压进嵌入空间以后推理还对不对，温度调到 0 是否真能“不幻觉”，规则能不能学出来，最后看这些想法里哪些是新的。