深入理解图注意力机制

点击上方“小白学视觉”，选择加"星标"或“置顶”

重磅干货，第一时间送达

作者丨张昊、李牧非、王敏捷、张峥

来源丨https://zhuanlan.zhihu.com/p/57168713

编辑 | 极市平台

图卷积网络(GCN)告诉我们，将局部的图结构和节点特征结合可以在节点分类任务中获得不错的表现。美中不足的是GCN结合邻近节点特征的方式和图的结构依依相关，这局限了训练所得模型在其他图结构上的泛化能力。

Graph Attention Network (GAT)提出了用注意力机制对邻近节点特征加权求和。邻近节点特征的权重完全取决于节点特征，独立于图结构。

在这个教程里我们将：

1、解释什么是Graph Attention Network

2、演示用DGL实现这一模型

3、深入理解学习所得的注意力权重

4、初探归纳学习(inductive learning)

难度：***** （需要对图神经网络训练和Pytorch有基本了解）

在GCN里引入注意力机制

GAT和GCN的核心区别在于如何收集并累和距离为1的邻居节点的特征表示。在GCN里，一次图卷积操作包含对邻节点特征的标准化求和：

其中  是对节点距离为1邻节点的集合。我们通常会加一条连接节点  和它自身的边使得  本身也被包括在里。 是一个基于图结构的标准化常数； 是一个激活函数 （GCN使用了ReLU）； 是节点特征转换的权重矩阵，被所有节点共享。由于  和图的机构相关，使得在一张图上学习到的GCN模型比较难直接应用到另一张图上。解决这一问题的方法有很多，比如GraphSAGE提出了一种采用相同节点特征更新规则的模型，唯一的区别是他们将  设为了  。

图注意力模型GAT用注意力机制替代了图卷积中固定的标准化操作。以下图和公式定义了如何对第  层节点特征做更新得到第  层节点特征：

注意力网络示意图和更新公式

对于上述公式的一些解释：

公式（1）对层节点嵌入做了线性变换，是该变换可训练的参数。

公式（2）计算了成对节点间的原始注意力分数。它首先拼接了两个节点的嵌入，注意在这里表示拼接；随后对拼接好的嵌入以及一个可学习的权重向量做点积；最后应用了一个LeakyReLU激活函数。这一形式的注意力机制通常被称为_加性注意力_，区别于Transformer里的点积注意力。

公式（3）对于一个节点所有入边得到的原始注意力分数应用了一个softmax操作，得到了注意力权重。

公式（4）形似GCN的节点特征更新规则，对所有邻节点的特征做了基于注意力的加权求和。

出于简洁的考量，在本教程中，我们选择省略了一些论文中的细节，如dropout, skip connection等等。感兴趣的读者们欢迎参阅文末链接的模型完整实现。本质上，GAT只是将原本的标准化常数替换为使用注意力权重的邻居节点特征聚合函数。

GAT的DGL实现

以下代码给读者提供了在DGL里实现一个GAT层的总体印象。别担心，我们会将以下代码拆分成三块，并逐块讲解每块代码是如何实现上面的一条公式。

import torch
import torch.nn as nn
import torch.nn.functional as F


class GATLayer(nn.Module):
    def __init__(self, g, in_dim, out_dim):
        super(GATLayer, self).__init__()
        self.g = g
        # 公式 (1)
        self.fc = nn.Linear(in_dim, out_dim, bias=False)
        # 公式 (2)
        self.attn_fc = nn.Linear(2 * out_dim, 1, bias=False)


    def edge_attention(self, edges):
        # 公式 (2) 所需，边上的用户定义函数
        z2 = torch.cat([edges.src['z'], edges.dst['z']], dim=1)
        a = self.attn_fc(z2)
        return {'e' : F.leaky_relu(a)}


    def message_func(self, edges):
        # 公式 (3), (4)所需，传递消息用的用户定义函数
        return {'z' : edges.src['z'], 'e' : edges.data['e']}


    def reduce_func(self, nodes):
        # 公式 (3), (4)所需, 归约用的用户定义函数
        # 公式 (3)
        alpha = F.softmax(nodes.mailbox['e'], dim=1)
        # 公式 (4)
        h = torch.sum(alpha * nodes.mailbox['z'], dim=1)
        return {'h' : h}


    def forward(self, h):
        # 公式 (1)
        z = self.fc(h)
        self.g.ndata['z'] = z
        # 公式 (2)
        self.g.apply_edges(self.edge_attention)
        # 公式 (3) & (4)
        self.g.update_all(self.message_func, self.reduce_func)
        return self.g.ndata.pop('h')

