一种基于征兆的专家系统的故障推理方法技术方案

本发明专利技术公开了一种基于征兆的专家系统的故障推理方法，将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；本发明专利技术定义了新的基于征兆模式的专家系统知识的表示方法，设计了相应的推理机规则模式匹配方法。相比现有的专家系统的推理机制，本发使用位图表示推理机内部状态，并采取模式‑规则逆向索引的匹配方法，推理机制更加简单和高效。

【技术实现步骤摘要】
一种基于征兆的专家系统的故障推理方法
本专利技术涉及一种专家系统的规则模式匹配方法，适用于设计基于规则的专家系统，并实现推理机的执行策略。根据本专利技术中提出的基于征兆模式构建专家系统的知识库，并实现推理机的规则模式匹配，替代以RETE为代表的传统推理机的规则模式匹配方法。
技术介绍
随着专家系统的发展，专家系统的强大咨询功能从离线的信息咨询交互，逐渐向实时的在线控制、监控、故障诊断扩展。专家系统在航空、航天、医疗、通信、机器人等领域都得到了不同程度的引用，取得了诸多成果。如果要实时专家系统在广泛范围内代替或帮助操作人员进行工作，提高生产效率，需要提高实时专家系统的执行效率并且简化知识库的表达方式，做到实时的推理和决策，为达到这个目的，它的推理机制应尽可能的简单和高效。传统的基于规则的专家系统，专家系统的知识具有结构化特征，使用关系型模式构建专家系统的知识库的规则。以下是一个关系型模式的例子：(person(age30)(name“John”)(weight60))其中person是模式的关系名，age、name、weight是该模式包括的3个槽，也就是3个约束条件，而3个槽的值分别是30、”John”以及60。针对关系型模式构成的知识库规则，推理机采用RETE模式匹配算法(或基于RETE算法的改进算法)，将事实和规则首先通过模式网络(用于识别模式)，进行匹配，再通过连接网络(用于进行逻辑关系运算和存储运算结果)进行匹配，这种匹配策略适用于适用使用复杂模式和约定来表达知识的系统。这样的关系型模式的优点是通用性好，可以表达出多样化的领域知识。但是，如果某些领域的专家系统不需要使用关系模式来定义知识，而使用更简单的抽象就足以表达领域知识并构建知识库规则时，就不能继续使用关系型模式，而是需要重新定义知识的表达方式。比如，针对火箭控制系统设计的用于提供实时故障诊断的专家系统，这样的系统中的知识不存在关系模式的框架。在这种情况下，针对关系型模式设计的推理机模式匹配算法-RETE模式匹配算法，就不再适用。因此，本专利技术中重新定义了专家系统知识表达形式，使用征兆模式替代关系型模式，以利于描述某些领域中的专家知识，并且针对征兆模式设计了推理机的规则模式匹配方法。
技术实现思路
本专利技术所要解决的技术问题是：使用征兆模式构建专家系统知识库，传统推理机的模式匹配算法就不适用，为基于征兆模式专家系统设计了简洁且高效的规则模式匹配方法，本专利技术的技术方案如下：提供一种基于征兆的专家系统的故障推理方法，包括如下步骤：(1)读取规则的命题逻辑表达式；将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；(2)在线实时采集系统状态数据；(3)根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；(4)将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；(5)将中间状态进行记录，将结论输出；并返回步骤(2)。优选的，每个命题逻辑表达式对应一个故障模式，如果该命题逻辑成立，则表明出现对应的故障。优选的，系统状态数据包括A/D采集的控制系统的模拟量数据、I/O采集的控制系统发送的开关量数据以及1553B采集的总线数据。优选的，数据征兆表包括每个参数的名称，每个参数关联的征兆及征兆对应数据的状态。优选的，如果出现故障，读取记录中间状态，仿真生成故障树，回放故障结论输出的过程。优选的，所述征兆，中间状态及结论均采用整数标识且表述唯一。优选的，满足某一二元规则的逻辑要求即为：二元规则所需的触发输入的征兆或者中间状态满足逻辑关系。优选的，步骤(1)还包括建立从征兆到二元规则集合的索引映射；步骤(4)中利用索引映射将状态数据的征兆与二元规则进行匹配。优选的，一个二元规则触发后，不再重复触发。优选的，专家系统的知识库仅由征兆表达。本专利技术与现有技术相比的优点在于：(1)本专利技术定义了新的基于征兆模式的专家系统知识的表示方法，并设计了相应的推理机规则模式匹配方法。相比现有的专家系统的推理机制，本发使用位图表示推理机内部状态，并采取模式-规则逆向索引的匹配方法，推理机制更加简单和高效。(2)本专利技术一方面实现了在线的实时推理，实现故障诊断，另一方面充分考虑了前端的国产嵌入式故障诊断设备处理能力的限制，仅进行数据采集及推力，将推理的过程和结论输出给上位机，由上位机进行解释，由用户进一步分析和定位故障原因。(3)本专利技术命题逻辑表达式转换为二元规则集合，构建征兆与规则集的映射关系，根据映射关系能够快速针对某一征兆进行逻辑推理，从而提高推理性能。(4)本专利技术采用整数表达征兆，中间状态及结论，在专家系统知识库的表达方面，无需使用RETE模式匹配算法，更加简洁和易于使用。(5)本专利技术适用于航天、航空控制系统实时故障诊断、军事指挥决策等领域的专家系统构建，面向复杂系统的故障诊断。附图说明图1为本专利技术中对征兆模式集合的说明；图2为本专利技术中样例规则的解析树；具体实施方式本专利技术包括如下技术方案：假设专家系统应用于系统X中，系统X的每一个参数，作为一个数据源，将数据源的状态定义成征兆模式，一个数据源可以存在任意多个状态属性，因此可以关联任意多个征兆模式。一个征兆模式表示它所属的参数的一个状态。每个数据征兆，由一个整数表示，该整数代表数据的名称和状态，数据的名称在知识库中具有唯一性。一个征兆(F)由一个正整数(N)表示，f和N在知识库中为1-1对应关系。专家系统的知识库的模式集合由征兆构成，一个参数对应一个或多个征兆，如图1，Ki表示第i个参数关联的模式个数。使用征兆构建规则集。一条规则是一个产生式，规则左侧(LHS，LeftHandSide)是一个合理的(valid)命题逻辑表达式，并且，表达式中原子命题为征兆模式。规则右侧(RHS，RightHandSide)为1个结论。结论在规则被使能后产生。一个结论(C)也用一个正整数(N)表示，在知识库中C和N为1-1对应关系。规则的LHS的表达式(Ф)的BNF语法定义如下，定义中的p表示原子命题，“与”、“或”，“非”为逻辑连接符：Ф＝p|(非Ф)|(Ф与Ф)|(Ф或Ф)构建规则集后，规则集里的规则被逐条解析，根据BNF语法定义形成语法分析树。遵照BNF定义，递归解析表达式，形成的语法分析树，叶节点为征兆模式，中间节点为中间状态。中间状态节点存储着逻辑计算的中间状态。中间状态也用正整数来表示。可限制征兆模式、中间状态和结论在用正整数表示时没有冲突,如下表。只要确保3个类型的表示上没有交集，具体的限制可根据系统状况灵活调整。然后根据语法分析树，形成与该规则等价的二元规则序列。二元规则序列由二元规则构成。每条二元规则为一个产生式，它的LHS包含1个逻辑连接符，以及1个或2个征兆。它的RHS为一个中间状态模式或结论。二元表达规则格式如下：非模式x＝>中间状态/结论模式x与模式y＝>中间状态/结论模式x或模式y＝>中间状态/结论将规则集解析并生成二元规则序列过程中，可复用的二元规则不再重新生成。对于生成等价的二元规则序列的算法，不做任何限制。结合图2的实施本文档来自技高网...

