用于污水处理系统的判断规则处理方法、装置和系统制造方法及图纸

本发明专利技术公开了一种用于污水处理系统的判断规则处理方法、装置和系统。该判断规则处理方法包括：确定具有标准形式的规则，标准形式包括前提集合和结论集合，前提集合是利用该规则的前提条件之间的析取得到的，前提集合与结论集合中每个结论均具有推理关系；检测第一规则的结论集合是否为污水处理系统的知识中已有规则结论集合的子集；如果是已有规则结论集合的子集，检测第一规则的前提集合是否蕴含已有规则的前提集合；如果第一规则的前提集合蕴含已有规则的前提集合，确定该规则为冗余规则，拒绝在知识库的已有规则中加入该规则。根据本发明专利技术实施例提供的方法，可以优化规则库存储空间，提高专家系统的工作效率和运行结果的正确性。

Judgment Rules Processing Method, Device and System for Sewage Treatment System

The invention discloses a judgment rule processing method, device and system for sewage treatment system. The judgment rule processing method includes: determining rules with standard form, which includes premise set and conclusion set. The premise set is obtained by analyzing the premise conditions of the rule. The premise set and each conclusion in the conclusion set have reasoning relationship; detecting whether the conclusion set of the first rule is a rule conclusion in the knowledge of sewage treatment system. If the premise set of the first rule contains the premise set of the existing rules, it is determined that the rule is redundant and refuses to add the rule to the existing rules of the knowledge base. According to the method provided by the embodiment of the present invention, the storage space of rule inventory can be optimized, and the working efficiency of the expert system and the correctness of the operation results can be improved.

