|国家科技期刊平台
| 注册
首页|期刊导航|西南交通大学学报|基于边权重图神经网络的一阶逻辑前提选择

基于边权重图神经网络的一阶逻辑前提选择

刘清华 徐扬 吴贯锋 李瑞杰

西南交通大学学报2022，Vol.57Issue(6)：P.1368-1375,8.
✕
西南交通大学学报2022，Vol.57Issue(6)：P.1368-1375,8.DOI:10.3969/j.issn.0258-2724.20210134

基于边权重图神经网络的一阶逻辑前提选择

刘清华 1徐扬 2吴贯锋 2李瑞杰3

作者信息

  • 1. 西南交通大学信息科学与技术学院,四川成都611756 西南交通大学系统可信性自动验证国家地方联合工程实验室,四川成都610031
  • 2. 西南交通大学系统可信性自动验证国家地方联合工程实验室,四川成都610031 西南交通大学数学学院,四川成都611756
  • 3. 西南交通大学交通运输与物流学院,四川成都611756
  • 折叠

摘要

关键词

图神经网络/双向图/前提选择/一阶逻辑公式

分类

信息技术与安全科学

引用本文复制引用

刘清华,徐扬,吴贯锋,李瑞杰..基于边权重图神经网络的一阶逻辑前提选择[J].西南交通大学学报,2022,57(6):P.1368-1375,8.

基金项目

中央高校基本科研业务费专项资金(2682020CX59,2682021CX057) （2682020CX59,2682021CX057）

教育部人文社会科学研究项目(20XJCZH016,19YJCZH048) （20XJCZH016,19YJCZH048）

四川省科技计划(2020YJ0270,2020YFH0026)。 （2020YJ0270,2020YFH0026）

西南交通大学学报

OA北大核心CSCDCSTPCD

0258-2724

访问量0
|
下载量0
段落导航相关论文