【技术保护点】
1.一种基于征兆的专家系统的故障推理方法，其特征在于，包括如下步骤：(1)读取规则的命题逻辑表达式；将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；(2)在线实时采集系统状态数据；(3)根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；(4)将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；(5)将中间状态进行记录，将结论输出；并返回步骤(2)。

【技术特征摘要】
1.一种基于征兆的专家系统的故障推理方法，其特征在于，包括如下步骤：(1)读取规则的命题逻辑表达式；将命题逻辑表达式按照命题逻辑生成二元规则集合；二元规则为一个产生式，由一个或两个触发输入，进行逻辑运算，输出作为另一个二元规则触发输入的中间状态或者该规则的结论；(2)在线实时采集系统状态数据；(3)根据数据征兆表，匹配获得系统状态数据的征兆，每个征兆代表该数据的一种状态；(4)将状态数据的征兆与二元规则进行匹配，当满足某一二元规则时，按照该二元规则生成中间状态或表征故障的结论；(5)将中间状态进行记录，将结论输出；并返回步骤(2)。2.如权利要求1所述的基于征兆的专家系统的故障推理方法，其特征在于，每个命题逻辑表达式对应一个故障模式，如果该命题逻辑成立，则表明出现对应的故障。3.如权利要求1或2所述的基于征兆的专家系统的故障推理方法，其特征在于，系统状态数据包括A/D采集的控制系统的模拟量数据、I/O采集的控制系统发送的开关量数据以及1553B采集的总线数据。4.如权利要求1所述的基于征兆...

【专利技术属性】
技术研发人员：丁万兵，崔小磊，崔宇，李娜，王冲，邱枫，仲宇，张磊，何波，李辉，高飞，曹芳芳，董西国，吕京伟，李兰兰，刘鹏，
申请(专利权)人：北京航天自动控制研究所，中国运载火箭技术研究院，
类型：发明
国别省市：北京,11