产生式知识库的不动点计算建模方法 （A modeling method based on fixed point computation for a production knowledge base ）

A modeling method based on the procedural nature of production rules was proposed to build a system model.The definition of the conditional transition system(CTS) was given by the concept of conditional transitions.Small fix point computing was introduced to build the conditional transition system.The system model represented by the conditional transition system was built by solving the small fix point of the constructing function of the states set,and the correctness and termination of this method was proven.The proposed dynamic modeling method improves the efficiency of the production knowledge base modeling process.The time complexity reduced one order of magnitude compared with the static modeling method.The conditional transition system built by this method contains all information about the state transition process,and solves the information loss problem of the transition system constructed by the static modeling method,increasing the efficiency of error diagnosis.

Click here for full paper!