A fuzzy temporal logic scheme for fuzzy dynamic systems

Fuzzy and temporal logics are combined to produce a scheme for the representation and control of fuzzy dynamic systems. A fuzzy inference procedure is designed to perform approximate resolution of the rules that contain fuzzy times and that have their certainty varying with time. The scheme's model theoretic semantics is described and its soundness is established.