格值自动机的产生式推理建模方法

针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首先,利用格值自动机理论优点,将复杂产生式推理过程用格值自动机的格值语言描述出来,从而建立通用的产生式推理模型;其次,给出模型的规则间逻辑正确性验证方法,以及模型随规则库更新而更新的方法;最后,用实例验证建模方法的正确性.结果表明:该方法可以充当专家系统的辅助决策系统,具有较好的现实意义和实用价值.

Modeling of Production Inference Based on Lattice Automata

A modeling of complex production inference based on lattice automata is presented by combining the ability of the speech recognition and production inference. Firstly, production reasoning can be described by lattice automata languages using the theoretical advantage of the lattice automata, so a general model can be built. Then, the correctness verification of the logic among invoking rules is presented. Also the model updating method through the rules’ increase and decrease is put forward. Finally, an instance analysis is made to verify the modeling validity. The result shows that the modeling method can be used as an aided decision-making system of fault diagnosis expert system. It has a good practical significance and value.