Abstract:To the limitation of the description and the reasoning
for complicated and uncertain temporal knowledge, intuitionistic fuzzy time
Petri nets(IFTPN) model and reasoning method are proposed. In the model, the fuzzy
time-delay and the fuzzy timestamps are represented by intuitionistic fuzzy
sets in continuous domain and discrete domain, and the fuzzy time operation
formulas are defined based on intuitionistic fuzzy logic. In the meantime,
based on linear logic, the model is described and fire rules among the
transitions are defined, then the linear reasoning method is given. Finally,
the proposed method is applied to C$^{4}$ISR system to analyze the decision time delay, and the results show that the proposed model and reasoning method are more predominant.