实现公式(1)

第一个公式相对比较简单。线性变换非常常见。在PyTorch里，我们可以通过torch.nn.Linear很方便地实现。

实现公式(2)

原始注意力权重  是基于一对邻近节点  和  的表示计算得到。我们可以把注意力权重  看成在 i->j 这条边的数据。因此，在DGL里，我们可以使用 g.apply_edges 这一API来调用边上的操作，用一个边上的用户定义函数来指定具体操作的内容。我们在用户定义函数里实现了公式（2）的操作：

def edge_attention(self, edges):
        # 公式 (2) 所需，边上的用户定义函数
        z2 = torch.cat([edges.src['z'], edges.dst['z']], dim=1)
        a = self.attn_fc(z2)
        return {'e' : F.leaky_relu(a)}

公式中的点积同样借由PyTorch的一个线性变换 attn_fc 实现。注意 apply_edges 会把所有边上的数据打包为一个张量，这使得拼接和点积可以并行完成。

实现公式(3)和(4)

类似GCN，在DGL里我们使用update_all API来触发所有节点上的消息传递函数。update_all接收两个用户自定义函数作为参数。message_function发送了两种张量作为消息：消息原节点的表示以及每条边上的原始注意力权重。reduce_function随后进行了两项操作：

1、使用softmax归一化注意力权重 （公式（3））。

2、使用注意力权重聚合邻节点特征 （公式（4））。

这两项操作都先从节点的 mailbox 获取了数据，随后在数据的第二维（ dim = 1 ) 上进行了运算。注意数据的第一维代表了节点的数量，第二维代表了每个节点收到消息的数量。

def reduce_func(self, nodes):
        # 公式 (3), (4)所需, 归约用的用户定义函数
        # 公式 (3)
        alpha = F.softmax(nodes.mailbox['e'], dim=1)
        # 公式 (4)
        h = torch.sum(alpha * nodes.mailbox['z'], dim=1)
        return {'h' : h}

多头注意力 (Multi-head attention)

神似卷积神经网络里的多通道，GAT引入了多头注意力来丰富模型的能力和稳定训练的过程。每一个注意力的头都有它自己的参数。如何整合多个注意力机制的输出结果一般有两种方式：

• 拼接：

• 平均：

  402 Payment Required

以上式子中是注意力头的数量。作者们建议对中间层使用拼接对最后一层使用求平均。

我们之前有定义单头注意力的GAT层，它可作为多头注意力GAT层的组建单元：

class MultiHeadGATLayer(nn.Module):
    def __init__(self, g, in_dim, out_dim, num_heads, merge='cat'):
        super(MultiHeadGATLayer, self).__init__()
        self.heads = nn.ModuleList()
        for i in range(num_heads):
            self.heads.append(GATLayer(g, in_dim, out_dim))
        self.merge = merge


    def forward(self, h):
        head_outs = [attn_head(h) for attn_head in self.heads]
        if self.merge == 'cat':
            # 对输出特征维度（第1维）做拼接
            return torch.cat(head_outs, dim=1)
        else:
            # 用求平均整合多头结果
            return torch.mean(torch.stack(head_outs))

在Cora数据集上训练一个GAT模型

