一种基于公共谓词逻辑的语义固化和派生方法

摘要

本发明公开了一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：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的需求。