国际商业机器公司R·里杰尔获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉国际商业机器公司申请的专利用于逻辑神经网络的方法、系统和程序产品获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115605877B 。
龙图腾网通过国家知识产权局官网在2025-10-31发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202180034524.0，技术领域涉及：G06N3/042；该发明授权用于逻辑神经网络的方法、系统和程序产品是由R·里杰尔;F·卢斯;I·Y·阿克哈尔瓦亚;N·A·卡恩;N·马孔多;F·巴拉霍纳;A·格雷设计研发完成，并于2021-04-13向国家知识产权局提交的专利申请。
本用于逻辑神经网络的方法、系统和程序产品在说明书摘要公布了：一种用于配置和使用逻辑神经网络的系统，所述逻辑神经网络包括经由表示每个命题的节点彼此连接的所表示的知识库中的公式的图语法树。对于在每个公式中出现的每个逻辑连接存在一个神经元，此外，对于在任何公式中出现的每个唯一命题存在一个神经元。所有神经元返回代表其对应子公式和命题的真值的上限和下限的值对。对应于逻辑连接的神经元接受对应于它们的操作数的神经元的输出作为输入，并且具有配置成匹配连接的真值函数的激活函数。对应于命题的神经元接受作为命题的真值的界限的证明而建立的神经元的输出作为输入，并且具有被配置成聚集最紧密的这样的界限的激活函数。双向推断允许每个公式中每个命题的每次出现被用作潜在的证明。
本发明授权用于逻辑神经网络的方法、系统和程序产品在权利要求书中公布了：1.一种计算机实现的方法，包括： 在一个或多个硬件处理器处接收输入查询和用于基于所述输入查询来推断逻辑真值的输入命题； 根据与推断规则相对应的逻辑公式系统，使用所述一个或多个硬件处理器来配置逻辑神经网络结构，所述逻辑神经网络结构包括表示所述输入命题的一个或多个命题神经元以及表示逻辑连接的一个或多个神经元，所述一个或多个命题神经元表示输入谓词，所述输入谓词是从图像或文本中提取的； 使用所述一个或多个硬件处理器在每个逻辑连接神经元处配置用于计算逻辑公式的逻辑连接的真值的相应激活函数； 使用所述逻辑神经网络结构基于所述输入查询来评估逻辑推断；以及 响应于所述评估，输出在聚集界限内证明或未证明所述逻辑推断的输出真值。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人国际商业机器公司，其通讯地址为：美国纽约；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励