一种基于公式结构嵌入和图神经网络的公式等价性判定方法

本发明涉及图神经网络与公式表示技术领域，提出了一种基于公式结构嵌入和图神经网络的公式等价性判定方法，其特征在于，包括公式标准化模块、公式结构特征提取模块、图嵌入模块、图级相似度比较模块、节点级相似度比较模块和相似度分数计算模块；所述公式标准化模块用于接收系统输入的原始公式对，将公式结构统一化并传递至公式结构特征提取模块；所述公式结构特征提取模块为公式树的每个节点设置结构信息标签并转化为节点特征向量。本发明中，通过拼接相似性向量，采用交叉注意力机制处理并计算相关矩阵、调整权重，经全连接层映射为单一相似度分数，利用损失函数计算误差并通过反向传播算法调整模型参数，提高了公式等价判定的准确性。