Title :
On fuzzy temporal logic
Author :
Thiele, Helmut ; Kalenka, Susanne
Author_Institution :
Dept. of Comput. Sci., Dortmund Univ., Germany
Abstract :
Starting with two-valued temporal logic the authors generalize this logic twofold. First, the set {0,1} of the logical values is replaced by the set [0,1] of all real numbers of the closed unit interval, i.e., the logical basis of this approach is the propositional calculus of Lukasiewicz and Zadeh. Second, Lukasiewicz versions of the classical temporal operators are introduced as `next,´ `henceforth,´ `until,´ and so on. `Proper´ fuzzy temporal operators are defined giving a formalization of natural phrases like `short term´ and `long term.´ The fuzzy temporal logic presented is designed for specifying the behavior of fuzzy dynamic systems
Keywords :
fuzzy logic; many-valued logics; temporal logic; Lukasiewicz versions; closed unit interval; formalization; fuzzy dynamic systems; fuzzy temporal logic; propositional calculus; real numbers; two-valued temporal logic; Books; Calculus; Computer science; Econometrics; Fuzzy logic; Fuzzy sets; Fuzzy systems; Logic design; Logic testing; Multivalued logic;
Conference_Titel :
Fuzzy Systems, 1993., Second IEEE International Conference on
Conference_Location :
San Francisco, CA
Print_ISBN :
0-7803-0614-7
DOI :
10.1109/FUZZY.1993.327373
