1. 引言
单步推理是通过知识图谱的知识要素(事实元组)来进行学习推理的，其特点是没有考虑路径特征且是直接关系。依据不同的推理方式，单步推理分成基于规则的单步推理、基于分布式表示的单步推理和基于神经网络的单步推理。基于分布式的知识表示分为基于翻译、张量/矩阵分解和空间分布等多种方法 [1]。
2. 分布式表示
基于分布式的知识表示是指将三元组中的实体和关系分别转换成稠密低维的实值向量。分布式的知识表示包括实体向量和关系向量两种向量，其中实体向量既可以表示头实体也可以表示尾实体。知识图谱中的两个实体和其之间的关系用形式的三元组表示，黑斜体的分别表示头实体向量、尾实体向量和关系向量。
3. 常见的基于分布式表示的单步推理算法
基于分布式表示的单步推理是指在分布式知识表示的基础上进行的直接推理过程。其中，最典型的是基于翻译的表示推理。该方法的思想来源于word2vec实验结果的启发。mikolov等人提出了word2vec词表示学习模型和工具包 [2] [3]，在其基础上发现了训练好的词向量之间存在平移不变的现象，并且通过类比推理实验发现，这种平移不变的现象普遍存在于词汇的语义关系之中 [4]。
(1) transe模型
受到该现象的启发，bordes等人在2013年的nips大会上提出了第一个基于翻译的表示模型transe [5]。transe模型的主要思想是：如果三元组成立，则头实体向量h与关系向量r的和与尾实体向量t接近(即)。否则远离。由上述基本假设得到势能函数：
其中：表示范数，n的取值为1或者2。transe通过定义最大间隔的方法，定义了损失函数：
其中，表示；表示正负样本之间的间距，是一个常数；负样本集合表示为：
与以往模型相比，transe模型的参数较少，计算复杂度低，性能有显著提升。但是transe模型存在一些不足：对于不同的关系，所有实体的向量表示都相同；在解决知识图谱中一对一关系的数据时效果明显，而在处理复杂关系(一对多、多对一、多对多)时会遇到一定的困难。由此，掀起了基于分布式知识表示的研究热潮。
(2) transh模型
针对transe模型处理复杂关系的弊端，2014年wang 等人提出了transh模型 [6]，引入了关系超平面，将关系解释为超平面上的翻译操作。transh模型的主要思想是：给定一个三元组，对于每一个关系向量r，都能确定一个与其对应的超平面，然后将该三元组中的头实体向量h与尾实体向量t投影到该超平面上，将头实体向量在超平面上的投影记为，将尾实体向量在超平面上的投影记为，可以得到：
其中：表示关系r所确定超平面的法向量，为了简化计算过程，使。
如果三元组成立，则。基于该假设进行建模，得到transh的势能函数：
(3) transr和ctransr模型
transe和transh模型都将实体和关系放到同一个语义空间中，从而限制了模型的表达能力。针对这一问题，lin等人则提出了transr模型 [7]，在独立的实体空间和关系空间中分别建立实体向量和关系向量。首先将实体从实体空间投影到对应的关系空间，然后在投影实体之间进行关系的翻译。transr模型的主要思想是：给定一个三元组，将头实体和尾实体向量投影到该关系空间得到：
其中，是实体空间到关系对应空间的投影矩阵；是实体空间；是关系空间。transr的势能函数为：
transe、transh和transr模型为每个关系学习一个唯一的向量，由于这些关系通常是不同的，可能不足以表示该关系下的所有实体对。为了更好地表示关系，ctransr [7] 模型采用分段线性回归方法拓展了transr模型。ctransr模型的主要思想是：对于一个特定的关系r，训练数据中的所有实体对(h, t)被聚集成多个分组，并且每个分组中的实体对都期望显示相似的关系r。所有的实体对(h, t)都用它们的向量偏移量表示以进行聚类，并为每一个分组或者子关系rc分别学习向量表示。将头实体和尾实体向量投影到该关系空间得到：
其中：是实体空间到关系对应空间的投影矩阵。ctransr的势能函数为：
其中：是为了保证距离不会太远；是控制约束效果的参数。
(4) transd模型
transd模型用两个向量来表示实体和关系，一个用于表示实体的含义，另一个用于动态构造映射矩阵 [8]。与transr/ctransr相比，transd模型不仅考虑了关系的多样性，而且考虑了实体的多样性。transd参数少，不需要矩阵向量乘法运算。transd模型的主要思想是：对于给定的三元组，它的向量分别为，下标p表示投影向量，定义两个投影矩阵将实体从实体空间映射到关系空间：
,
其中：, ,。因此，映射矩阵是由实体和关系共同决定的，这种操作使得两个投影向量能够很好地相互作用，因为它们的每个元素都能满足来自另一个向量的每个元素。当我们初始化每个映射矩阵时，我们将添加到和中。利用映射矩阵，我们将投影向量定义如下：
综上所述，得到其势能函数为：
(5) transm模型
与上述模型相比，transm模型更关注每个训练三元组对优化目标的不同贡献(即各种关系映射属性) [9]。transm模型定义了与关系相关的权重，将训练的每个三元组与权重相关联。对于给定的三元组，transm的势能函数为：
(6) transparse模型
上述的模型都没有考虑到知识图谱翻译的异质性和不平衡性，因此guoliang ji等人提出来transparse模型 [10]，使用自适应稀疏矩阵来建模不同类型的关系。在transparse模型中，翻译矩阵被自适应稀疏矩阵所代替，其稀疏度由关系连接的实体(或实体对)的个数决定，且关系的两边共享相同的翻译矩阵。transparse模型包括transparse (share)和transparse (separate)两种模型。
transparse (share)模型的主要思想是：为每个关系r设置一个稀疏矩阵，的稀疏度定义为：
其中：表示关系r连接的实体对的数量；表示连接实体对的最大数量(即的最大值)；。
头实体和尾实体共享一个稀疏矩阵，头实体和尾实体的投影向量可以定义为：
其中：；；。
transparse (separate)模型中，为每个关系设置两个单独的稀疏矩阵和，和的稀疏度定义为：
其中：下标r是关系的索引；h，t是指矩阵用于哪个实体(头实体或尾实体)；表示关系r在位置l处连接的实体数；表示它们的最大数量(关系在位置连接的最多实体)；。
头实体和尾实体的投影向量可以定义为：
transparse(share)和transparse(separate)模型的势能函数为：
其中：。
(7) teke模型
zhigang wang等人提出了teke模型 [11]，引入了丰富的文本上下文信息。每个关系对于不同的头实体和尾实体拥有不同的表示，以便更好地处理复杂关系。teke模型包含四个关键部分：实体注释、文本上下文翻译、实体/关系表示建模和训练。
在实体注释中，对于给定的文本语料库，使用实体链接工具自动的标记实体，然后得到实体注释文本集。其中，的长度小于的长度m，这是因为多个相邻的词可以标记为一个实体。
在文本上下文嵌入中，为了将知识和文本信息联系在一起，构建了一个基于实体注释文本集的共现网络。表示知识图谱中的节点/实体，对应一个单词或者实体。表示和的共现频率。构建的共现网络能够利用丰富的文本信息将实体和词连接起来用于表示学习。将给定节点/实体的上下文作为它的邻居，定义为：
其中：是一个界值。
由于两个实体的共同邻居可以表示它们之间的关系，因此将关系的文本上下文为两个实体的共同邻居，定义为：
可以得到中的每个实体x的表示，基于实体向量表示，定义了的实体文本上下文翻译作为中实体向量的加权平均值：
同样地，定义了和的关系文本上下文翻译作为中关系向量的加权平均值：
其中：每个共同邻居的权重；。
在文本上下文翻译中，定义了头实体和尾实体的实体文本翻译的线性变换：
其中：a是一个的矩阵，可视为上下文的权重；h和t分别为头实体向量和尾实体向量。
同样地，定义了关系的关系文本翻译的线性变换：
其中：b是一个的权重矩阵；r为关系向量。
综上，其势能函数定义为：
(8) transa模型
yantao jia等人提出了transa模型 [12]，可以根据知识图谱的结构自适应地找到最佳损失函数，并且不需要事先封闭的候选集。transa模型的主要思想是：给定一个三元组，势能函数定义为：
其中：；d表示向量空间的维数。
transa模型的重点在于自适应地找到最佳损失函数。由于关系集合和实体集合是两个不相交的集合，因此定义了最佳间距：
其中：；
由上述公式可知，分为实体间距和关系间距两部分，并利用线性插值进行组合。实体最优间距应保证内层圆包含更多的正例，外层圆的外部应尽可能是负例。的定义为：给定的一个实体h，对于所有的和，则：
其中：；；是正确三元组的集合；是实体的关系数量；表示与h相关联的关系集合。
实体最优间距定义为：对于给定一个实体h和与该实体相关联的一个关系r，如果存在，满足，则：
其中：，表示与h相关联的除关系r之外的关系集合。
由此，损失函数定义为：
其中：是正例；是负例；
(9) tkrl模型
鉴于大部分知识表示学习方法忽略了实体中丰富的层次类型信息，ruobing xie等人认为不同类型的实体应该具有不同的表示，由此提出了tkrl模型 [13]。tkrl模型为每个类型的实体设置由层次结构构造的特定类型投影矩阵m，然后在特定类型的投影下表示h和t。tkrl模型的势能函数定义为：
其中：和是h和t不同的投影矩阵。
为了将层次类型信息编码到表示学习中，提出了一种通用的类型编码器来构造每个实体的投影矩阵。其次，提出了两种先进的编码器对层次结构中的内部连接和关系特定类型信息中的先验知识加以利用。其中，实体e的投影矩阵是所有类型矩阵的加权和。通用类型编码的投影矩阵定义为：
其中：n表示实体e的类型数；是实体所属的第i个类型；是的投影矩阵；表示的相应权重。
对于通用类型的编码而言，实体e的所有投影矩阵在不同情况下都是相同的。但是，实体应该有不同的表示，以强调在不同场景中更重要的属性。为了解决这一问题，头实体的投影矩阵定义为：
其中：表示由关系特定类型信息给出的关系r中头实体的类型集；同一个实体作为尾实体的投影矩阵与作为头实体时的相同；表示类型c的投影矩阵。
能够有以下两种方式编码：
a) rhe (recursive hierarchy encoder)
其中：m是类型c在层次结构中的层数；表示第i个子类型的投影矩阵。
b) whe (weighted hierarchy encoder)
其中：m是层次结构中的层数；是的投影矩阵；是的相应权重。
在和之间定义一个按比例下降的加权策略：
与其它模型不同，tkrl模型的损失函数定义为：
其中：
(10) tae模型
由于现有的大多数方法都会忽略时间信息，而只能从时间未知的事实三元组中学习。tingsong jiang等人提出了tae模型 [14]，使用事实之间的时间顺序信息进行关系推理。tae模型使用的四元组形式，表示实体和在关系间隔具有关系r的事实()。对于一些事实，没有结束日期，可以表示为。
为了捕获关系的时间顺序，tae模型定义了一个时间演化矩阵来建模关系的演变。其中，n是关系向量的维度；t是模型学习数据的参数。tae模型的主要思想是：给定一个，可以找一个与时间相关的，两个四元组共享同一个头实体和时序关系对。如果，定义一个正确的时序关系对和对应的错误的时序关系对。因此，时间势能函数定义为：
注意：t是非对称的。
对于给定的三元组，其势能函数定义为：
优化目标是优化联合势能函数，损失函数定义为：
其中：，表示正例；，表示负例；表示为的正确的时序关系对的集合，其定义为：
是对中每一个关系对求逆得到的。
(11) putranse模型
yi tay等人提出了putranse模型，通过语义和结构感知选择机制生成多个表示空间 [15]，每个表示空间在计数和多样性上都要满足事实三元组约束。对于每一个表示空间，是表示空间中的三元组约束(通常比三元组的总数小)，和分别是表示空间中实体集合和关系集合。
putranse模型重点在于三元组选择机制，该机制包括主要包括语义感知的三元组选择、结构感知的三元组选择、语义和结构的平衡以及生成随机配置四个方面。
语义感知三元组的选择：随机选取一个关系r ()，生成所有包含关系r的所有实体集合，r被视为的语义焦点。
结构感知三元组的选择：采用双向随机游走(rw)模型。
语义和结构的平衡：由于的情况可能发生，因此，设置参数来调节语义和结构的平衡。
生成随机配置：为每一个表示空间随机分配不同的参数。对于每一个，随机生成margin、学习率、、和迭代批次。
putranse模型的全局势能函数定义为：
其中：是包含所有实体和关系的表示向量空间的集合；
损失函数定义为：
其中：是存在于平行向量空间的三元组；是不存在于平行向量空间的三元组。是三元组在其向量空间的局部势能函数。
4. 算法的训练过程
算法的重点都在于训练的过程，即采用向量表示的方法对三元组进行优化的过程，因此接下来主要介绍基于分布式的单步推理算法的训练过程。训练流程图如图1所示：
1) 首先要初始化算法中使用的参数，一般包括学习率、向量维度和损失函数中的间距参数等。
2) 初始化参数完成后，读取训练集，以便进行负例的构造。为了使正例与负例之间形成明显的对照关系，因此在构造负例时，可采用均匀采样法或伯努利采样法等随机替换正例中的头实体或尾实体或者关系。对于不同的推理算法，由于替换的对象可能存在差异，例如：有些算法只随机替换头实体或尾实体，而有些算法需随机替换头实体或尾实体或者关系，会导致采样方法存在差异。
3) 构造完负例后，根据不同算法的势能函数，采用范数计算正例与负例的势能函数。
4) 训练过程采用梯度下降算法加速训练过程，利用正例和负例的势能函数值情况判断是否需要对两组元组进行优化。优化时要尽量减小正例的势能值，并尽量增大负例的势能值，从而达到最小化损失函数的目的。
. training flowing-chart
图1. 训练流程图
梯度下降法是一个最优化算法，常用于机器学习和人工智能当中用来递归性地逼近最小偏差模型 [16]。梯度下降算法包括批量梯度下降(batch gradient descent)、随机梯度下降(stochastic gradient descent)和小批量梯度下降(mini-batch gradient descent)三种 [17]。批量随机梯度下降是指每次迭代使用所有样本进行梯度的更新，但当样本数据规模很大时，由于每次迭代需要计算所有的样本，因此极大地降低了模型的训练速度；随机梯度下降每次迭代只使用一个样本对参数进行更新，虽然可以加快模型的优化速度，但是由于单个样本无法代表样本整体，降低了结果的准确性；而小批量随机梯度下降综合了上述两种算法，每次迭代使用“batch_size”个样本对参数进行更新，不仅可以加快模型的优化速度，而且可以提高收敛结果的准确性。可以根据算法模型和数据集选择最合适的梯度下降算法。
5. 算法的评价标准
在算法评价指标方面，采用前k命中率(hits@k)和正确实体的平均排名数(mean rank)两种指标分别进行实体预测和关系预测，以衡量算法的综合能力。
实体预测评价过程如下：假设知识图谱中有n个实体
(1) 将测试集中一个正确的三元组a的头实体或者尾实体，依次替换为实体集合中的所有实体，即会产生n个三元组。
(2) 分别计算n个三元组的势能函数值，这样可以得到n个势能函数值，分别对应上述n个三元组。
(3) 对上述n个势能函数值进行升序排序，记录三元组a的势能函数值排序后的序号k。
(4) 如果前个势能函数值对应的三元组中有m个三元组是正确的，那么三元组a的序号改为。
(5) 对所有的正确的三元组重复上述过程。
上述过程结束后，计算出排序后所有正确三元组序号的平均值，得到的值称为mean rank，计算出排序后正确三元组的序号小于k的比例，得到的值称为hits@k。
同理，关系预测只是将测试集中正确三元组的关系，依次替换为关系集合中的所有关系，再依次执行上述过程。
在算法的评测过程中，可以根据实际需求，选择评价指标对算法进行评估。不难发现，mean rank越小，证明该算法预测结果的准确性越高，hits@k越大，证明该算法的预测结果越好。
6. 总结
基于分布式表示的关系推理技术能够很好地把握数据的内在特征，算法高效，易于操作，解决了数据稀疏等问题。但是，该类算法依赖于纯粹的数学驱动，对实体之间的关系预测难以提供合理的解释。目前，基于分布式表示的关系推理技术已经被广泛应用于机器翻译和智能问答等领域，并且在金融反欺诈和数据异常分析等领域具有良好的应用前景。在大数据时代迅猛发展的今天，丰富和拓展知识图谱是时代发展的必然趋势。如何对推理模型进行优化处理，考虑知识图谱中更深层次的结构和语义信息，提高推理算法的速度和准确率，是未来该领域的主要研究方向。
参考文献