申请/专利权人：四川省计算机研究院

申请日：2023-10-10

公开（公告）日：2023-12-22

公开（公告）号：CN117272015A

主分类号：G06F18/211

分类号：G06F18/211;G06F18/241;G06F18/214;G06N3/04;G06N3/082

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.01.09#实质审查的生效;2023.12.22#公开

摘要：本发明提供一种一阶逻辑中基于树分支图神经网络的前提选择方法，包括如下步骤：S1：构造基于treelet的图神经网络模型的步骤；以及S2：使用基于treelet图神经网络的分类模型，对前提进行分类的步骤。该一方法在构造基于treelet的图神经网络中，通过将treelet信息加入到消息传递中，保留了一阶逻辑公式内部的顺序信息，可以得到逻辑公式更好的图表示。同时，在分类模块中使用Adam优化器并根据训练集上的损失自动调整学习率。为凸显逻辑公式内部的顺序信息的重要性，在消息聚合部分，仅采用信息叠加的方式做节点更新。实验结果也证明了本发明在前提选择任务中的优越性。

主权项：1.一种一阶逻辑中基于树分支图神经网络的前提选择方法，其特征在于，包括如下步骤：S1：构造基于treelet的图神经网络模型的步骤；以及S2：使用基于treelet图神经网络的分类模型，对前提进行分类的步骤。

全文数据：

权利要求：

百度查询： 四川省计算机研究院 一阶逻辑中基于树分支图神经网络的前提选择方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD