Fuzzy Temporal Knowledge Reasoning and Validating Algorithm and Its Application in Modeling and Analyzing Operations of Train Group

Reasoning and validating of temporal knowledge are very important in modeling and analyzing operations of a train group, and are the key technology of its implementation. To continue the former researching, we introduce fuzzy time intervals, extended fuzzy timing Petri nets, operations of possibility theory and so on. Then we put forward an algorithm of reasoning and validating of fuzzy temporal knowledge based on extended fuzzy timing Petri nets. Firstly, the algorithm is more efficient, need less space, and can accurately reason and validate the fuzzy temporal knowledge. Secondly, it is suitable to more situations, and can solve complicated problems of temporal knowledge reasoning.