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

说明书

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

技术领域

本发明属于建筑工程行业规范智能化应用技术领域，涉及一种基于命题逻辑的规范拆解方法。

背景技术

建筑工程行业规范对于工程从业者来讲，就如同法律条文对于政法工作者一般，在具体工程项目中无论是全生命周期(规划、勘察、设计、施工、运维、拆除)中的哪一个阶段，都必须严格遵守规范条目中对于具体事项的解释说明和约束要求。

一系列的建筑规范是行业知识用自然语言描述的文本格式表达。建筑行业相关人员通过研读规范获取专业知识，并将获取到的知识用于两部分工作，一部分是工程项目全生命周期各阶段工作开始前和过程中的参考分析，另一部分是工程项目全生命周期各阶段工作结束后的校核审查。

随着国内BIM(Building Information Model)技术研究迈向BIM2.0时代，以及住建部《建筑工程信息模型应用统一标准》、《建筑工程设计信息模型分类编码标准》、《建筑工程设计信息模型交付标准》等一系列BIM标准的提出与制定，三维BIM智能建造时代即将到来，全生命周期中流通的信息载体也将从二维CAD图纸向三维BIM模型演变。

随着信息载体三维化的演变，针对上述两部分工作(参考分析和校核审查)的工作模式提出智能化升级的需求。而建筑行业工作智能化的基础在于行业知识的信息化表达，即现阶段文本格式规范需要通过某种方式数字化存储于计算机中。将非结构化的规范文档转存为结构化的规则库，转存的过程中不仅要解决形式层面上的存储，还要解决语义层面上的存储。一种建筑规范条目知识信息化表达方法已经成为建筑行业信息化的迫切需求，同时也是针对参考分析、校核审查这两阶段智能化研究的关键问题，这一方法的提出将为建筑产业现代化发展做出贡献。

发明内容

本发明的目的是提供一种基于命题逻辑的规范拆解方法，能够将建筑行业规范条目的文本信息和规范条目所包含的语义信息进行数字化表达。

本发明所采用的技术方案是，一种基于命题逻辑的规范拆解方法，具体包括如下步骤：

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

步骤2，按照数理逻辑中原子命题的概念对步骤1中得到的简单句集合Sentence_Set{S₁,S₂,…,S_n}进行命名，并将其映射表示为原子命题集合Simple_Proposition_Set{SP₁,SP₂,…,SP_n}；

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