【技术实现步骤摘要】
用于污水处理系统的判断规则处理方法、装置和系统
本专利技术涉及计算机
，尤其涉及一种用于污水处理系统的判断规则处理方法、装置和系统。
技术介绍
专家系统可以应用于各行业工艺流程和设备等的故障诊断，使运维技术人员利用包含知识库的专家经验解决实际问题，弥补新员工故障处置实践经验的不足。另外，包含动态知识库的专家系统还能实现知识和经验的积累与更新，使运维技术人员及时掌握与所在污水处理厂的情况最符合并且最新的专家知识。基于动态知识库的专家系统随着时间的增加，知识库中的知识会越来越多，这会增加查询与检索的工作量，降低专家系统的工作效率；并且新增的知识可能与原有推理规则间存在逻辑冲突，逻辑冲突若不能有效地处理，会影响到运行结果的正确性，甚至造成专家系统无法正常运行。
技术实现思路
本专利技术实施例提供一种用于污水处理系统的判断规则处理方法、装置、和系统，可以优化污水处理系统的知识库中规则库的存储空间，提高专家系统的工作效率和运行结果的正确性。根据本专利技术实施例的第一方面，提供一种用于污水处理系统的判断规则处理方法，包括：确定具有标准形式的第一规则，标准形式包括前提集合和结论集合，其中，前提集合是利用第一规则的前提条件之间的析取得到的，前提集合与结论集合中每个结论均具有推理关系；获取污水处理系统的知识库中一条已有规则，检测第一规则的结论集合是否为已有规则结论集合的子集；第一规则的结论集合为已有规则结论集合的子集时，检测第一规则的前提集合是否蕴含已有规则的前提集合；如果第一规则的前提集合蕴含已有规则的前提集合，确定第一规则为知识库中已有规则的冗余规则，拒绝在知识库的已有规则中加入第一规则。根据本专利技术实施例的第二方面，提供一种用于污水处理系统的判断规则处理装置，包括：标准形式确定模块，用于确定具有标准形式的第一规则，标准形式包括前提集合和结论集合，其中，前提集合是利用第一规则的前提条件之间的析取得到的，前提集合与结论集合中每个结论均具有推理关系；结论相容性检测模块，用于获取污水处理系统的知识库中一条已有规则，检测第一规则的结论集合是否为已有规则结论集合的子集；前提相容性检测模块，用于如果第一规则的结论集合为已有规则结论集合的子集，检测第一规则的前提集合是否蕴含已有规则的前提集合；冗余规则处理模块，用于如果第一规则的前提集合蕴含已有规则的前提集合，确定第一规则为知识库中已有规则的冗余规则，拒绝在知识库的已有规则中加入第一规则。根据本专利技术实施例的第三方面，提供一种用于污水处理系统的判断规则处理系统，包括：存储器和处理器；该存储器用于存储程序；该处理器用于读取存储器中存储的可执行程序代码以执行上述的用于污水处理系统的判断规则处理方法。根据本专利技术实施例的第四方面，提供了一种计算机可读存储介质，该计算机可读存储介质中存储有指令，当指令在计算机上运行时，使得计算机执行上述各方面的用于污水处理系统的判断规则处理方法。根据本专利技术实施例的第五方面，提供一种判断规则处理方法，包括：确定具有标准形式的第一规则，所述标准形式包括前提集合和结论集合，其中，所述前提集合是利用所述第一规则的前提条件之间的析取得到的，所述前提集合与所述结论集合中每个结论均具有推理关系；获取知识库中一条已有规则，检测所述第一规则的结论集合是否为所述已有规则结论集合的子集；所述第一规则的结论集合为所述已有规则结论集合的子集时，检测所述第一规则的前提集合是否蕴含所述已有规则的前提集合；如果所述第一规则的前提集合蕴含所述已有规则的前提集合，确定所述第一规则为所述知识库中已有规则的冗余规则，拒绝在所述知识库的已有规则中加入所述第一规则。根据本专利技术实施例的第六方面，提供一种判断规则处理装置，包括：标准形式确定模块，用于确定具有标准形式的第一规则，所述标准形式包括前提集合和结论集合，其中，所述前提集合是利用所述第一规则的前提条件之间的析取得到的，所述前提集合与所述结论集合中每个结论均具有推理关系；结论相容性检测模块，用于获取知识库中一条已有规则，检测所述第一规则的结论集合是否为所述已有规则结论集合的子集；前提相容性检测模块，用于如果所述第一规则的结论集合为所述已有规则结论集合的子集，检测所述第一规则的前提集合是否蕴含所述已有规则的前提集合；冗余规则处理模块，用于如果所述第一规则的前提集合蕴含所述已有规则的前提集合，确定所述第一规则为所述知识库中已有规则的冗余规则，拒绝在所述知识库的已有规则中加入所述第一规则。根据本专利技术实施例中的用于污水处理系统的判断规则处理方法、装置、系统和存储介质，定义污水处理系统的知识库中规则的标准形式，进而规定了冗余规则的判定方法，在优化存储空间同时提高推理效率。附图说明为了更清楚地说明本专利技术实施例的技术方案，下面将对本专利技术实施例中所需要使用的附图作简单地介绍，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。图1是示出根据本专利技术一实施例的污水处理系统的判断规则处理方法的流程图；图2是示出根据本专利技术实施例的冗余规则和矛盾规则的判定过程流程示意图；图3是示出根据本专利技术实施例的新规则增加流程示意图；图4示出了根据本专利技术一实施例提供的判断规则处理方法的流程图；图5示出了根据本专利技术一实施例提供的污水处理系统的判断规则处理装置的结构示意图；图6示出了根据本专利技术一个实施例的判断规则处理装置的结构示意图；图7是示出能够实现根据本专利技术实施例的判断规则处理方法和装置的计算设备的示例性硬件架构的结构图。具体实施方式下面将详细描述本专利技术的各个方面的特征和示例性实施例，为了使本专利技术的目的、技术方案及优点更加清楚明白，以下结合附图及实施例，对本专利技术进行进一步详细描述。应理解，此处所描述的具体实施例仅被配置为解释本专利技术，并不被配置为限定本专利技术。对于本领域技术人员来说，本专利技术可以在不需要这些具体细节中的一些细节的情况下实施。下面对实施例的描述仅仅是为了通过示出本专利技术的示例来提供对本专利技术更好的理解。需要说明的是，在本文中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括……”限定的要素，并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。通常，专家系统中的知识包括数据和推理规则两类。产生式表示法是一种知识表示模式，包括前提和结论。前提也称为产生式的前件，为产生式可否使用的先决条件，结论也称为产生式的后件，为前提满足时，应该推出的结论或应该执行的动作。因此，本专利技术实施例中的规则也可以称为是产生式规则。针对通用的专家系统知识库中推理规则的删除、修改和补充问题，可以通过产生式规则库的求精算法，以提高规则库的推理效率和正确性。作为示例，该求精算法假定规则库中存储的所有规则为Horn子句，Horn子句是一种逻辑规则的表示形式。Horn子句中的每条规则的形式都满足：1)规则本文档来自技高网...

【技术保护点】
1.一种用于污水处理系统的判断规则处理方法，其特征在于，包括：确定具有标准形式的第一规则，所述标准形式包括前提集合和结论集合，其中，所述前提集合是利用所述第一规则的前提条件之间的析取得到的，所述前提集合与所述结论集合中每个结论均具有推理关系；获取污水处理系统的知识库中一条已有规则，检测所述第一规则的结论集合是否为所述已有规则结论集合的子集；所述第一规则的结论集合为所述已有规则结论集合的子集时，检测所述第一规则的前提集合是否蕴含所述已有规则的前提集合；如果所述第一规则的前提集合蕴含所述已有规则的前提集合，确定所述第一规则为所述知识库中已有规则的冗余规则，拒绝在所述知识库的已有规则中加入所述第一规则。

