一种基于公共谓词逻辑的语义固化和派生方法
实质审查的生效
摘要
本发明公开了一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：1)为自动机A选取或设计语义单元X，构成一语义单元集{X}及其对应的数据状态集{D}；2)对{X}中各语义单元进行数字特征获取并计算每一语义单元的索引值，得到一语义单元索引集{H_X}及数字特征集{Sign_X}；对{D}中各数据状态进行数字特征获取并计算每一数据状态的索引值，得到一数据状态索引集{H_D}及数字特征集{Sign_D}；3)分别以{H_X}、{H_D}作为输入进行计算模式得到自动机A的根Root_A；4)A’通过Root_A启动自动机A，获取自动机A的所有语义单元、数据状态进行驱动，从而获得对自动机A的需求。
基本信息
专利标题 ：
一种基于公共谓词逻辑的语义固化和派生方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114372471A
申请号 ：
CN202011102058.9
公开（公告）日 ：
2022-04-19
申请日 ：
2020-10-15
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
史兴国陈光宇杨垂柏
申请人 ：
苏州超块链信息科技有限公司
申请人地址 ：
江苏省苏州市工业园区星湖街328号创意产业园2-A309
代理机构 ：
北京君尚知识产权代理有限公司
代理人 ：
司立彬
优先权 ：
CN202011102058.9
主分类号 ：
G06F40/30
IPC分类号 ：
G06F40/30 G06F40/284 G06F16/31
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F40/30
语义分析
法律状态
2022-05-06 ：
实质审查的生效
IPC(主分类) : G06F 40/30
申请日 : 20201015
申请日 : 20201015
2022-04-19 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
