恭喜杭州新范式生物医药科技有限公司沈雪玲获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网恭喜杭州新范式生物医药科技有限公司申请的专利一种逻辑表示及其推理引擎方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN113449527B 。
龙图腾网通过国家知识产权局官网在2025-04-29发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202110701649.6,技术领域涉及:G06F40/30;该发明授权一种逻辑表示及其推理引擎方法是由沈雪玲设计研发完成,并于2021-06-24向国家知识产权局提交的专利申请。
本一种逻辑表示及其推理引擎方法在说明书摘要公布了:本发明公开了一种逻辑表示及其推理引擎方法,即一种语意和语意生成规则的表示方法,以及依据该表示方法进行语意理解与新语意生成的计算方法,包括语意表示方法、逻辑表示方法、推理计算方法三个部分,三者有机结合,基于已知语意,按照可由自然语言定义的逻辑规则或函数,推理得到新的语意,可以表示所有可用自然语言表述的逻辑规则,本发明为实现自然语言的理解和生成、强人工智能的使能技术之一;可以执行以特定目标为导向的推理,即循证;循证推理可以优化计算和储存资源的使用,集中于目标;本发明所公开的推理系统是一个对于语意而言的开放推理系统,这一推理系统可以生成新的语意,而不仅仅是对一个预先定义的语意集合进行选择。
本发明授权一种逻辑表示及其推理引擎方法在权利要求书中公布了:1.一种逻辑表示及其推理引擎方法,其特征在于,所述的方法包括语意表示方法、逻辑表示方法和推理计算方法,三个部分有机结合,基于已知语意推理得到新的语意,其中:1所述的语意表示方法,语意之间存在如下关系:i.一个记为A的语意通过一种一对一的关系,对应一个记为B的语意,称B为A的范式语意;ii.一个记为A的语意通过一种一对多的关系,对应于一个或多个语意,称这一个或多个语意为A的具体语意;iii.语意之间通过下述第2项的映射规则建立关系;基于映射规则建立的关系与前述第i点的语意之间的一对一关系和第ii点的语意之间的一对多关系类似,可被记录和读取;iv.两个语意合并形成一个语意,合并后的一个语意具有合并前的两个语意的全部与其它语意之间的关系;由语意合并的定义可知,只有范式语意相同的语意才能相互合并,否则融合后的语意具有两个或以上的范式语意,违反前述第i点规则;v.实际应用中,若不存在需要合并语意的情形,则上述语意表示方法的语意可合并的特性可不在语意表示方法的具体实现中体现;2所述的逻辑表示方法,逻辑表示为一组映射规则,映射规则具有如下特征:i.映射规则为一对多映射,即一个语意经由一个映射规则得到一个或多个语意;不同的语意经由同一个映射规则得到同一个语意;称一个记为A语意经由一个映射规则得到一个或多个语意的过程为一个映射任务,A为所述映射任务的出发语意;ii.一个特定的记为T的映射规则具有一个特定的定义域,即T仅作用于以一个特定的记为D的语意为范式语意的语意,称D为T的定义域语意;iii.一个特定的记为T的映射规则具有一个特定的值域,即经由T仅得到以一个特定的记为R的语意为范式语意的语意,称R为T的值域语意;iv.一个映射任务在执行的过程中,使用与所述任务的出发语意相关的一组语意作为参数,这一组语意称为一个映射任务的参数语意集;v.映射规则与它的定义域语意和值域语意的组合一一对应;即一个映射规则具有一个定义域语意和一个值域语意;当给定一对语意分别作为一个映射规则的定义域语意和值域语意时,唯一确定这个映射规则或确定不存在这样的映射规则;因此,用一个记为D,R的语意二元组表示一个映射规则的名称;vi.映射规则可逆,即若存在一个记为T的映射规则,T的定义域语意为D,T的值域语意为R,则必然存在另一个记为T’映射规则,T’的定义域语意为R,T’的值域语意为D;且当一个记为A的语意经映射规则T得到另一个记为B的语意时,B经映射规则T’得到A;3所述的推理计算方法,当语意被生成或更新时,触发映射任务执行:i.语意的生成,指组合一个范式语意和至少一个具体语意成为一个新的语意;ii.语意的更新,指改变一个语意与其它语意的关系,包括:记录所述语意与其它语意之间的映射关系,将两个语意合并为一个语意,添加或删除一个语意与其具体语意之间的关系;在实际应用中,若不存在某些语意之间的关系发生改变的情况,则推理计算方法的具体实现中可不体现处理这些语意之间的关系发生改变的内容;iii.当一个语意被生成时,触发以所述语意为出发语意,由可作用于所述语意的映射规则定义的映射任务执行;当一个语意被更新时,触发执行过程使用所述语意为参数语意的已执行的映射任务更新结果;直到没有可执行或应更新结果的映射任务;在实际应用中,若不存在需要触发已执行的映射任务更新结果的情况,则不在推理计算方法的具体实现中体现相应的机制;所述的方法由专门设计的硬件计算设备完成,具体实现为由专门设计的神经网络计算硬件完成,该硬件计算设备的设计和操作与图的结构和操作相对应,对应关系的特征是:一个语意代码对应一个硬件神经元,语意代码为图中的节点或边的标记,硬件神经元即硬件计算单元,即每个硬件神经元可以通过一个语意代码寻址并激活;硬件计算设备包含大量的备用硬件神经元,每个备用硬件神经元对应一个独一无二的可用作语意代码的代码作为其地址,备用硬件神经元按需启用;图结构的操作的基本模式对应的硬件计算设备操作是,通过两个已激活的代码为A和B的硬件神经元找到第三个可被激活的硬件神经元,并在一定条件下激活该硬件神经元;在图操作需要生成新的语意代码标记的节点或边时,启用备用的硬件神经元以生成新的语意代码,并将新启用的硬件神元按图操作的逻辑做相应连接;一个硬件神经元需要在它的两个输入硬件神经元处于激活状态时,才能够被激活;若图中存在一条边的标记与其起点节点的标记相同,则以该边的终点节点标记为地址的硬件神经元可以仅在以该边的起点节点标记为地址的一个硬件神经元处于激活状态时被激活,其它硬件计算设备的功能在上述对应于图操作的功能的基础上相应设计。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人杭州新范式生物医药科技有限公司,其通讯地址为:310052 浙江省杭州市滨江区滨安路1180号1幢2号楼2层2125室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。