1.一种基于谓词逻辑的规范重构表示方法，其特征在于：具体包括如下步骤：步骤1，将规范条目分割为多个子句；

所述步骤1的具体过程如下：

步骤1.1，取出一条规范，先根据句中的逗号、分号和句号将句子断句，将该条规范表示为包含多个短句的短句集，并对断句后缺失主语的短句进行主语补充，并对每个短句进行编号；

步骤1.2，对步骤1.1所得短句中个体词数大于1个的主语或宾语进行子句抽取和谓语补充；

步骤1.3，对经步骤1.2处理后的每个子句进行编号，并提取子句的主语和宾语作为前置个体集和后置个体集；

步骤2，对步骤1得到的子句进行归一化处理；

所述步骤2的具体过程如下：

步骤2.1，对子句中的谓语进行抽取，其中有否定含义谓语的，将其转化为肯定含义，组成谓语集合；

步骤2.2，将步骤2.1所得的谓语集合中的词项通过语义判断进行分类排序，将表达一类意思的词组成类别谓语集合；

步骤2.3，对步骤2.2所得的类别谓语集合进行聚类，即将一类词用一个词语表达出来作为集合名；

步骤3，对经步骤2处理后的子句成分进行符号化处理，并将处理后的结果存入计算机中；

所述步骤3的具体过程如下：

步骤3.1，将步骤2.2中的类别谓语集合的集合名称作为谓词，修饰性谓语化为一元谓词，表示为 根据关系谓语性质，将关系谓语化为二元谓词和多元谓词，二元谓词表示为 多元谓词表示为

其中P是集合名称；xi是谓词变元，i为正整数，xi取值为前置个体集和后置个体集；n为类别谓语集合下标，下标数字对应集合中的同义谓语词；m为程度词集合下标，步骤3.2，对步骤3.1中的谓词进行量化及符号表示，将短句中的全称量词 存在量词和存在唯一量词 提取出来并提前，表示为 和步骤3.3，使用联结词将步骤3.2量化后的谓词连接起来组成合式谓词公式，根据量词和句意使用联结词，其中全称量词 后跟条件式，存在量词 后跟合取式；

步骤3.4，根据谓词逻辑等价公式和量词否定等值式求步骤3.3所得的合式谓词公式的前束范式，使得规范条目逻辑表达格式统一；

步骤3.5，根据步骤3.4统一后的规范条目逻辑表达式，列出谓词变元的取值集合，以条目编号为标记，最终存入计算机中。

2.根据权利要求1所述的一种基于谓词逻辑的规范重构表示方法，其特征在于：所述步骤1.2的具体过程为：

若主语或宾语由2个及2个以上的个体词构成，判断各个体词之间是平行关系、从所属关系、属性关系或关联关系；

若各个体词之间为从所属关系、属性关系、关联关系，应将主语或宾语提取出来作为单独的子句，并根据其语义为其添加谓语。