-
公开(公告)号：CN117808084A
公开(公告)日：2024-04-02
申请号：CN202311490926.9
申请日：2023-11-09
Applicant: 西南交通大学
IPC: G06N5/01 , G06N3/042 , G06N3/045 , G06N3/0464 , G06N3/09 , G06F18/241
Abstract: 本发明涉及人工智能技术领域，涉及一种基于图约简表示与图神经网络的前提选择方法，包括以下步骤：步骤一：通过判断并删除连续重复的量词得到简化的一阶逻辑公式图；步骤二：基于简化的逻辑公式图，提出一种具有注意力机制的项游走图神经网络模型，模型按照项游走模式聚合位于项游走三元组上部、中部和下部的节点信息，引入注意力机制计算节点的项游走特征权重，并将权重与节点信息结合生成新的节点嵌入向量，再通过全局平均池化得到最终的公式图特征向量；步骤三，将候选前提和给定猜想的图特征向量输入到二元分类器，进而实现对候选前提的分类。本发明能较佳地进行前提选择。
-
公开(公告)号：CN108875951A
公开(公告)日：2018-11-23
申请号：CN201710335867.6
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法依次通过：对一阶逻辑中的子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：如果S不可满足，则停止；否则，抽取标准矛盾体内部子句以得到的t个子句为目标，分别对S进行演绎推理，如果能演绎出这t个子句，则停止演绎，得到结论：S不可满足；否则，循环如上过程，直至得到S属性的判定结论或满足设定条件停止；本发明能动态抽取标准矛盾体内部子句，形成动态逆向演绎目标，实现对逻辑公式集属性判定的并行处理，有效指导演绎推理，提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可应用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN108875943A
公开(公告)日：2018-11-23
申请号：CN201710335319.3
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于矛盾体分离的多元动态自动演绎推理方法，对于命题逻辑中子句集S，在S中选出k个子句Cj1，Cj2，…，Cjk，满足Cj1，Cj2，…，Cjk含有矛盾体；第二步，在子句Cj1，Cj2，…，Cjk中删除矛盾体中的文字，将全部剩余文字进行析取形成矛盾体分离式；最后，判定子句集S的属性：若得出判定结果，则停止，否则，将矛盾体分离式并入S中得到新子句集，并对新子句集执行前两步，直到得出结果。该方法可同时使用子句集中的多个甚至全部子句参与演绎，在更大程度上刻画了多子句之间的整体协同逻辑关系，是将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制。
-
公开(公告)号：CN108875941A
公开(公告)日：2018-11-23
申请号：CN201710334658.X
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于矛盾体分离式的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断S的不可满足性：如果判定S不可满足则停止，否则，基于矛盾体分离式构造逆向演绎子句集，得到t个新子句集并进行演绎推理，如果对t个新子句集的演绎结果都是空子句，则S不可满足，否则循环前述步骤，直至得到S属性的判定结论或满足设定条件停止；本发明能动态分解矛盾体分离式，形成动态逆向演绎目标，有效指导下一步演绎推理，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的演绎效率；本发明可用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN108875940A
公开(公告)日：2018-11-23
申请号：CN201710334654.1
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了命题逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法步骤为：对命题逻辑中子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：若矛盾体分离式为空则停止，得到结论：S不可满足；否则，抽取矛盾体内部子句并以所得t个子句为目标，分别对S进行演绎推理，若能演绎出这t个子句，则停止，得到结论：S不可满足；否则，循环如上过程，直至得到S属性的判定结论或满足设定条件停止；本发明能动态抽取矛盾体内部子句，形成动态逆向演绎目标，并对分解后的逻辑公式集属性判定进行并行处理，有效提高基于矛盾体分离的动态自动演绎推理系统的效率；本发明可应用于程序验证、定理机器证明等领域。
-
Patent Agency Ranking
公开(公告)号：CN118966273A
公开(公告)日：2024-11-15
申请号：CN202411443001.3
申请日：2024-10-16
Applicant: 西南交通大学
Abstract: 本发明涉及自动推理技术领域，提供一种面向前提选择的图神经网络与逻辑融合方法，包括：步骤1、将一阶逻辑公式表示成逻辑公式图；步骤2、通过图神经网络逻辑融合模型进行信息传递、信息聚合与池化，最终将逻辑公式图转化为图特征表示；步骤3、基于直通估计的逻辑公式改进损失编码；步骤4、建立基于直通估计改进损失的前提选择模型，使用二元分类器结合逻辑公式图、图特征表示和逻辑公式损失进行分类和预测。本发明能较佳地实现图神经网络与逻辑融合。
-
公开(公告)号：CN108875946A
公开(公告)日：2018-11-23
申请号：CN201710335855.3
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了一阶逻辑中基于矛盾体分离的多元动态自动演绎推理方法，该方法通过在一阶逻辑中的子句集S中寻找标准矛盾体，然后在子句集S中剩余的子句中删除出现在标准矛盾体中的文字，并将全部剩余文字进行析取形成矛盾体分离式，最后根据矛盾体分离式判定初始的子句集S的属性，最终直到得出判定结果，则停止演绎推理。本发明可将静态的、二元的归结演绎推理机制改进推广成为动态的、多元的基于矛盾体分离的演绎推理机制，可应用于系统可信性自动验证、定理机器证明等领域，具有多元性、动态性、并行性、协调性、导向性、灵活性、方便性等特点。
-
公开(公告)号：CN108875945A
公开(公告)日：2018-11-23
申请号：CN201710335328.2
申请日：2017-05-12
Applicant: 西南交通大学
IPC: G06N5/04
Abstract: 本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法依次通过：对于一阶逻辑中的子句集构造扩展三角形标准矛盾体，形成标准矛盾体分离式，根据标准矛盾体分离式判断子句集的不可满足性；如果能够判断子句集不可满足，则停止得到结论：被判定的子句集S不可满足；否则，将所得标准矛盾体分离式加入子句集S，形成新的子句集，然后重复构造扩展三角形标准矛盾体，并分离扩展三角形标准矛盾体，直至得到子句集S属性的判定结论或满足设定条件停止；本发明提供了一阶逻辑中一种有效的基于矛盾体分离的动态自动演绎推理方法，能有效刻画多个子句间的协同逻辑关系，并可应用于程序验证、定理机器证明等领域。
-
公开(公告)号：CN118966273B
公开(公告)日：2025-01-24
申请号：CN202411443001.3
申请日：2024-10-16
Applicant: 西南交通大学
Abstract: 本发明涉及自动推理技术领域，提供一种面向前提选择的图神经网络与逻辑融合方法，包括：步骤1、将一阶逻辑公式表示成逻辑公式图；步骤2、通过图神经网络逻辑融合模型进行信息传递、信息聚合与池化，最终将逻辑公式图转化为图特征表示；步骤3、基于直通估计的逻辑公式改进损失编码；步骤4、建立基于直通估计改进损失的前提选择模型，使用二元分类器结合逻辑公式图、图特征表示和逻辑公式损失进行分类和预测。本发明能较佳地实现图神经网络与逻辑融合。
-
公开(公告)号：CN116436739A
公开(公告)日：2023-07-14
申请号：CN202310673742.X
申请日：2023-06-08
Applicant: 西南交通大学
Abstract: 本发明涉及OFDM系统的信道估计技术领域，提供一种信道估计方法、装置、设备及可读存储介质，所述方法包括获取频域序列信息；对所述频域序列信息进行2N点傅里叶逆变换，得到第一时域序列信息；对所述第一时域序列信息进行时域处理，得到第二时域序列信息，所述第二时域序列信息为所述第一时域序列信息下一次迭代对应的时域序列信息；根据所述第二时域序列信息对信道进行估计，本发明通过对随机生成序列进行时域处理，使本发明生成的时域序列具有在欠CP情形下抗ISI和ICI的能力，可以有效的提高信道估计性能的增益效果。
-
-
-
-
-
-
-
-
-
Search Results
18
records
(took 0.018 seconds)
