Title :
A fuzzy temporal logic scheme for fuzzy dynamic systems
Author_Institution :
Fac. of Inf. Sci. & Eng., Australian Nat. Univ., Canberra, ACT, Australia
Abstract :
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
Keywords :
fuzzy logic; fuzzy set theory; fuzzy systems; inference mechanisms; knowledge representation; temporal logic; uncertainty handling; approximate resolution; fuzzy dynamic systems; fuzzy inference procedure; fuzzy temporal logic scheme; fuzzy times; model theoretic semantics; soundness; temporal logics; Artificial intelligence; Australia; Control systems; Evolution (biology); Fuzzy control; Fuzzy logic; Fuzzy sets; Fuzzy systems; Logic design; Shape control;
Conference_Titel :
Intelligent Information Systems, 1995. ANZIIS-95. Proceedings of the Third Australian and New Zealand Conference on
Conference_Location :
Perth, WA
Print_ISBN :
0-86422-430-3
DOI :
10.1109/ANZIIS.1995.705732
