有限状态自动机产生式推理的一般性建模方法

General Modeling Approach Based on Production Inference and Finite State Automata

自动机模型具有较好的形式化语言识别能力,将这种形式化语言识别能力和产生式推理相结合,提出了一种基于确定性有限状态自动机规则产生式推理的一般性建模流程。结合产生式推理与自动机的特点,构建了简单推理模型;并将该模型泛化为可以进行多条产生式推理的一般性模型,且给出了建模流程图。最后,通过实例分析验证了由一般性建模流程构建的推理模型的正确性。推理模型可以充当故障诊断专家系统的辅助决策系统,具有较好的现实意义和实用价值。

Automata model possesses better ability of identifying formal language, by combining this kind of ability and production inference, the general modelling approach based on deterministic finite state automata rule and production inference is proposed. The features of production inference and automata are combined for structuring the simple inference model, and generalizing to general model that can be used to conduct multiple production inferences, the flowchart of modelling is given. The practical examples are analysed, and the correctness of the inference model constructed by general modelling process is verified. The inference model can be acted as the auxiliary decision system of the expert system for fault diagnosis, and it possesses better practical significance and applicable values.