A forward concurrent reasoning approach for rule-based systems using fuzzy colored Petri nets

This paper proposes a forward concurrent reasoning method for rule-based systems using the defined fuzzy colored Petri nets (FCPN). The major differences between the proposed method and the conventional ones are described as follows. Firstly, weighted inference is taken to realize a more reliable and flexible reasoning manner. Secondly, conformal partitioned matrix theory is utilized to achieve forward concurrent reasoning, improving the inference efficiency. Moreover, tokens are not removed while the enabled transitions are fired, meeting the practical cases. The aforementioned aspects are also the prominent advantages of the proposed approach. A case illustrates that the proposed approach is sound and feasible.