[发明专利]一种基于命题逻辑的规范拆解方法

摘要

本发明公开了一种基于命题逻辑的规范拆解方法，具体包括如下步骤：针对具体规范条目进行语义分析，将规范拆解为多个简单的句子，对所得的句子进行命名，并将其映射表示为原子命题集合；基于对简单句子的分析结果，获得该规范条目的语义标签集合；通过对简单句集合进行语法分析，获得每一简单句的连接词或程度词，从而得到该规范条目的连接词集合；确定原子命题集合中原子命题和之间的逻辑连结词,得到该条规范的连结词集合；将原子命题集合作为合取范式的一组真值指派，用合取范式附加真值指派来表达具体规范条目；本发明提供的方法能够将建筑行业规范条目的文本信息和规范条目所包含的语义信息进行数字化表达。

主权项

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所得结果存储到计算机中，即实现了行业规范知识的信息化表达。