Cora是经典的文章引用网络数据集。Cora图上的每个节点是一篇文章，边代表文章和文章间的引用关系。每个节点的初始特征是文章的词袋（Bag of words）表示。其目标是根据引用关系预测文章的类别（比如机器学习还是遗传算法）。在这里，我们定义一个两层的GAT模型：

class GAT(nn.Module):
    def __init__(self, g, in_dim, hidden_dim, out_dim, num_heads):
        super(GAT, self).__init__()
        self.layer1 = MultiHeadGATLayer(g, in_dim, hidden_dim, num_heads)
        # 注意输入的维度是 hidden_dim * num_heads 因为多头的结果都被拼接在了
        # 一起。此外输出层只有一个头。
        self.layer2 = MultiHeadGATLayer(g, hidden_dim * num_heads, out_dim, 1)


    def forward(self, h):
        h = self.layer1(h)
        h = F.elu(h)
        h = self.layer2(h)
        return h

我们使用DGL自带的数据模块加载Cora数据集。

from dgl import DGLGraph
from dgl.data import citation_graph as citegrh


def load_cora_data():
    data = citegrh.load_cora()
    features = torch.FloatTensor(data.features)
    labels = torch.LongTensor(data.labels)
    mask = torch.ByteTensor(data.train_mask)
    g = DGLGraph(data.graph)
    return g, features, labels, mask

模型训练的流程和GCN教程里的一样。

import time
import numpy as np
g, features, labels, mask = load_cora_data()


# 创建模型
net = GAT(g, 
          in_dim=features.size()[1], 
          hidden_dim=8, 
          out_dim=7, 
          num_heads=8)
print(net)


# 创建优化器
optimizer = torch.optim.Adam(net.parameters(), lr=1e-3)


# 主流程
dur = []
for epoch in range(30):
    if epoch >=3:
        t0 = time.time()


    logits = net(features)
    logp = F.log_softmax(logits, 1)
    loss = F.nll_loss(logp[mask], labels[mask])


    optimizer.zero_grad()
    loss.backward()
    optimizer.step()


    if epoch >=3:
        dur.append(time.time() - t0)


    print("Epoch {:05d} | Loss {:.4f} | Time(s) {:.4f}".format(
            epoch, loss.item(), np.mean(dur)))

可视化并理解学到的注意力

1、Cora数据集

以下表格总结了GAT论文以及dgl实现的模型在Cora数据集上的表现：

可以看到DGL能完全复现原论文中的实验结果。对比图卷积网络GCN，GAT在Cora上有2~3个百分点的提升。

不过，我们的模型究竟学到了怎样的注意力机制呢？

由于注意力权重与图上的边密切相关，我们可以通过给边着色来可视化注意力权重。以下图片中我们选取了Cora的一个子图并且在图上画出了GAT模型最后一层的注意力权重。我们根据图上节点的标签对节点进行了着色，根据注意力权重的大小对边进行了着色（可参考图右侧的色条）。

Cora数据集上学习到的注意力权重

乍看之下模型似乎学到了不同的注意力权重。为了对注意力机制有一个全局观念，我们衡量了注意力分布的熵。对于节点，  构成了一个在邻节点上的离散概率分布。它的熵被定义为：

直观的说，熵低代表了概率高度集中，反之亦然。熵为则所有的注意力都被放在一个点上。均匀分布具有最高的熵（  ）。在理想情况下，我们想要模型习得一个熵较低的分布（即某一、两个节点比其它节点重要的多）。注意由于节点的入度不同，它们注意力权重的分布所能达到的最大熵也会不同。

基于图中所有节点的熵，我们画了所有头注意力的直方图。

Cora数据集上学到的注意力权重直方图

作为参考，下图是在所有节点的注意力权重都是均匀分布的情况下得到的直方图。

