一种构建核电消防规范规则库的方法

摘要

本发明公开了一种构建核电消防规范规则库的方法，其特征在于包括：步骤1、新建或读取规则库后，通过规则分类模块，创建或修改规则库的分类目录；步骤2、对于每一条规则，通过规则的自然语言描述模块为其添加或修改自然语言描述；步骤3、对于每一条规则，通过规则的结构化自然语言描述模块为其添加、修改或删除结构化自然语言描述；步骤4、对于每一条规则的SNL描述，能够通过规则的一致性和完备性检查模块对其进行检查，一致性和完备性检查模块将给出规则描述无误或有误的提示。该方法提出了基于形式化描述语言，对核电领域消防规范条款进行自洽性检查的方法。