买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜苏州超块链信息科技有限公司申请的专利一种基于公共谓词逻辑的语义固化和派生方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114372471B 。

龙图腾网通过国家知识产权局官网在2024-09-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202011102058.9，技术领域涉及：G06F40/30；该发明授权一种基于公共谓词逻辑的语义固化和派生方法是由史兴国;陈光宇;杨垂柏设计研发完成，并于2020-10-15向国家知识产权局提交的专利申请。

本一种基于公共谓词逻辑的语义固化和派生方法在说明书摘要公布了：本发明公开了一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：1为自动机A选取或设计语义单元X，构成一语义单元集{X}及其对应的数据状态集{D}；2对{X}中各语义单元进行数字特征获取并计算每一语义单元的索引值，得到一语义单元索引集{H_X}及数字特征集{Sign_X}；对{D}中各数据状态进行数字特征获取并计算每一数据状态的索引值，得到一数据状态索引集{H_D}及数字特征集{Sign_D}；3分别以{H_X}、{H_D}作为输入进行计算模式得到自动机A的根Root_A；4A’通过Root_A启动自动机A，获取自动机A的所有语义单元、数据状态进行驱动，从而获得对自动机A的需求。

本发明授权一种基于公共谓词逻辑的语义固化和派生方法在权利要求书中公布了：1.一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：1为自动机A选取或设计多个用于程序开发的语义单元X，构成一语义单元集{X}；其中，语义单元集{X}包括语义单元X1、X2、…、XN，XN为第N个语义单元；不同语义单元根据需求设计不同而实现不同的逻辑功能；语义单元集{X}对应的数据状态集{D}包括数据状态D1、D2、…、DK；DK为语义单元X处理的第K个数据对应的数据状态；2对语义单元集{X}中各语义单元进行数字特征获取并计算每一语义单元的索引值，得到一语义单元索引集{H_X}及数字特征值集{Sign_X}；其中，数字特征集{Sign_X}包括Sign_X1、Sign_X2、…、Sign_XN，语义单元索引集{H_X}包括H_X1、H_X2、…、H_XN，语义单元XN对应的数字特征为Sign_XN，语义单元XN对应的索引值为H_XN；对数据状态集{D}中各数据状态进行数字特征获取并计算每一数据状态的索引值，得到一数据状态索引集{H_D}及数字特征集{Sign_D}；其中，数据状态索引集{H_D}包括数据状态索引值H_D1、H_D2、…、H_DK，签名集{Sign_D}包括Sign_D1、Sign_D2、…、Sign_DK，H_DK为数据状态DK的索引值，Sign_DK为数据状态DK的数字特征；3以语义单元索引集{H_X}作为输入通过计算模式获得语义根Root_X，以数据状态索引集{H_D}作为输入通过计算模式获得状态根Root_D；以语义根Root_X和状态根Root_D值作为输入通过计算模式得到自动机A的根Root_A；4自动机A’通过自动机A的根Root_A启动自动机A，利用语义根Root_X获取自动机A的所有语义单元，并利用状态根Root_D获取自动机A执行语义所对应的数据状态；然后利用语义单元对应的数字特征对对应的语义单元进行驱动、利用数据状态对应的数字特征对对应的数据进行驱动，利用语义单元中的谓词逻辑对相应的命题逻辑进行处理，从而自动机A’获得对自动机A的需求。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人苏州超块链信息科技有限公司，其通讯地址为：215123 江苏省苏州市工业园区星湖街328号创意产业园2-A309；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。