出人意料的，模型学到的节点注意力权重非常接近均匀分布（换言之，所有的邻节点都获得了同等重视）。这在一定程度上解释了为什么在Cora上GAT的表现和GCN非常接近（在上面表格里我们可以看到两者的差距平均下来不到）。由于没有显著区分节点，注意力并没有那么重要。

这是否说明了注意力机制没什么用？不！在接下来的数据集上我们观察到了完全不同的现象。

2、蛋白质交互网络 (PPI)

PPI（蛋白质间相互作用）数据集包含了24张图，对应了不同的人体组织。节点最多可以有121种标签（比如蛋白质的一些性质、所处位置等）。因此节点标签被表示为有个121元素的二元张量。数据集的任务是预测节点标签。

我们使用了20张图进行训练，2张图进行验证，2张图进行测试。平均下来每张图有2372个节点。每个节点有50个特征，包含定位基因集合、特征基因集合以及免疫特征。至关重要的是，测试用图在训练过程中对模型完全不可见。这一设定被称为归纳学习。

我们比较了dgl实现的GAT和GCN在10次随机训练中的表现。模型的超参数在验证集上进行了优化。在实验中我们使用了micro f1 score来衡量模型的表现。

在训练过程中，我们使用了 BCEWithLogitsLoss 作为损失函数。下图绘制了GAT和GCN的学习曲线；显然GAT的表现远优于GCN。

PPI数据集上GCN和GAT学习曲线比较

像之前一样，我们可以通过绘制节点注意力分布之熵的直方图来有一个统计意义上的直观了解。以下我们基于一个3层GAT模型中不同模型层不同注意力头绘制了直方图。

第一层学到的注意力：

第二层学到的注意力：

最后一层学到的注意力：

作为参考，下图是在所有节点的注意力权重都是均匀分布的情况下得到的直方图。

可以很明显地看到，GAT在PPI上确实学到了一个尖锐的注意力权重分布。与此同时，GAT层与层之间的注意力也呈现出一个清晰的模式：在中间层随着层数的增加注意力权重变得愈发集中；最后的输出层由于我们对不同头结果做了平均，注意力分布再次趋近均匀分布。

不同于在Cora数据集上非常有限的收益，GAT在PPI数据集上较GCN和其它图模型的变种取得了明显的优势（根据原论文的结果在测试集上的表现提升了至少20%）。我们的实验揭示了GAT学到的注意力显著区别于均匀分布。虽然这值得进一步的深入研究，一个由此而生的假设是GAT的优势在于处理更复杂领域结构的能力。

好消息！

小白学视觉知识星球

开始面向外开放啦

下载1：OpenCV-Contrib扩展模块中文版教程

在「小白学视觉」公众号后台回复：扩展模块中文教程，即可下载全网第一份OpenCV扩展模块教程中文版，涵盖扩展模块安装、SFM算法、立体视觉、目标跟踪、生物视觉、超分辨率处理等二十多章内容。


下载2：Python视觉实战项目52讲
在「小白学视觉」公众号后台回复：Python视觉实战项目，即可下载包括图像分割、口罩检测、车道线检测、车辆计数、添加眼线、车牌识别、字符识别、情绪检测、文本内容提取、面部识别等31个视觉实战项目，助力快速学校计算机视觉。


下载3：OpenCV实战项目20讲
在「小白学视觉」公众号后台回复：OpenCV实战项目20讲，即可下载含有20个基于OpenCV实现20个实战项目，实现OpenCV学习进阶。


交流群

欢迎加入公众号读者群一起和同行交流，目前有SLAM、三维视觉、传感器、自动驾驶、计算摄影、检测、分割、识别、医学影像、GAN、算法竞赛等微信群（以后会逐渐细分），请扫描下面微信号加群，备注：”昵称+学校/公司+研究方向“，例如：”张三 + 上海交大 + 视觉SLAM“。请按照格式备注，否则不予通过。添加成功后会根据研究方向邀请进入相关微信群。请勿在群内发送广告，否则会请出群，谢谢理解~