有三元组
[ E2 , R1 , E1 ]
[ E1 , R2 , E2 ]
即
R1 为 E2 -> E1 (E2推理出E1)
R2 为 E1 -> E2 (E1推理出E2)
TensorLog体系表示为
实体的表示
E1为one-hot向量[1,0]
E2为one-hot向量[0,1]
关系的表示,是矩阵的横轴纵轴都是实体,也就是一个len(E)×len(E)的矩阵
R1为矩阵M1
0,1
0,0
R2为矩阵M2
0,0
1,0
然后就可以用矩阵相乘来表示推理
M1E2 = E1
以及
M2E1 = E2
可以扩展到多hop箭头情况,就是矩阵连乘