1.一种基于命题逻辑的规范拆解方法，其特征在于：具体包括如下步骤：

步骤1，针对具体规范条目进行语义分析，按照分析结果从左至右将其拆分为多个简单句的集合Sentence_Set{S1，S2，…，Sn}，其中n为简单句的个数；

步骤2，按照数理逻辑中原子命题的概念对步骤1中得到的简单句集合Sentence_Set{S1,S2,…,Sn}进行命名，并将其映射表示为原子命题集合Simple_Proposition_Set{SP1,SP2,…,SPn}；

步骤3，基于步骤1中的语义分析结果，获得该规范条目的语义标签集合Semantic_Label_Set{SL1，SL2，…，SLn}；

步骤4，通过对步骤1中得到的简单句集合Sentence_Set{S1，S2，…，Sn}进行语法分析，获得每一简单句Si的连接词或程度词Ci，其中，i＝1，2，3……n，从而得到该规范条目的连接词集合Conjunction_Set{C1，C2，…，Cn}；

步骤5，根据步骤3所得结果和步骤4所得结果，确定步骤2中原子命题集合Simple_Proposition_Set{SP1,SP2,…,SPn}中原子命题SPi和SPj之间的逻辑连结词LCi,j,得到该条规范的连结词集合Logical_Connectives_Set{LC1,2，LC2,3，…，LCn-1,n}；

步骤6，根据步骤3和步骤5中所得结果,符号化表达规范条目信息；

步骤7，针对步骤6中的规范条目符号化表达抽象出该规范条目对应的命题公式PF，并将命题公式PF转化为等值合取范式CNF表达；

步骤8,将步骤2中的原子命题集合Simple_Proposition_Set{SP1,SP2,…,SPn}作为步骤7所得到的合取范式CNF的一组真值指派Assignment_Set{P1,P2,…,Pn}，用合取范式附加真值指派来表达具体规范条目；

步骤9，针对某本规范全部条目重复上述步骤1～8后得到规范条目命题公式等值合取范式集合Conjunctive_Normal_Form_Map<条目编号,CNF>{1.1.1,CNF1.1.1；1.1.2,CNF1.1.2；…；n.n.n,CNFn.n.n}和真值指派集合Assignment_Map<条目编号,Assignment_Set>{1.1.1,AS1.1.1；1.1.2,AS1.1.2；…；n.n.n,ASn.n.n；}；

步骤10，将步骤9所得结果存储到计算机中，即实现了行业规范知识的信息化表达。

2.根据权利要求1所述的一种基于命题逻辑的规范拆解方法，其特征在于：所述步骤1的具体过程如下：步骤1.1，针对具体规范条目进行语义分析,明确该规范条目中描述限定的主体M；

步骤1.2，将规范条目中对于描述主体M表示的一项约束语义转化为简单的陈述句每一个陈述句叫做一个条件,记为Coi，并将这些陈述句存储为集合起名为条件集Condition_Set{Co1,Co2,…,Con}；

步骤1.3，将规范条目中对于描述主体在条件集Condition_Set{Co1,Co2,…,Con}中每一个或每一组条件下的结果记为Rei，获得与条件集Condition_Set{Co1,Co2,…,Con}具有一对一或一对多映射关系的结果集Result_Set{Re1,Re2,…,Ren}；

步骤1.4，将条件集Condition_Set{Co1,Co2,…,Con}和结果集Result_Set{Re1,Re2,…,Ren}合并后得到简单句的集合Sentence_Set{S1，S2，…，Sn}。

3.根据权利要求2所述的一种基于命题逻辑的规范拆解方法，其特征在于：所述步骤

1.2的具体过程为：

当针对描述主题M的一项约束语义是句子时，将这个句子简化后作为条件句Coi，并将这些条件句存储为集合起名为条件集Condition_Set{Co1,Co2,…,Con}；

当针对描述主题M的一项约束语义是名词时，将M与该名词的关系扩展成条件句Coi，并将这些条件句存储为集合起名为条件集Condition_Set{Co1,Co2,…,Con}。

4.根据权利要求3所述的一种基于命题逻辑的规范拆解方法，其特征在于：所述步骤3的具体过程为：依据步骤1得到的简单句集合Sentence_Set{S1，S2，…，Sn}中包含的条件集Condition_Set{Co1,Co2,…,Con}和结果集Result_Set{Re1,Re2,…,Ren}之间一对一或多对一的映射关系来确定简单句中Si的语义标签SLi,获得该规范条目的语义标签集合Semantic_Label_Set{SL1，SL2，…，SLn}。

5.根据权利要求4所述的一种基于命题逻辑的规范拆解方法，其特征在于：所述步骤6的具体过程为：根据步骤3得到的Semantic_Label_Set{SL1，SL2，…，SLn}和步骤5得到的Logical_Connectives_Set{LC1,2，LC2,3，…，LCn-1,n}中的具体元素,符号化表达规范条目信息。