Title :
The interpretation of fuzzy reasoning in operator fuzzy logic
Author :
Liu, Xu-Hua ; Fang, Kwang-ya ; Tsai, Jing-Pha
Author_Institution :
Dept. of Comput. Sci., Jilin Univ., Changchun, China
Abstract :
The meaning of fuzzy reasoning and its interpretation in operator fuzzy logic are discussed. It is shown that some theorems that cannot be proved with the conventional resolution method can be proved with λ-resolution. Examples are given to illustrate the reasoning mechanism using λ-resolution
Keywords :
fuzzy logic; λ-resolution; fuzzy reasoning; interpretation; operator fuzzy logic; Automatic logic units; Computer science; Fuzzy logic; Fuzzy reasoning; Lattices; Uncertainty; Upper bound;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37790
