DocumentCode
2134133
Title
On fuzzy temporal logic
Author
Thiele, Helmut ; Kalenka, Susanne
Author_Institution
Dept. of Comput. Sci., Dortmund Univ., Germany
fYear
1993
fDate
1993
Firstpage
1027
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Fuzzy Systems, 1993., Second IEEE International Conference on
Conference_Location
San Francisco, CA
Print_ISBN
0-7803-0614-7
Type
conf
DOI
10.1109/FUZZY.1993.327373
Filename
327373
Link To Document