【技术特征摘要】
1.一种用于污水处理系统的判断规则处理方法，其特征在于，包括：确定具有标准形式的第一规则，所述标准形式包括前提集合和结论集合，其中，所述前提集合是利用所述第一规则的前提条件之间的析取得到的，所述前提集合与所述结论集合中每个结论均具有推理关系；获取污水处理系统的知识库中一条已有规则，检测所述第一规则的结论集合是否为所述已有规则结论集合的子集；所述第一规则的结论集合为所述已有规则结论集合的子集时，检测所述第一规则的前提集合是否蕴含所述已有规则的前提集合；如果所述第一规则的前提集合蕴含所述已有规则的前提集合，确定所述第一规则为所述知识库中已有规则的冗余规则，拒绝在所述知识库的已有规则中加入所述第一规则。2.根据权利要求1所述的判断规则处理方法，其中，所述确定第一规则的标准形式，所述标准形式包括第一规则的前提集合和第一规则的结论集合，且第一规则的前提子集蕴含第一规则的结论子集，包括：根据所述第一规则的命题公式，得到第一规则的前提集合和第一规则的结论集合，每个第一规则的前提条件包括一个或多个原子命题；建立所述第一规则的前提集合对应的主析取范式表达式；利用所述第一规则的前提集合对应的主析取范式表达式和所述第一规则的结论集合中每个结论的推理关系，构成所述具有标准形式的第一规则。3.根据权利要求1所述的判断规则处理方法，还包括：基于所述已有规则与所述第一规则之间是否结论相容，以及所述已有规则与所述第一规则之间是否前提相容，确定所述第一规则与所述知识库中的已有规则是否为矛盾规则；如果所述第一规则与所述知识库中的已有规则为矛盾规则，获取所述知识库的一条已有规则，检测所述第一规则的前提集合和所述已有规则的前提集合是否相同，基于所述检测结果，在所述知识库的已有规则中添加所述第一规则。4.根据权利要求3所述的判断规则处理方法，其中，所述已有规则的结论集合与所述第一规则的结论集合之间存在包含关系时，所述已有规则与所述第一规则之间结论相容；所述已有规则的结论集合与所述第一规则的结论集合之间不存在包含关系时，所述已有规则与所述第一规则之间结论不相容。5.根据权利要求3所述的判断规则处理方法，其中，所述已有规则的前提集合与所述第一规则的前提集合之间存在蕴含关系时，所述已有规则的前提集合与所述第一规则的前提集合之间前提相容；所述已有规则的前提集合与所述第一规则的前提集合之间不存在蕴含关系时，所述已有规则的前提集合与所述第一规则的前提集合之间前提不相容。6.根据权利要求3所述的判断规则处理方法，其中，所述基于所述已有规则与所述第一规则之间是否结论相容，以及所述已有规则与所述第一规则之间是否前提相容，确定所述第一规则与所述知识库中的已有规则是否为矛盾规则，包括：如果所述已有规则与所述第一规则之间结论不相容，或者所述已有规则与所述第一规则之间结论相容但前提不相容，重新获取所述知识库的一条已有规则，直到获取的次数超过所述知识库中已有规则的数量，确定所述第一规则与所述知识库中的已有规则为矛盾规则。7.根据权利要求3所述的判断规则处理方法，其中，所述检测所述第一规则的前提集合和所述已有规则的前提集合是否相同，基于所述检测结果，在所述知识库的已有规则中添加所述第一规则，包括：当检测结果为所述第一规则的前提集合与所述已有规则的前提集合不同，检测所述第一规则的结论集合与所述已有规则的结论集合是否相同；如果所述第一规则的结论集合与所述已有规则的结论集合相同，利用所述第一规则生成新规则，所述新规则的前提集合是利用所述第一规则的前提集合和所述已有规则的前提集合的析取得到的，并且所述新规则的结论集合为所述第一规则的结论集合；对所述新规则的前提集合进行化简，在所述知识库的已有规则中添加化简后的新规则。8.根据权利要求3所述的判断规则处理方法，其中，所述检测所述第一规则的前提集合和所述已有规则的前提集合是否相同，基于所述检测结果，在所述知识库的已有规则中添加所述第一规则，包括：当检测结果为所述第一规则的前提集合与所述已有规则的前提集合不同，检测所述第一规则的结论集合与所述已有规则的结论集合是否相同；如果所述第一规则的结论集合与所述已有规则的结论集合不同，获取所述知识库的下一条已有规则，直到获取的次数超过所述知识库中已有规则的数量；对新规则的前提集合进行化简，在所述知识库的已有规则中添加化简后的新规则。9.根据权利要求3所述的判断规则处理方法，其中，所述检测所述第一规则的前提集合和所述已有规则的前提集合是否相同，基于所述检测结果，在所述知识库的已有规则中添加所述第一规则，包括：当检测结果为所述第一规则的前提集合与所述已有规则的前提集合相同，获取所述第一规则的结论集合和所述已有规则的结论集合的结论并集；如果所述结论并集同时包括命题和所述命题的否定命题，确定所述第一规则与所述已有规则之间的矛盾情况为前提相同和结论矛盾；生成所述矛盾情况对应的提示信息，以及显示所...

【专利技术属性】
技术研发人员：王达，
申请(专利权)人：北京天诚同创电气有限公司，
类型：发明
国别省市：北京,11